• Prototyping
• Model Driven Architecture
• MISRA C
• Code Generation
• Software engineering

The responsibilities of embedded software in safety-critical applications increase continuously. Taking this into account, together with requirements to reduce time and overall production costs, automatic code generation plays an essential role. Automatic code generation guarantees also a smooth conversion from model to software code and reduces debugging and testing required at code level.
This work reports on implementing a MISRA C code generator for systems described using the PVSio-web prototyping toolkit. PVSio-web allows developers to rapidly generate realistic prototypes for verifying usability and safety requirements in human-machine interactive systems. The code can be generated automatically from diagrams drawn with the Emucharts Editor, a graphical tool provided with PVSio-web, which builds state machines in a subset of the Statechart language and translate them into a few formal specification languages.
PVSio-web is used for rapid prototyping of medical devices and the code generator is compliant with guidelines of the field.
An application has been developed in order to simulate medical devices on Android systems where the user directly interacts with the virtual interface and the code is executed on the mobile device.