QoC-oriented efficient schedule synthesis for mixed-criticality cyber-physical systems

Reinhard Schneider, Dip Goswami, Alejandro Masrur, Samarjit Chakraborty

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

6 Citaten (Scopus)

Samenvatting

Cyber-physical systems (CPS) are characterized by a tight interaction between computational resources and physical systems. Such systems typically consist of a mix of time-critical real-time tasks and safety-critical control tasks. Time-critical applications are normally associated with hard real-time constraints which need to be guaranteed by the system. On the other hand, control applications are not strictly related to deadlines but rather to quality of control (QoC). Traditional scheduling policies such as Deadline Monotonic can guarantee timing constraints, however, they do not allow for QoC optimized schedules. Optimizing overall QoC while guaranteeing all deadlines constitutes a challenging scheduling problem which is increasingly attracting attention. In this paper, we present an efficient schedule synthesis algorithm for such mixed-criticality systems. The proposed algorithm has a polynomial complexity and ensures all hard real-time constraints while maximizing overall QoC for all control applications.
Originele taal-2Engels
TitelProceeding of the 2012 Forum on Specification and Design Languages
Plaats van productiePiscataway
UitgeverijInstitute of Electrical and Electronics Engineers
Pagina's60-67
Aantal pagina's8
ISBN van elektronische versie978-2-9530504-5-5
ISBN van geprinte versie978-1-4673-1240-0
StatusGepubliceerd - 2012
Extern gepubliceerdJa
EvenementForum on Specification and Design Languages - Vienna, Oostenrijk
Duur: 18 sep 201220 sep 2012
Congresnummer: FDL

Congres

CongresForum on Specification and Design Languages
LandOostenrijk
Stad Vienna
Periode18/09/1220/09/12

Vingerafdruk Duik in de onderzoeksthema's van 'QoC-oriented efficient schedule synthesis for mixed-criticality cyber-physical systems'. Samen vormen ze een unieke vingerafdruk.

Citeer dit