TY - GEN
T1 - The modeling and analysis of mixed-criticality systems extended abstract
AU - Baruah, Sanjoy
PY - 2014
Y1 - 2014
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/84958543784
U2 - 10.1007/978-3-319-10512-3_1
DO - 10.1007/978-3-319-10512-3_1
M3 - Conference contribution
AN - SCOPUS:84958543784
SN - 9783319105116
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 1
EP - 6
BT - Formal Modeling and Analysis of Timed Systems - 12th International Conference, FORMATS 2014, Proceedings
PB - Springer Verlag
T2 - 12th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2014
Y2 - 8 September 2014 through 10 September 2014
ER -