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

Yang, ZB; Qiu, ZK; Zhou, Y; Huang, ZQ; Bodeveix, JP; Filali, M

Yang, ZB (corresponding author), Nanjing Univ Aeronaut & Astronaut, Sch Comp Sci & Technol, Nanjing, Peoples R China.

JOURNAL OF SYSTEMS ARCHITECTURE, 2021; 118 ():

Abstract

The safety-critical system communities have been struggling to manage and maintain their legacy software systems because upgrading such systems has be......

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索