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

  • University of Illinois at Urbana-Champaign
  • CPS Domains
  • Energy Sector
  • SCADA Systems
  • Systems Engineering
  • Critical Infrastructure
  • Validation and Verification
  • CPS Technologies
  • Education
  • Foundations
  • National CPS PI Meeting 2011
  • Poster
  • Academia
  • Poster Session: Day 1
Submitted by Tarek Abdelzaher on