Component Composition for Embedded Systems Using Semantic….ppt

Acceptability-Oriented Computing Martin Rinard Laboratory for Computer Science Massachusetts Institute of Technology Traditional View of Correctness Traditional View of Correctness Acceptability View Acceptability View Acceptability View Acceptable Execution Fail Stop Execution Safe Exit Execution Resilient Computing Execution Questions How to identify acceptability envelope? Set of acceptability properties Basic properties that any execution must satisfy to be acceptable How to ensure program stays within envelope? Acceptability monitoring Acceptability enforcement Resilient Computing Execution Proposed Structure Proposed Structure Proposed Structure Proposed Structure Proposed Structure Proposed Structure Proposed Structure Proposed Structure Monitoring and Enforcement Mechanisms Black Box Do not affect core Input/output filters and correlators White Box – New code and data into core Gray Box No change to core program Can change data structures and control flow Mechanisms Procedure call and system call interception Ptrace interface, mmap to access address space Reason for Acceptability-Oriented Computing:Difficulty of Delivering Perfect Software Difficulty in all areas of development effort Understanding domain, obtaining requirements Producing specification, developing software Change Aspiration of Development Process Accept inevitability of imperfection Goal is to deliver acceptable program Augment Development Activities Identify crucial acceptability properties Ensure that program does not violate them Aspiring to Perfection Recognized as Harmful Defocuses development effort All parts seen as equally important No formal way to direct development effort to most important parts of code Produces brittle structure Each piece of functionality implemented Once (no redundancy) Completely (hard and easy parts together) No recovery or protection mechanisms Program completely vulnerable to any error Advantages of Acceptability-Oriented Computing Focused, prioritized