Mars 2.0: A Toolchain for Modeling, Analysis, Verification and Code Generation of Cyber-Physical Systems

We introduce Mars 2.0 for modeling, analysis, verification and code generation of Cyber-Physical Systems. Mars 2.0 integrates Mars 1.0 with several important extensions and improvements, allowing the design of cyber-physical systems using the combination of AADL and Simulink/Stateflow, which provide...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Zhan, Bohua, Xu, Xiong, Gao, Qiang, Ji, Zekun, Jin, Xiangyu, Wang, Shuling, Zhan, Naijun
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science - Programming Languages
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!