摘要:主要探讨了安全苛求系统在新需求下,如何在提高软件功能安全性的同时保证软件的质量和可信性。首先分析了在典型领域内安全苛求系统开发的标准流程,然后提出了基于模型驱动开发(MDD)SCADE(安全苛求应用开发环境)工具的开发流程。目的是规范和指导领域内安全苛求系统中的MDD开发,最终可以实现降低软件开发成本、提高软件交付质量和确保软件安全性的目的。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
热门期刊服务
航空模型 模型世界 小型内燃机与摩托车 闽南师范大学学报·自然科学版 西华师范大学学报·自然科学版 岩相古地理 泥沙研究 水动力学研究与进展A辑 油气井测试 中国石油石化 供水技术 数值计算与计算机应用相关文章
模型制作实训总结