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

Reinhard Schneider, Dip Goswami, Alejandro Masrur, Samarjit Chakraborty

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

6 Citations (Scopus)

Abstract

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.
Original languageEnglish
Title of host publicationProceeding of the 2012 Forum on Specification and Design Languages
Place of PublicationPiscataway
PublisherInstitute of Electrical and Electronics Engineers
Pages60-67
Number of pages8
ISBN (Electronic)978-2-9530504-5-5
ISBN (Print)978-1-4673-1240-0
Publication statusPublished - 2012
Externally publishedYes
EventForum on Specification and Design Languages - Vienna, Austria
Duration: 18 Sep 201220 Sep 2012
Conference number: FDL

Conference

ConferenceForum on Specification and Design Languages
CountryAustria
City Vienna
Period18/09/1220/09/12

Fingerprint Dive into the research topics of 'QoC-oriented efficient schedule synthesis for mixed-criticality cyber-physical systems'. Together they form a unique fingerprint.

Cite this