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

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

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

Publication date: 18 February 2020

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

zbMATH Keywords

analysis; code generation; co-simulation; AADL; Simulink/Stateflow

Mathematics Subject Classification ID

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