| 基于分区的安全关键软件体系及其时间分析研究 |
| |
| 引用本文： | 汤小明,张新国. 基于分区的安全关键软件体系及其时间分析研究[J]. 系统仿真学报, 2013, 25(7) |
| |
| 作者姓名： | 汤小明 张新国 |
| |
| 作者单位： | 1. 中航工业自控所飞行器控制一体化技术重点实验室,西安,710065
2. 中航工业自控所飞行器控制一体化技术重点实验室,西安710065;中航工业集团公司,北京100084 |
| |
| 基金项目： | 航空基金安全关键软件系统的形式化验证研究 |
| |
| 摘 要： | 以综合模块化航空电子系统为研究对象,针对分时分区体系提出了其时间分析模型,结合IPET和不变量分析设计并实现了时间可分析工具IMATime.采用SNU Benchmark对IMATime进行了时间评估.并采用IMATime对分时分区软件平台FCOS进行了三级分析,分析结果除了能够指导系统通用设计外,还能提供综合模块化航空电子系统的专用参数分区周期和分区容限.最后针对某综合了飞行控制系统,导航系统和数传系统的综合航空电子系统进行了实例分析.
|
| 关 键 词： | 综合模块化航空电子 分区 安全关键系统 时间分析 可调度性分析 |
Architecture and Timing Analysis of Safety Critical Software Based on Partitioning Model |
| |
| Abstract: | |
| |
| Keywords: | Integrated Modular Avionics partitioning safety critical system timing analysis schedulability |
| 本文献已被 万方数据 等数据库收录！ |
|
