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

• 作者: Tom Erkkinen
• 来源期刊: 单片机与嵌入式系统应用
• 学科: 工学
• 关键词: 验证技术 代码 高可靠性 自动化 飞行 开发团队 嵌入式系统 模型设计
• 年，卷（期）: 2012,（7）
• 所属期刊栏目: 产业技术
• 页码范围: 84-85
• 页数: 2页
• 分类号: TP311.1
• 字数: 1051字
• 语种: 中文
• DOI: 10.3969/j.issn.1009-623X.2012.07.037

摘要

从仿真模型自动生成代码是基于模型设计中的关键开发环节，可实质性地减少开发团队手写代码所花费的时间和工作量。要想成功开发高性能的嵌入式系统，就必须生成非常高效的代码。代码效率目标包括内存使用的最小化和执行速度的最大化。要想成功部署军用和国防系统，还需要严格的代码验证能力。代码验证目标包括需求符合性和标准符合性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	Tom Erkkinen		1	0	0.0	0.0