The Ectokernel Approach: A Composition Paradigm for Building Evolvable Safety-critical Systems from Unsafe Components Download Tags: CPS Domains Energy Sector SCADA Systems Systems Engineering Critical Infrastructure Validation and Verification CPS Technologies Education Foundations National CPS PI Meeting 2013 Poster Academia CPS PI Poster Session License: CC-2.5 Submitted by Tarek Abdelzaher on Mon, 10/28/2013 - 14:45