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

来源 :航空电子技术 | 被引量 : 0次 | 上传用户:yihai624
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文以模型驱动开发(MDD)为契合点,在统一软件开发过程(RUP)的坚实与敏捷开发方法的灵动之间找到一种平衡,详细介绍了基于高安全性应用程序开发环境(SCADE)模型驱动软件开发过程。它具有连贯迭代、持续构建的特点,同时综合测试的理念贯穿始终。结合航空项目软件研制过程中时间节点紧、需求变化频繁、软件安全性要求高等特点,以某项目为实例,通过需求分析、模型设计、设计验证、安全性分析、代码生成等过程,结果表明基于SCADE模型驱动开发过程既可以借助RUP定义的流程,又是有效地实施敏捷开发的最佳实践,同时大大提高
其他文献
要使城市规划既科学、合理,又富有“龙头作用”,对城市的可持续发展具有持久的推动作用,关键在于在制订城市规划时应具有六种理念。
为了掌握兰州市2005—2011年6种重性精神疾病的流行特点,为制订精神病防治康复工作提供科学依据,现将兰州市6种重性精神疾病的流行情况做如下分析。1材料与方法1.1资料来源兰
<正> 根据辣椒幼苗的生长特点,将苗床苗分为出苗期、破心期、基本营养生长期3个时期。我们应针对不同时期的幼苗生长情况进行不同的管理。 1.出苗期 从播种至子叶微展称为出
<正> 五步蛇又称祁蛇、尖吻蝮、棋盘蛇,体长可达18米,体躯粗短,头大呈三角形,常栖于山区或丘陵草木茂盛的阴湿处,昼伏夜出,剧毒。五步蛇是传统的常用中药材。1995年,我在湖南
针对大规模复杂航电系统软件的设计和开发,引入MVC(模型.视图搬制)的软件体系架构和设计模式,对软件行为主体进行持续抽象和封装,并在项目开发过程中迭代应用。研究结果证明,采用MVC
本文介绍了一种基于虚拟听觉技术的新型告警系统,通过其原理算法介绍和原理样机实验表明了该系统的可实现性。
问:什么是毒品犯罪,请给予解答。 答:我国刑法第三百五十七条规定,毒品是指鸦片、海洛因、甲基苯丙胺(冰毒)、吗啡、大麻、可卡因及国家规定管制的其他能够使人形成瘾癖的麻
期刊
<正> 一、两系法杂交水稻的由来 1973年以袁隆平为首的水稻育种家成功地培育出三系法杂交水稻,标志着我国水稻育种事业在继60年代矮化育种之后的又一次重大突破。开创了利用
复发性腰椎间盘突出症(recurrentlumbardischernlation,RLDH)是指初次手术后症状缓解至少6个月以上,症状复发与初次诊断的节段一致,并与MRI相符。据文献报道,椎间盘初次手术后的复
<正> 山羊饲料可分为青绿饲料、多汁饲料、粗饲料、精饲料、矿物质饲料、添加剂及特殊饲料等多种类型。 青绿饲料是山羊的基础饲料,主要包括各种野生牧草、灌木枝叶、人工牧