Handling mixed-criticality in SoC-based real-time embedded systems

Rodolfo Pellizzoni, Patrick Meredith, Min Young Nam, Mu Sun, Marco Caccamo, Lui Raymond Sha

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

System-on-Chip (SoC) is a promising paradigm to implement safety-critical embedded systems, but it poses significant challenges from a design and verification point of view. In particular, in a mixed-criticality system, low criticality applications must be prevented from interfering with high criticality ones. In this paper, we introduce a new design methodology for SoC that provides strong isolation guarantees to applications with different criticalities. A set of certificates describing the assumed application behavior is extracted from a functional Architectural Analysis and Design Language (AADL) specification. Our tools then automatically generate hardware wrappers that enforce at run-time the behavior described by the certificates. In particular, we employ run-time monitoring to formally check all data communication in the system, and we enforce timing reservations for both computation and communication resources. Verification is greatly simplified because certificates are much simpler than the components used to implement low-criticality applications. The effectiveness of our methodology is proven on a case study consisting of a medical pacemaker.

Original languageEnglish (US)
Title of host publicationEmbedded Systems Week 2009 - Proceedings of the 7th ACM International Conference on Embedded Software, EMSOFT '09
Pages235-244
Number of pages10
DOIs
StatePublished - Dec 24 2009
EventEmbedded Systems Week 2009, ESWEEK 2009 - 7th ACM International Conference on Embedded Software, EMSOFT '09 - Grenoble, France
Duration: Oct 11 2009Oct 16 2009

Publication series

NameEmbedded Systems Week 2009 - Proceedings of the 7th ACM International Conference on Embedded Software, EMSOFT '09

Other

OtherEmbedded Systems Week 2009, ESWEEK 2009 - 7th ACM International Conference on Embedded Software, EMSOFT '09
CountryFrance
CityGrenoble
Period10/11/0910/16/09

Keywords

  • AADL
  • Mixed-criticality
  • Platform-based design
  • Runtime monitoring
  • System-on-chip

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'Handling mixed-criticality in SoC-based real-time embedded systems'. Together they form a unique fingerprint.

Cite this