关于Signal语言用于模块化航空电子架构建模的资料

关于Signal语言用于模块化航空电子架构建模的资料

Google “modular avionics signal”，查到以下主要资料：
1. 1. [PS]
Modeling of Modular Avionics Architectures Using the Synchronous ...
文件格式: Adobe PostScript - HTML 版
作者：A Gamatie - 被引用次数：2 - 相关文章
ftp://ftp.irisa.fr/local/signal/publis/articles/ECRTS-WIP-02.ps.gz

2. 2. 同步语言Signal在综合航电系统建模仿真中的应用Simulation for ...
作者：李全军 - 2009 - 相关文章 - 所有 4 个版本
d.wanfangdata.com.cn/Periodical_jsjgcyyy200917070.aspx

3. 3. [PDF]
A Modeling Paradigm for Integrated Modular Avionics Design
- [ 翻译此页 ]
文件格式: PDF/Adobe Acrobat - 快速查看
作者：A Gamati - 2006 - 被引用次数：3 - 相关文章
https://www.irisa.fr/prive/talpin/papers/seaa06.pdf

4. 4. [PDF]
Synchronous Modeling of Modular Avionics Architectures using the SIGNAL Language
- [ 翻译此页 ]
文件格式: PDF/Adobe Acrobat - HTML 版
作者：AGT GAUTIER - 被引用次数：9 - 相关文章
hal.archives-ouvertes.fr/docs/00/07/19/07/PDF/RR-4678.pdf

浏览了上述资料，可以知道最早提出用Signal语言对模块化航空电子的架构进行建模的是法国INRIA的A. Gamatié 和T. Gautier。他们的研究成果主要体现在2002年12月的INIRA报告4678中。
若要进一步了解这项研究，还需阅读以下三方面的资料：
­——Arinc653标准
——Signal语言
——Polychrony工具集