Architecture and Timing Analysis of Safety Critical Software Based on Partitioning Model

汤小明,张新国
DOI: https://doi.org/10.16182/j.cnki.joss.2013.07.009
2013-01-01
Abstract:Aiming at the Integrated Modular Avionics(IMA),a model of timing analysis for the temporal and spatial partitioning architecture was proposed.Based on the IPET and invariant analysis,a timing analysis tool IMATime was discussed and implemented.And then the time and size evaluations of IMATime were conducted using SNU Benchmark.Meanwhile the three-level analysis of the temporal and spatial partitioning software platform FCOS was mentioned in detail.The analysis result will not only guide the general design,but also provide the IMA-dedicated parameters,such as partition period and partition capacity.At last as a real case of IMA which integrated the Flight Control System,Navigation System and Data Transmission System,the holistic timing analysis was discussed.
What problem does this paper attempt to address?