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

Download

Abstract:

The goal of this project is to develop a tool-chain for composition of safety-critical cyber-physical systems from a small code base of verified components and a large code base of unverified commercial off-the- shelf components. Unlike tool-chains that aim to deliver end-to-end verified component code, starting from formal languages, specifications, or models, an explicit goal of this project is to accommodate large amounts of legacy code that is typically too complex to verify.

  • automotive applications
  • data reliability
  • software reliability
  • University of Illinois
  • Architectures
  • Architectures
  • Automotive
  • CPS Domains
  • Energy Sector
  • SCADA Systems
  • Concurrency and Timing
  • Control
  • Systems Engineering
  • Critical Infrastructure
  • Transportation
  • Validation and Verification
  • CPS Technologies
  • Education
  • Foundations
  • National CPS PI Meeting 2014
  • 2014
  • Abstract
  • Poster
  • Academia
  • CPSPI MTG 2014 Posters, Videos and Abstracts
Submitted by Tarek Abdelzaher on