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...

Celý popis

Podrobná bibliografie

Vydáno v:	Journal of systems architecture Ročník 118; s. 102202
Hlavní autoři:	Yang, Zhibin, Qiu, Zhikai, Zhou, Yong, Huang, Zhiqiu, Bodeveix, Jean-Paul, Filali, Mamoun
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 01.09.2021 Elsevier
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!