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

MaRDI QIDQ3528923zbMATH OpenFDO

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

Publication date 17 October 2008

zbMATH Keywords

chaotic iteration schedulingsynchronous reactive model of computation

Mathematics Subject Classification ID

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

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

Cited in

(2)

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

Describes a project that uses

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)