模型驱动开发在安全苛求系统中的应用  

Application of Model-driven Development in Safety-critical System

作　　者：王庆胜 朱罕 WANG Qingsheng ZHU han(Shanghai Fuxin Intelligent Transportation Solutions Co.,Ltd., 201203, Shanghai, China)

机构地区：[1]上海富欣智能交通控制有限公司,上海高级工程师201203

出　　处：《城市轨道交通研究》2016年第B08期55-59,共5页Urban Mass Transit

摘　　要：主要探讨了安全苛求系统在新需求下,如何在提高软件功能安全性的同时保证软件的质量和可信性。首先分析了在典型领域内安全苛求系统开发的标准流程,然后提出了基于模型驱动开发(MDD)SCADE(安全苛求应用开发环境)工具的开发流程。目的是规范和指导领域内安全苛求系统中的MDD开发,最终可以实现降低软件开发成本、提高软件交付质量和确保软件安全性的目的。Problems on how to adapt new requirements and modified safety functions in safety-critical system and how to improve the quality and safety of software are discussed.In this article,the general software development procedure in the typical areas of safety-critical system is analyzed.Then,a development procedure based on SCADE in MDD is proposed,aiming to guide the usage of MDD technologies in safety-critical system.This new development procedure could reduce the cost of software development,improve the delivery quality and the safety of software.

关 键 词：安全苛求系统 模型驱动开发 安全苛求应用开发环境 

分 类 号：TP309[自动化与计算机技术—计算机系统结构] TP311.52[自动化与计算机技术—计算机科学与技术]