Stepwise Development of Simulink Models Using the Refinement Calculus Framework

DOI10.1007/978-3-540-75292-9_6MaRDI QIDQ3525076zbMATH OpenOpenAlexFDO

Authors Pontus Boström, Lionel Morel, Marina Waldén

Publication date 17 September 2008

Published in Theoretical Aspects of Computing – ICTAC 2007 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75292-9_6

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Model based control system design using SysML, Simulink, and Computer Algebra System
• A formal framework for modeling and validating simulink diagrams
• Construction of abstract state graphs for understanding Event-B models
• Refinement-oriented models of Stateflow charts
• scientific article; zbMATH DE number 1931787

Cited in

(11)

• Compositional cyber-physical systems modeling
• Construction of abstract state graphs for understanding Event-B models
• scientific article; zbMATH DE number 2080068 (Why is no real title available?)
• Testing-based translation validation of generated code in the context of IEC 61508
• Using formal methods with SysML in aerospace design and engineering
• From control law diagrams to Ada via \textsf{Circus}
• Model based control system design using SysML, Simulink, and Computer Algebra System
• Simulink timed models for program verification
• A contract-based semantics and refinement for Simulink
• Application of supervisory control theory to theme park vehicles
• Promoting models

Describes a project that uses

Uses Software

• ClawZ
• JML
• Simulink

This page was built for publication: Stepwise Development of Simulink Models Using the Refinement Calculus Framework

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