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

DOI10.1007/S10626-010-0096-1zbMATH Open1242.93014OpenAlexW2039706992MaRDI QIDQ434480FDOQ434480

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

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

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)

Cites Work

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

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)