机构名称：
¥ 1.0
摘要：ARINC 653 标准越来越多地用于航空航天安全关键系统。与传统软件开发工作流程相比，此类系统的设计和实施经验引入了新的考虑因素，主要与在同一系统上运行多个应用程序的目标有关。本文介绍的经验包括一种拟议的 UML 扩展（通过配置文件），该扩展解决了 ARINC 653 工件缺乏 UML 建模形式主义的问题，XML 模式更新以适应应用程序独立性的目标，一种经过验证的自动生成与所有 ARINC 653 元素相关的代码的方法，一个用于定义测试和所需存根的最佳框架，以及使用合格的工具来验证和生成系统配置表的二进制版本。
IMA 系统开发和配置 - INSU
主要关键词
相关文件推荐
