轨道交通软件开发中的数据结构定义方法

本文介绍一种轨道交通软件开发中的数据结构定义方法,步骤包括:形成设备基础信息表;形成设备对象到边及控制区域的第二索引表.采用这种数据描述方法能减少映射表的使用,使数据操作简单、一致和方便,符合轨道交通软件开发对数据的实时性和安全性的要求.     

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

主要探讨了安全苛求系统在新需求下,如何在提高软件功能安全性的同时保证软件的质量和可信性。首先分析了在典型领域内安全苛求系统开发的标准流程,然后提出了基于模型驱动开发(MDD)SCADE(安全苛求应用开发环境)工具的开发流程。目的是规范和指导领域内安全苛求系统中的MDD开发,最终可以实现降低软件开发成本、提高软件交付质量和确保软件安全性的目的。