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模型到追踪模型的自动化生成。最后通过襟缝翼控制系统的案例来说明该方法的有效性。

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