注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 基于spin的测试ARINC653工具

  2. 基于spin的测试ARINC653工具，改工具提供了部分apex接口的测试用例

  3. 所属分类：其它

    • 发布日期：2009-07-08
    • 文件大小：4194304
    • 提供者：lazybird74

  1. ARINC653标准全套资料

  2. 了解ARINC653标准所提的思想和要求实现接口，从而了解分区操作系统的思想等

  3. 所属分类：其它

    • 发布日期：2013-11-22
    • 文件大小：3145728
    • 提供者：sirayan

  1. ARINC653协议手札与中文验证方案

  2. 欧美国家战斗机是实时分区操作系统，这个资源主要是其原版协议与我们在这个协议上搭建了一个测试该协议安全性能的架构平台，分享给那些在前线奋斗的可爱的人，个人建议协议第一卷简单看一遍，虽然有1000页英文，再看那个IMA配置文档，看完之后再去选择性看协议第二第三卷，这样可以省很多时间。悲催的我当时把那3000页都看了（项目需要），那个IMA文档在大多数人手里一文不值，但在有些人手里，可能置如烫金。

  3. 所属分类：嵌入式

    • 发布日期：2017-12-26
    • 文件大小：5242880
    • 提供者：u013885408

  1. arinc653-p2

  2. arinc653-p2，英文原版文档，主要是安全操作系统的接口函数

  3. 所属分类：其它

    • 发布日期：2018-04-22
    • 文件大小：1048576
    • 提供者：weixin_42043425

  1. ARINC653标准全套资料

  2. 了解ARINC653标准所提的思想和要求实现接口，从而了解分区操作系统的思想等

  3. 所属分类：其它

    • 发布日期：2019-02-20
    • 文件大小：3145728
    • 提供者：andyliulifei

  1. ARINC653标准全套资料

  2. 了解ARINC653标准所提的思想和要求实现接口，从而了解分区操作系统的思想等 了解ARINC653标准所提的思想和要求实现接口，从而了解分区操作系统的思想等

  3. 所属分类：其它

    • 发布日期：2020-02-22
    • 文件大小：3145728
    • 提供者：rikliu

  1. ARINC653标准全套资料

  2. 了解ARINC653标准所提的思想和要求实现接口，从而了解分区操作系统的思想等 了解ARINC653标准所提的思想和要求实现接口，从而了解分区操作系统的思想等

  3. 所属分类：其它

    • 发布日期：2020-01-20
    • 文件大小：3145728
    • 提供者：duoling

  1. 分区操作系统内核中隔离性质的研究

  2. 为了达到经过形式化验证分区操作系统内核隔离性质的目标,采取形式化方法描述系统的顶层规范设计中描述隔离性质需求,通过将航空电子应用软件标准接口ARINC653与GWV定理相结合,实现了对分区操作系统需要满足的隔离性质的抽象描述,并通过使用类Z/Z++作为形式化描述语言。

  3. 所属分类：其它

    • 发布日期：2020-06-20
    • 文件大小：259072
    • 提供者：weixin_38666697

  1. ARINC653标准技术交流.ppt

  2. ARINC653标准技术培训材料 WindRiver公司的Vxworks653为符合ARINC653协议的分区操作系统，采用arinc653标准的操作系统设计原理将传统操作系统分为两级，一个是CoreOS，任务是区间化以及区间的管理和调度，CoreOS的上层就是POS，即分区操作系统，在POS的上层才是应用程序的执行。 1. 从ARINC 653 标准介绍开始，讲述ARINC 653 国内的应用现状

  3. 所属分类：其它

    • 发布日期：2020-09-19
    • 文件大小：2097152
    • 提供者：CPP1984

  1. ISTREM 软件测试可靠性评估方法研究（一）

  2. 摘要： 本文在航空电子系统软件测试的背景上，对ARINC653 平台燃油模块在Testbed 测试平台上的测试用例进行统计，得出实际测试案例分布服从特殊泊松的数学特征据此，根据软件测试的时间依赖性提出一种新的可靠性评估模型ISTREM,并且求得软件测试用例的失效率，从而对软件进行可靠性评估，解决了软件测试可靠性评估过程复杂且计算量较大并且忽略时间依赖性的问题最后，在Matlab 平台上对软件系统（燃油模块）的测试可靠性进行评估，得出实验结果，并且提出不足 　　1?引言随着软件行业的快速发展，软

  3. 所属分类：其它

    • 发布日期：2020-10-20
    • 文件大小：111616
    • 提供者：weixin_38553431

  1. 通信与网络中的风河推出面向ARINC 653集成化模块航空电子（IMA）应用的综合软件平台和网络协议栈

  2. 风河系统公司(Wind River)日前宣布推出针对关键性安全(Safety-Critical)系统应用的增强型ARINC 653 IMA 专用平台——VxWorks 653 Platform 2.2。这一最新版本VxWorks 653平台的发布再次实现了风河公司为航空电子设备市场提供可靠的高性能、低风险ARINC 653操作系统的承诺。该平台具有完整的DO-178B Level A认证，全面支持基于任务的DO-297模块化应用开发，能够进一步提高开发效率，加快客户的应用部署，同时极大地减小用于

  3. 所属分类：其它

    • 发布日期：2020-11-26
    • 文件大小：70656
    • 提供者：weixin_38722164

  1. 嵌入式系统/ARM技术中的嵌入式实时操作系统设计探讨

  2. 在传统的嵌入式实时操作系统中，内核和应用都运行在同一特权级，应用程序可以无限制的访问整个系统地址空间。因此在某些情况下，应用的潜在危险动作会影响其他应用和内核的正常运行，甚至导致系统崩溃或者误操作。         为了满足航空电子对高可靠性、高可用性以及高服务性的要求, 1997年1月ARINC发布了ARINC653（航空电子应用软件标准接口），并于2003年7月发布ARINC653 Supplement 1，对区间管理、区间通信及健康监测部分进行了补充说明，用以规范航空电子设备和系统的开

  3. 所属分类：其它

    • 发布日期：2020-12-03
    • 文件大小：153600
    • 提供者：weixin_38536397

  1. 653P1-2.pdf

  2. 高清带书签 1997年1月ARINC发布了ARINC653（航空电子应用软件标准接口），并于2003年7月发布ARINC653 Supplement 1，对区间管理、区间通信及健康监测部分进行了补充说明，用以规范航空电子设备和系统的开发。 分区（Partitioning）是ARINC653中一个核心概念。

  3. 所属分类：其它

    • 发布日期：2021-03-21
    • 文件大小：970752
    • 提供者：BShanj

  1. phoenix-rtos-project:使用Phoenix-RTOS的示例项目-源码

  2. phoenix-rtos-项目 Phoenix-RTOS是用于IoT的可扩展实时操作系统。 它基于自己的微内核，既可以在基于微控制器的小型设备上使用，也可以在基于多个处理器并配备了千兆字节RAM的高级计算机系统上使用。 可以模拟POSIX应用程序环境以启用常规的UN * X应用程序。 航空航天应用的ARINC653执行环境（APEX），高级分区和DO-178C认证包正在开发中。 Phoenix-RTOS支持多种架构，包括ARM Cortex-M，ARM Cortex-A，Intel x86，

  3. 所属分类：其它

    • 发布日期：2021-03-08
    • 文件大小：846848
    • 提供者：weixin_42121272

  1.  嵌入式实时分区操作系统中健康监控机制的设计与实现

  2. 在满足ARINC653标准的分区操作系统中，为了防止分区的运行受到其他分区故障的影响，所有分区公用的维护功能都集中在健康监控机制中。本文在深入研究健康监控的基础上，设计并实现了一种基于表驱动，按照系统状态和故障具体类型对故障进行分级处理的健康监控机制实现方法，可以有效地实现故障隔离和恢复。

  3. 所属分类：其它

    • 发布日期：2021-01-30
    • 文件大小：590848
    • 提供者：weixin_38688890

  1. 基于ARINC 653标准的嵌入式构件元模型研究

  2. 为了提高航电软件系统的设计和开发效率，文章利用构件化技术提出了一种适用于ARINC 653标准的嵌入式构件元模型ECOM，阐述了构件模型间的交互、构件的组合并定义了从构件模型到标准C++代码框架的映射规则。最后给出了一个构件模型到C++代码框架的映射实例。

  3. 所属分类：其它

    • 发布日期：2021-01-29
    • 文件大小：1024000
    • 提供者：weixin_38584642

  1. ISTREM 软件测试可靠性评估方法研究（一）

  2. 摘要： 本文在航空电子系统软件测试的背景上，对ARINC653 平台燃油模块在TeSTbed 测试平台上的测试用例进行统计，得出实际测试分布服从特殊泊松的数学特征据此，根据软件测试的时间依赖性提出一种新的可靠性评估模型ISTREM,并且求得软件测试用例的失效率，从而对软件进行可靠性评估，解决了软件测试可靠性评估过程复杂且计算量较大并且忽略时间依赖性的问题，在Matlab 平台上对软件系统（燃油模块）的测试可靠性进行评估，得出实验结果，并且提出不足 　　1?引言随着软件行业的快速发展，软件开发各

  3. 所属分类：其它

    • 发布日期：2021-01-20
    • 文件大小：121856
    • 提供者：weixin_38687928

  1. ARINC653中文版-200305翻译.pdf

  2. ARINC653中文版-200305翻译标准

  3. 所属分类：互联网

    • 发布日期：2021-03-27
    • 文件大小：1048576
    • 提供者：p340589344