Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow

DOI10.1016/J.TCS.2021.11.008MaRDI QIDQ2072065zbMATH OpenOpenAlexFDO

Authors Xiong Xu, Bohua Zhan, Xiangyu Jin, Jean-Pierre Talpin, Naijun Zhan, Shu-Ling Wang

Publication date 1 February 2022

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2021.11.008

zbMATH Keywords

AADLformal semanticsHCSPsimulation and verificationsimulink/stateflow

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• Unified graphical co-modelling of cyber-physical systems using AADL and Simulink/Stateflow
• A co-modelling approach for cyber-physical systems with SysML/MARTE/pCCSL
• Formal verification of Simulink/Stateflow diagrams
• A denotational semantics of simulink with higher-order UTP
• Co-verification approach to control software program for CPS

Cites work

• Formal Verification of Simulink/Stateflow Diagrams
• Formal verification of Simulink/Stateflow diagrams
• Logical foundations of cyber-physical systems
• The Daikon system for dynamic detection of likely invariants
• Unified graphical co-modelling of cyber-physical systems using AADL and Simulink/Stateflow
• Zélus: a synchronous language with ODEs

Cited in

(2)

• A denotational semantics of simulink with higher-order UTP
• Unified graphical co-modelling of cyber-physical systems using AADL and Simulink/Stateflow

Describes a project that uses

Uses Software

• Daikon
• Simulink
• StateFlow
• Cheddar
• Ptolemy
• Zelus
• iFEST

This page was built for publication: Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow

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