Paper Info
Title
IOPT-tools — A Web based tool framework for embedded systems controller development using Petri nets
Abstract
The IOPT-tools Web based tool framework supports the implementation of embedded systems controllers using web-based graphical tools, starting with a graphical editor to specify controller's behavior through associated Petri-net model, complemented with model-checking and system verification tools used to debug and automatically check controller behavior correctness (helping in the detection of model flaws during the early design stages), leading to the final controller implementation code amenable to be deployed into specific platforms and using automatic code generation tools creating C code for software solutions or VHDL code for hardware descriptions.
Year
DOI
Venue
2013
10.1109/FPL.2013.6645633
Field Programmable Logic and Applications
Keywords
Field
DocType
Internet,Petri nets,embedded systems,formal specification,input-output programs,program compilers,program debugging,program verification,software tools,C code,IOPT-tools,VHDL code,Web based tool framework,Web-based graphical tools,associated Petri net model,automatic code generation tools,controller behavior specification,embedded systems controller development,graphical editor,hardware descriptions,input-output place-transition Petri-net class,model flaw detection,model-checking tools,software solutions,system verification tools
Control theory,Programming language,Petri net,Computer science,Correctness,Real-time computing,Formal specification,Code generation,Software,VHDL,Web application,Embedded system
Conference
ISSN
Citations 
PageRank 
1946-1488
10
0.85
References 
Authors
2
3
Name
Order
Citations
PageRank
Luís Gomes18722.71
Filipe Moutinho2507.28
Fernando Pereira3177172124.79