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

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.

[1]  F. Pereira,et al.  Web based IOPT Petri net Editor with an extensible plugin architecture to support generic net operations , 2012, IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society.

[2]  Luís Gomes,et al.  Hardware-level Design Languages , 2005, The Industrial Information Technology Handbook.

[3]  Filipe Moutinho,et al.  From IOPT Petri nets to C: An automatic code generator tool , 2011, 2011 9th IEEE International Conference on Industrial Informatics.

[4]  Giovanni De Micheli,et al.  Readings in hardware / software co-design , 2001 .

[5]  Filipe Moutinho,et al.  IOPT Petri net state space generation algorithm with maximal-step execution semantics , 2011, 2011 9th IEEE International Conference on Industrial Informatics.

[6]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[7]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[8]  Luís Gomes,et al.  Modeling Formalisms for Embedded System Design , 2005, Embedded Systems Handbook.

[9]  Rüdiger Valk,et al.  Petri nets for systems engineering - a guide to modeling, verification, and applications , 2010 .

[10]  Fernando Pereira,et al.  Model-checking framework for embedded systems controllers development using IOPT Petri nets , 2012, 2012 IEEE International Symposium on Industrial Electronics.

[11]  Luis Gomes,et al.  Automatic synthesis of VHDL hardware components from IOPT Petri net models , 2013, IECON 2013 - 39th Annual Conference of the IEEE Industrial Electronics Society.

[12]  L. Gomes,et al.  The Input-Output Place-Transition Petri Net Class and Associated Tools , 2007, 2007 5th IEEE International Conference on Industrial Informatics.

[13]  Fernando Pereira,et al.  IOPT-tools — A Web based tool framework for embedded systems controller development using Petri nets , 2013, 2013 23rd International Conference on Field programmable Logic and Applications.