A Two-Way Path Between Formal and Informal Design of Embedded Systems

DOI10.1007/978-3-319-52228-9_4zbMath1483.68074OpenAlexW2568324669MaRDI QIDQ2971176

Anders P. Ravn, Naijun Zhan, Mengfei Yang, Mingshuai Chen, Shu-Ling Wang

Publication date: 4 April 2017

Published in: Unifying Theories of Programming (Search for Journal in Brave)

Full work available at URL: http://www.springer.com/us/book/9783319522272

zbMATH Keywords

verificationhybrid systemsSimulinkUTPHCSP

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) 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)

Related Items (1)

A Two-Way Path Between Formal and Informal Design of Embedded Systems

Uses Software

• Matlab
• Simulink
• StateFlow
• Modelica
• Ptolemy
• SysML
• Metropolis
• MARTE
• Circus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semantic translation of Simulink diagrams to input/output extended finite automata
• A formal framework for modeling and validating simulink diagrams
• An Assume/Guarantee Based Compositional Calculus for Hybrid CSP
• Formal Modelling, Analysis and Verification of Hybrid Systems
• A Two-Way Path Between Formal and Informal Design of Embedded Systems
• Differential-algebraic Dynamic Logic for Differential-algebraic Programs
• Formal Verification of Simulink/Stateflow Diagrams
• FM 2005: Formal Methods

This page was built for publication: A Two-Way Path Between Formal and Informal Design of Embedded Systems