The Ectokernel Approach: A Composition Paradigm for Building Evolvable Safety-critical Systems from Unsafe Components

Download
pdf

ABSTRACT

This poster reports progress on the Ectokernel project: A Composition Paradigm for Building Evolvable Safety-critical Systems from Unsafe Components. Interactive complexity increasingly plagues the design and execution of large systems. High complexity generates unexpected interaction patterns and hard-to-find bugs. Building more reliable systems entails taming interactive complexity. As summarized in the poster, this project offers (i) architectural support for reducing interactive complexity, (ii) algorithms for verifying safety guarantees in the presence of unverified code, and (iii) algorithms for diagnosing root causes of performance problems.

Award ID: 1035736

  • University of Illinois
  • CPS Domains
  • Energy Sector
  • SCADA Systems
  • Systems Engineering
  • Critical Infrastructure
  • Validation and Verification
  • CPS Technologies
  • Education
  • Foundations
  • National CPS PI Meeting 2012
  • 2012
  • Poster
  • Academia
  • CPS PI MTG 12 Posters & Abstracts
Submitted by Lui Sha on