@inproceedings{b6f40fb5349247fdbb905726ad5caa56,
title = "Executable models for embedded controllers development - A cloud based development framework",
abstract = "We present IOPT-Tools, a tool framework for the development of digital controllers based on graphical executable models. The framework supports edition, simulation, verification through state-space querying, and code generation for several hardware platforms, most notably microcontrollers (e.g. Arduino, PIC, and Raspberry Pi) and FPGAs. The tool framework uses a class of Petri nets and is cloud based: the development process is performed using a browser.",
keywords = "Cloud-based, Code Generation , Development frameworks, Development process, Digital controllers, Embedded controllers, Executable model, Hardware platform",
author = "Fernando Pereira and Filipe Moutinho and Barros, {Jo{\~a}o Paulo} and Aniko Costa and Lu{\'i}s Gomes",
note = "Funda{\c c}{\~a}o para a Ci{\^e}ncia e a Tecnologia (FCT) PTDC/EEI-AUT/2641/2012 ; MoDELS 2015 Demo and Poster Session, MoDELS P and D 2015 ; Conference date: 27-09-2015 Through 27-09-2015",
year = "2015",
language = "English",
series = "CEUR Workshop Proceedings",
publisher = "CEUR-WS.org",
pages = "40--43",
editor = "V. Kulkarni and O. Badreddin",
booktitle = "ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems - Posters and Demonstrators",
}