Paper Info
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.
Year
DOI
Venue
2014
10.1109/ISIE.2014.6864959
ISIE
Keywords
Field
DocType
petri nets,cloud computing,computer aided instruction,computer science education,digital systems,educational courses,electrical engineering education,electronic design automation,embedded systems,teaching,iopt petri nets,iopt-tools framework,automatic code generation,cloud based development framework,cloud enabled design automation flow,computer engineering msc course,digital system design course,electric engineering msc course,embedded systems teaching,input-output place-transition petri net,laboratory prototyping,model-based development flow,reconfigurable computing platforms,state space based verification,system behavior specification,concurrent computing,field programmable gate arrays,unified modeling language,computational modeling
Computer aided instruction,Petri net,Software engineering,Unified Modeling Language,Computer science,Process architecture,Control engineering,Theoretical computer science,Electronic design automation,Concurrent computing,Cloud computing
Conference
ISSN
Citations 
PageRank 
2163-5137
3
0.47
References 
Authors
6
2
Name
Order
Citations
PageRank
Luis Gomes125331.39
Costa, A.241.20