Paper Info
Title
Automatic synthesis of VHDL hardware components from IOPT Petri net models
Abstract
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.
Year
DOI
Venue
2013
10.1109/IECON.2013.6699475
Vienna
Keywords
Field
DocType
internet,petri nets,digital control,embedded systems,hardware description languages,program compilers,iopt petri net models,vhdl hardware components,world wide web,automatic code generation tool,automatic synthesis,digital controller systems,embedded system controllers,hardware description,software code
Control theory,Petri net,Programming language,Model checking,Computer science,Code generation,Process architecture,Software,VHDL,Computer hardware,Hardware description language
Conference
ISSN
Citations 
PageRank 
1553-572X
10
1.03
References 
Authors
4
2
Name
Order
Citations
PageRank
Fernando Pereira1177172124.79
Luís Gomes28722.71