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

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