Unified graphical co-modelling of cyber-physical systems using AADL and Simulink/Stateflow

DOI10.1007/978-3-030-31038-7_6MaRDI QIDQ2296289zbMATH OpenOpenAlexFDO

Authors Haolan Zhan, Qianqian Lin, Jean-Pierre Talpin, Xiong Xu, Naijun Zhan, Shu-Ling Wang

Publication date 18 February 2020

Full work available at URL https://hal.inria.fr/hal-02193662/file/utp19.pdf

zbMATH Keywords

AADLanalysisco-simulationcode generationSimulink/Stateflow

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow
• A co-modelling approach for cyber-physical systems with SysML/MARTE/pCCSL
• A denotational semantics of simulink with higher-order UTP
• Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow
• Compositional cyber-physical systems modeling

Cited in

(2)

• Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow
• Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow

This page was built for publication: Unified graphical co-modelling of cyber-physical systems using AADL and Simulink/Stateflow

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