IOPT-TOOLS - A web based tool framework for embedded systems controller development using Petri nets

Research output: Chapter in Book/Report/Conference proceedingConference contribution

22 Citations (Scopus)

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.
Original languageEnglish
Title of host publicationProceedings of the 23rd International Conference on Field Programmable Logic and Applications (FPL 2013)
Pages1-1
DOIs
Publication statusPublished - 2013
EventFLP 2013: 23rd International Conference on Field Programmable Logic and Applications -
Duration: 1 Jan 2013 → …

Conference

ConferenceFLP 2013: 23rd International Conference on Field Programmable Logic and Applications
Period1/01/13 → …

Fingerprint Dive into the research topics of 'IOPT-TOOLS - A web based tool framework for embedded systems controller development using Petri nets'. Together they form a unique fingerprint.

Cite this