Semantic translation of Simulink diagrams to input/output extended finite automata

DOI10.1007/S10626-010-0096-1MaRDI QIDQ434480zbMATH OpenOpenAlexFDO

Authors Changyan Zhou, Ratnesh Kumar

Publication date 10 July 2012

Published in Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10626-010-0096-1

zbMATH Keywords

formal modelinput/output extended finite automatasemantic translationSimulink

Mathematics Subject Classification ID

Cellular automata (computational aspects) (68Q80) Discrete-time control/observation systems (93C55) Discrete event control/observation systems (93C65)

Recommendations

• Semantic translation of Simulink/Stateflow models to hybrid automata using graph transformations
• Formal verification of Simulink/Stateflow diagrams
• Refinement-oriented models of Stateflow charts
• Mechanically proving determinacy of hierarchical block diagram translations
• Fundamental Approaches to Software Engineering

Cites work

• Modular code generation from synchronous block diagrams: modularity vs. code size
• Semantic translation of Simulink/Stateflow models to hybrid automata using graph transformations

Cited in

(6)

• Mechanically proving determinacy of hierarchical block diagram translations
• The refinement calculus of reactive systems
• Semi-automatic generation of mixed hardware/software prototypes from Simulink models
• A two-way path between formal and informal design of embedded systems
• A contract-based semantics and refinement for Simulink
• Semantic translation of Simulink/Stateflow models to hybrid automata using graph transformations

This page was built for publication: Semantic translation of Simulink diagrams to input/output extended finite automata

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