Cloud based development framework using IOPT Petri nets for embedded systems teaching

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)

Abstract

A model-based development flow based on IOPT Petri nets models and its insertion in a digital system design course is presented. The IOPT-Tools framework is used to support a cloud enabled design automation flow, including specification of system's behavior, state space based verification, and automatic code generation (C and VHDL) leading to implementation deployment into reconfigurable computing platforms. Teaching flow method is presented, supported by reconfigurable platforms (FPGA based boards and Arduino devices) giving adequate flexibility for exercising different implementation strategies and allowing laboratory prototyping during classes. The proposed approach was fully validated during a course on Digital Systems Design offered to Electric and Computer Engineering MSc course, and student's assessment on usage of cloud based development IOPT-Tools framework is analyzed.
Original languageEnglish
Title of host publicationProceedings of the IEEE International Symposium on Industrial Electronics
Pages2202 - 2206
DOIs
Publication statusPublished - 2014
EventIEEE 23rd International Symposium on Industrial Electronics (ISIE) -
Duration: 1 Jan 2014 → …

Conference

ConferenceIEEE 23rd International Symposium on Industrial Electronics (ISIE)
Period1/01/14 → …

Fingerprint Dive into the research topics of 'Cloud based development framework using IOPT Petri nets for embedded systems teaching'. Together they form a unique fingerprint.

Cite this