高可靠性飞行代码的自动化验证技术

来源 :单片机与嵌入式系统应用 | 被引量 : 0次 | 上传用户:godchrist
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
从仿真模型自动生成代码是基于模型设计中的关键开发环节,可实质性地减少开发团队手写代码所花费的时间和工作量。要想成功开发高性能的嵌入式系统,就必须生成非常高效的代码。代码效率目标包括内存使用的最小化和执行速度的最大化。要想成功部署军用和国防系统,还需要严格的代码验证能力。代码验证目标包括需求符合性和标准符合性。
其他文献
5月12日、13日,由中国消费者协会主办的“第二届海峡两岸暨港澳推动消费者权益保护论坛”在京召开,来自中国香港、澳门、台湾地区和内地(大陆)消费者组织代表、政府机构代表以及
学位
在高速铁路建设中,采用无砟轨道具有稳定性好、维修工作量小等优点。但所需的双块式轨枕,是在现场建场预制、还是采购运送到施工现场。此文以赤喀联络线为例,对建场预制轨枕
文章介绍了辽宁有色地质勘查局在实行属地化管理后,根据内部要素和市场条件,制定符合实际的发展战略;优化经济结构,发展优势产业;提高生产、科研和管理能力;彻底转换经营机制
随着房地产业的兴起,土地流转过程中存在着许多似是而非的认识,并因此产生了不少纠纷.本文依据产权理论,对当前土地转让形式的形成原因和弊端进行了剖析,提出应通过制度创新,