基于spin的测试ARINC653工具

Name: 基于spin的测试ARINC653工具
Rating: 4.5 (57 reviews)
Author: nisw39

上传者：nisw39 2019-04-08 04:44:46上传其他文件 500kb 热度 57次

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

: 码姐姐匿名网友 2019-04-08 04:44:46

谢谢分享，资源不错

基于spin的测试ARINC653工具

大小：0B | 2019-04-08 04:44:46
ARINC653标准资料全套

ARINC653 是航空电子系统中的关键标准，了分区操作系统的统一架构。它使得多个应用在同一平台上隔...

大小：3.61MB | 2025-05-24 20:56:57
ARINC653标准全套资料

大小：0B | 2019-02-21 15:25:06
ARINC653标准Par1Required Services

软件适航标准ARINC653操作系统标准第一部分:RequriedServices. Thisdoc...

大小：0B | 2020-06-01 16:23:18
ARINC653标准技术交流.ppt

ARINC653标准技术培训材料 WindRiver公司的Vxworks653为符合ARINC653...

大小：2.91MB | 2020-09-21 01:42:03
ARINC653协议手札与中文验证方案

大小：0B | 2019-04-08 04:44:45
基于ARINC653标准的嵌入式构件元模型研究

为了提高航电软件系统的设计和开发效率,文章利用构件化技术提出了一种适用于ARINC 653标准的嵌入...

大小：1000KB | 2021-02-01 00:17:08
ARINC653中文版200305翻译.pdf

ARINC653中文版-200305翻译标准

大小：1.85MB | 2021-04-16 23:28:44
风河公司新产品ARINC653软件接口标准

ARINC653软件接口标准，成熟软件的必备条件。

大小：0B | 2019-05-08 09:58:44
ARINC653标准下的IMA航空系统安全性分析

介绍航空IMA系统安全性方面的论文和ARINC653体系标准，自己将其中的几篇论文进行了整理，绝对的...

大小：0B | 2019-05-17 05:57:14
ARINC653InterfaceinRTEMS

ARINC653InterfaceinRTEMS，rtem是中的航空电子接口

大小：0B | 2019-05-08 09:58:45
ARINC653一致架构的独立时间集成基于搜索的解决方案

基于ARINC653的集成模块化航空电子(IMA)架构已被广泛用于现代民用和军用飞机的设计中。 IM...

大小：1.25MB | 2021-04-08 14:11:37
arinc653-p2

大小：0B | 2019-01-07 20:34:24
通信与网络中的风河推出面向ARINC653集成化模块航空电子IMA应用的综合软件平台和网络协议栈

风河系统公司(Wind River)日前宣布推出针对关键性安全(Safety-Critical)系统...

大小：69KB | 2020-11-26 20:01:33
Spin工具应用

Spin工具应用，一种基于spin的自动柜员机的模型检测

大小：0B | 2020-05-24 09:48:49
spin625工具

spin625工具，形式化分析与验证。软件形式化方法

大小：0B | 2019-05-23 00:09:52