The Ectokernel Approach: A Composition Paradigm for Building Evolvable Safety-critical Systems from Unsafe Components Download pdf Tags: 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 Academia Project Abstracts License: CC-2.5 Submitted by Tarek Abdelzaher on Thu, 11/03/2011 - 17:09