SCADE模型驱动开发过程研究及高安全性分析

来源 :航空电子技术 | 被引量 : 0次 | 上传用户:yihai624
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文以模型驱动开发(MDD)为契合点,在统一软件开发过程(RUP)的坚实与敏捷开发方法的灵动之间找到一种平衡,详细介绍了基于高安全性应用程序开发环境(SCADE)模型驱动软件开发过程。它具有连贯迭代、持续构建的特点,同时综合测试的理念贯穿始终。结合航空项目软件研制过程中时间节点紧、需求变化频繁、软件安全性要求高等特点,以某项目为实例,通过需求分析、模型设计、设计验证、安全性分析、代码生成等过程,结果表明基于SCADE模型驱动开发过程既可以借助RUP定义的流程,又是有效地实施敏捷开发的最佳实践,同时大大提高
其他文献
要使城市规划既科学、合理,又富有“龙头作用”,对城市的可持续发展具有持久的推动作用,关键在于在制订城市规划时应具有六种理念。
针对大规模复杂航电系统软件的设计和开发,引入MVC(模型.视图搬制)的软件体系架构和设计模式,对软件行为主体进行持续抽象和封装,并在项目开发过程中迭代应用。研究结果证明,采用MVC
本文介绍了一种基于虚拟听觉技术的新型告警系统,通过其原理算法介绍和原理样机实验表明了该系统的可实现性。
复发性腰椎间盘突出症(recurrentlumbardischernlation,RLDH)是指初次手术后症状缓解至少6个月以上,症状复发与初次诊断的节段一致,并与MRI相符。据文献报道,椎间盘初次手术后的复