The Modeling and Analysis of Mixed-Criticality Systems
- 496 Downloads
Methodologies that are currently widely used in the design and implementation of safety-critical real-time application systems are primarily focused on ensuring correctness. This, in conjunction with the trend towards implementing such systems using COTS components, may lead to very poor utilization of the implementation platform resources during run-time. Mixed-criticality implementations have been proposed as one means of achieving more efficient resource utilization upon such platforms. The real-time scheduling community has been developing a theory of mixed-criticality scheduling that seeks to solve resource allocation problems for mixed-criticality systems. There is a need for the formal methods and analysis community to work on developing methodologies for the design and analysis of mixed-criticality systems; such methodologies, in conjunction with the work on mixed-criticality scheduling currently being done in the real-time scheduling community, has the potential to significantly enhance our ability to design and implement large, complex, real-time systems in a manner that is both provably correct and resource-efficient.
KeywordsPreemptive Schedule Critical Functionality Implementation Platform Integrate Modular Avionics Solve Resource Allocation Problem
Unable to display preview. Download preview PDF.
- 1.Slide-show: Introduction to aiT, http://www.absint.com/ait/slides/4.htm (accessed on June 23, 2014)
- 3.Burns, A., Davis, R.: Mixed-criticality systems: A review (2013), http://www-users.cs.york.ac.uk/~burns/review.pdf
- 4.Prisaznuk, P.J.: Integrated modular avionics. In: Proceedings of the IEEE 1992 National Aerospace and Electronics Conference (NAECON 1992), vol. 1, pp. 39–45 (May 1992)Google Scholar
- 7.Vestal, S.: Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance. In: Proceedings of the Real-Time Systems Symposium, pp. 239–243. IEEE Computer Society Press, Tucson (2007)Google Scholar