The IOPT Petri net class, designed to implement embedded system controllers, combining the well known properties of Petri nets with input and output functions, provides a set of capabilities suitable to specify digital controller systems. This paper presents an automatic code generation tool used to create VHDL controller implementations of IOPT models and describes the underlying code generation strategies. The new tool is integrated under the Web based IOPT-Tools framework (accessible at http://gres.uninova.pt), containing a complete tool-chain ranging from interactive model design and edition, model checking and simulation tools to automatic code generation, allowing the design of embedded system controllers using only graphical tools and without the need to manually write any hardware description or software code.
|Title of host publication||Annual Conference of the IEEE Industrial Electronics Society (IECON)|
|Pages||2214 - 2219|
|Publication status||Published - 1 Jan 2013|
|Event||Industrial Electronics Society, IECON 2013 - 39th Annual Conference of the IEEE - |
Duration: 1 Jan 2013 → …
|Conference||Industrial Electronics Society, IECON 2013 - 39th Annual Conference of the IEEE|
|Period||1/01/13 → …|