Journal of Frontiers of Computer Science and Technology ›› 2019, Vol. 13 ›› Issue (6): 950-960.DOI: 10.3778/j.issn.1673-9418.1805025

Previous Articles     Next Articles

Extended SysML for Supporting Requirements Trace Model Automatic Generation

DENG Liumeng1, SHEN Guohua1,2+, HUANG Zhiqiu1,2, WANG Fei1, GE Xiaoyu1   

  1. 1. College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, China
    2. Collaborative Innovation Center of Novel Software Technology and Industrialization, Nanjing 210016, China
  • Online:2019-06-01 Published:2019-06-14

扩展SysML支持需求追踪模型的自动生成

邓刘梦1,沈国华1,2+,黄志球1,2,王  飞1,葛晓瑜1   

  1. 1.南京航空航天大学 计算机科学与技术学院,南京 211106
    2.软件新技术与产业化协同创新中心,南京 210016

Abstract: Safety-critical systems are widely used in aviation, aerospace, nuclear power and transportation which have high requirements for safety. Traceability is not only a basic requirement during developing safety-critical systems, but also the important prerequisite when analyzing system safety. This paper is devoted to establishing a vertical trace relationship between requirements and design artifacts, using model-driven methods to achieve automatic generation of trace model and graphical representation of trace information. First, the SysML model is extended through the profile mechanism. The extended SysML model is used to model the requirements and design artifacts for capturing the trace information. Then, a trace meta-model is designed to express and store the trace information for later safety analysis, and the model transformation technique is used to automatically generate trace models from the extended SysML models. In the end, the effectiveness of this method is explained through the case of airplane slots flaps control system.

Key words: requirement engineering, model transformation, safety-critical systems, traceability

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

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