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

Full description

Bibliographic Details

Published in:	Journal of systems architecture Vol. 118; p. 102202
Main Authors:	Yang, Zhibin, Qiu, Zhikai, Zhou, Yong, Huang, Zhiqiu, Bodeveix, Jean-Paul, Filali, Mamoun
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 01.09.2021 Elsevier
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!