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

DOI10.1016/j.tcs.2021.11.008OpenAlexW3217694117MaRDI QIDQ2072065

Xiangyu Jin, Bohua Zhan, Jean-Pierre Talpin, Xiong Xu, 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

formal semanticsAADLHCSPsimulation and verificationsimulink/stateflow

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

A denotational semantics of simulink with higher-order UTP

Uses Software

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

Cites Work

• Unified graphical co-modelling of cyber-physical systems using AADL and Simulink/Stateflow
• The Daikon system for dynamic detection of likely invariants
• Zélus
• Formal Verification of Simulink/Stateflow Diagrams
• Formal Verification of Simulink/Stateflow Diagrams
• Logical Foundations of Cyber-Physical Systems

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