HI,欢迎来到学术之家,发表咨询:400-888-7501  订阅咨询:400-888-7502  股权代码  102064
0

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

作者:王庆胜; 朱罕安全苛求系统模型驱动开发安全苛求应用开发环境

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

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社

城市轨道交通研究

《城市轨道交通研究》(CN:31-1749/U)是一本有较高学术价值的大型月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《城市轨道交通研究》旨在宣传党和国家有关城市轨道交通领域的方针政策,交流学术动态,传播科技信息,提供市场服务。

杂志详情