计算机系统应用莫军,Configuration tool for ARINC 653 operating systems

摘要：

ARINC 653 Specification defines a standardized interface of real-time operating systems and an Application Executive (APEX) to develop the reliable applications for avionics based on Integrated Modular Avionics (IMA). The requirements of system platform based on ARINC 653 Standard are defined as configuration data and are integrated to the XML configuration file(s) in the real-time operating system. Unfortunately, existing configuration tools for integrating requirements do not provide checking the syntax errors of XML and verifying the integrity of input data for partitioning. This paper presents a configuration tool for ARINC 653 OS that consist of Wizard module which generates the basic configuration data for IMA based on XML Scheme of ARINC 653 Standard, XML and Partition Editor for the partitioning system of IMA, and Verification module which checks the integrity of input data and XML syntax with its visualization.

展开

计算机系统应用莫军,Configuration tool for ARINC 653 operating systems相关推荐

force oracle delete type,3.Oracle Interface Configuration Tool (OIFCFG) 命令参考
Oracle Interface Configuration Tool (OIFCFG) 命令参考 2018-01-25 oracle 宅必备这节讲集群中OIFCFG工具的一些东西 1. 关于OIF ...
CSR867x — 使用Sink Configuration Tool配置按键
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX XX 作者:文化人 XX 联系方式: XX 版权声明:原创文章, ...
CSR8670学习笔记：自定义ADK configuration tool配置项
为了方便大家学习,现与我爱蓝牙网联合推出[QCC300x/CSR867x/QCC30xx/QCC51xx开发板]. 技术交流QQ群号:743434463 开发板会员QQ群号:725398389(凭订单 ...
Font Configuration and Customization for Open Source Systems - 白皮书翻译和深入
font config 作为一个linux系统的font的配置的基本要素,如何使用的一份手册翻译: 本文尝试从font config手册出发,介绍font config的基本概念和基本元素,以期待在了 ...
sccm安装linux系统,SCCM Client for LINUX on FIPS Enabled Systems
SCCM Client for LINUX on FIPS Enabled Systems 09/06/2017 2 分钟可看完本文内容 Many organizations in the Publ ...
hashcat 破解RAR密码操作使用记录
因为忘记了一个重要rar文件的密码,怎么都想不起来了,只好翻工具把密码给找出来了这次用的是hashcat v6.2.6 官网下载地址戳这里hashcat - advanced password re ...
GConf error:Failed to contact configuration server
Linux系统运行一直正常,但是图形界面使用root账号登录时遇到下面错误,第一次遇到这么怪异的状况具体错误信息如下所示: GConf error:Failed to contact configu ...
深入理解计算机系统——第九章 Virtual Memory
深入理解计算机系统--第九章 Virtual Memory 9.1 Physical and Virtual Addressing 9.2 Address Spaces 9.3 VM as a Too ...
Realm Configuration HOW-TO--官方
来源:https://secure.gettinglegaldone.com/docs/realm-howto.html Quick Start This document describes how ...
计算机专业顶尖会议论文,校友胡一公获计算机系统领域顶级会议ASPLOS 2019最佳论文奖...
近日,在美国普罗维登斯举办的国际学术会议24th ACM International Conference on Architectural Support for Programming Langu ...

计算机系统应用莫军,Configuration tool for ARINC 653 operating systems