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.
|Title of host publication||Proceedings of the 23rd International Conference on Field Programmable Logic and Applications (FPL 2013)|
|Publication status||Published - 2013|
|Event||FLP 2013: 23rd International Conference on Field Programmable Logic and Applications - |
Duration: 1 Jan 2013 → …
|Conference||FLP 2013: 23rd International Conference on Field Programmable Logic and Applications|
|Period||1/01/13 → …|