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

DOI10.1007/978-3-030-31038-7_6OpenAlexW2974034631MaRDI QIDQ2296289

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

Publication date: 18 February 2020

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

zbMATH Keywords

analysiscode generationco-simulationAADLSimulink/Stateflow

Mathematics Subject Classification ID

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

Related Items (1)

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

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