扩展SysML支持需求追踪模型的自动生成
安全关键系统广泛应用于航空、航天、核能、交通等领域,对安全性有着很高的要求.保障需求可追踪性是安全关键系统开发过程中的基本要求,也是各项安全性分析的重要前提.致力于建立需求与设计制品间的纵向追踪关系,采用模型驱动的方法来实现追踪模型的自动生成并实现追踪信息的图形化表达.首先通过配置文件的机制对SysML模型进行扩展,使用该扩展的SysML模型对需求以及设计制品进行建模用于捕获追踪信息.接着设计了一个追踪元模型用于表达以及存储追踪信息可供后期安全性分析使用,并使用模型转换技术实现从扩展的SysML模型到追踪模型的自动化生成.最后通过襟缝翼控制系统的案例来说明该方法的有效性.
需求工程、模型转换、安全关键系统、可追踪性
13
TP311(计算技术、计算机技术)
The Graduate Student Innova-tion Base Laboratory Open Fund Project of Nanjing University of Aeronautics and Astronautics under Grant No. kfjj20171606 南京航空航天大学研究生创新基地实验室开放基金项目
2020-01-17(万方平台首次上网日期,不代表论文的发表时间)
共11页
950-960