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 Poster Academia Poster Session: Day 1 License: CC-2.5 Submitted by Tarek Abdelzaher on Wed, 11/02/2011 - 13:10