A contract-based semantics and refinement for Simulink

DOI10.1007/978-3-031-21213-0_9zbMath1528.68236MaRDI QIDQ6168983

Quan Sun, Wei Zhang, Chao Wang, Zhi-Ming Liu

Publication date: 10 August 2023

Published in: Dependable Software Engineering. Theories, Tools, and Applications (Search for Journal in Brave)

zbMATH Keywords

refinementcompositional reasoningSimulinkcontract-based semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Mathematical modeling or simulation for problems pertaining to systems and control theory (93-10)

Cites Work

• Unnamed Item
• Unnamed Item
• Contract-based verification of MATLAB-style matrix programs
• Semantic translation of Simulink diagrams to input/output extended finite automata
• A formal framework for modeling and validating simulink diagrams
• Taming Dr. Frankenstein: contract-based design for cyber-physical systems
• Unifying theories of reactive design contracts
• Simulink Timed Models for Program Verification
• Stepwise Development of Simulink Models Using the Refinement Calculus Framework
• Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow
• FM 2005: Formal Methods
• Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP

This page was built for publication: A contract-based semantics and refinement for Simulink