Semi-automatic generation of mixed hardware/software prototypes from Simulink models

zbMATH Open1156.68321MaRDI QIDQ3528923FDOQ3528923

Authors: Martin Streubühr, Michael Jäntsch, Christian Haubelt, Jürgen Teich, Axel Schneider 

Publication date: 17 October 2008

Recommendations

• Semantic translation of Simulink/Stateflow models to hybrid automata using graph transformations
• A two-way path between formal and informal design of embedded systems
• Semantic translation of Simulink diagrams to input/output extended finite automata
• scientific article; zbMATH DE number 1497790
• ARIAL: Rapid prototyping for mixed and parallel platforms

zbMATH Keywords

chaotic iteration schedulingsynchronous reactive model of computation

Mathematics Subject Classification ID

Theory of software (68N99) Computer system organization (68M99)

Cited In (2)

• A two-way path between formal and informal design of embedded systems
• SPRINT: a tool to generate concurrent transaction-level models from sequential code

Uses Software

• Matlab
• Simulink

This page was built for publication: Semi-automatic generation of mixed hardware/software prototypes from Simulink models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3528923)