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

Luís Filipe dos Santos Gomes; Anikó Katalin Horváth da Costa

doi:10.1109/ISIE.2014.6864959

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

Luís Filipe dos Santos Gomes, Anikó Katalin Horváth da Costa

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

8 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 language	English
Title of host publication	Proceedings of the IEEE International Symposium on Industrial Electronics
Pages	2202 - 2206
DOIs	https://doi.org/10.1109/ISIE.2014.6864959
Publication status	Published - 2014
Event	IEEE 23rd International Symposium on Industrial Electronics (ISIE) - Duration: 1 Jan 2014 → …

Conference

Conference	IEEE 23rd International Symposium on Industrial Electronics (ISIE)
Period	1/01/14 → …

Access to Document

10.1109/ISIE.2014.6864959

Cite this

@inproceedings{993aa0842aac4d0a81c1f529a3c99569,

title = "Cloud based development framework using IOPT Petri nets for embedded systems teaching",

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.",

author = "Gomes, \{Lu{\'i}s Filipe dos Santos\} and Costa, \{Anik{\'o} Katalin Horv{\'a}th da\}",

year = "2014",

doi = "10.1109/ISIE.2014.6864959",

language = "English",

isbn = "978-1-4799-2399-1",

pages = "2202 -- 2206",

booktitle = "Proceedings of the IEEE International Symposium on Industrial Electronics",

note = "IEEE 23rd International Symposium on Industrial Electronics (ISIE) ; Conference date: 01-01-2014",

}

TY - GEN

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

AU - Gomes, Luís Filipe dos Santos

AU - Costa, Anikó Katalin Horváth da

PY - 2014

Y1 - 2014

N2 - 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.

AB - 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.

U2 - 10.1109/ISIE.2014.6864959

DO - 10.1109/ISIE.2014.6864959

M3 - Conference contribution

SN - 978-1-4799-2399-1

SP - 2202

EP - 2206

BT - Proceedings of the IEEE International Symposium on Industrial Electronics

T2 - IEEE 23rd International Symposium on Industrial Electronics (ISIE)

Y2 - 1 January 2014

ER -

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

Abstract

Conference

Access to Document

Fingerprint

Cite this