点击次数：

所属单位：计算机科学与技术学院/人工智能学院/软件学院

发表刊物：计算机科学与探索

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

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

是否译文：否

发表时间：2018-09-07

合写作者：邓刘梦,黄志球,王飞,葛晓瑜

通讯作者：沈国华