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

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