计算机科学与探索

作者：邓刘梦，沈国华，黄志球，王飞，葛晓瑜

单位：1.南京航空航天大学 计算机科学与技术学院，南京 2111062.软件新技术与产业化协同创新中心，南京 210016

关键词：需求工程,模型转换,安全关键系统,可追踪性

安全关键系统广泛应用于航空、航天、核能、交通等领域，对安全性有着很高的要求。保障需求可追踪性是安全关键系统开发过程中的基本要求，也是各项安全性分析的重要前提。致力于建立需求与设计制品间的纵向追踪关系，采用模型驱动的方法来实现追踪模型的自动生成并实现追踪信息的图形化表达。首先通过配置文件的机制对SysML模型进行扩展，使用该扩展的SysML模型对需求以及设计制品进行建模用于捕获追踪信息。接着设计了一个追踪元模型用于表达以及存储追踪信息可供后期安全性分析使用，并使用模型转换技术实现从扩展的SysML模型到追踪模型的自动化生成。最后通过襟缝翼控制系统的案例来说明该方法的有效性。

来源：2019年第6期

《计算机科学与探索》期刊编辑部

查看计算机科学与探索杂志2019年第6期