C2AADL_Reverse: A model-driven reverse engineering approach to development and verification of safety-critical software

The safety-critical system communities have been struggling to manage and maintain their legacy softwaresystems because upgrading such systems has been a complex challenge. To overcome or reduce this problem, reverse engineering has been increasingly used in safety-critical systems. This paper propo...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Journal of systems architecture Jg. 118; S. 102202
Hauptverfasser:	Yang, Zhibin, Qiu, Zhikai, Zhou, Yong, Huang, Zhiqiu, Bodeveix, Jean-Paul, Filali, Mamoun
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 01.09.2021 Elsevier
Schlagworte:	AADL Compositional verification Computer Science Model-driven development Model-driven reverse engineering Safety-critical systems Software Engineering 99-00 Safety-critical systems 00-01 AADL Compositional verification Model-driven reverse engineering Model-driven development
ISSN:	1383-7621, 1873-6165
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!