600.436
High-Assurance Systems
Fall 01/Introduction
4
Phases Defined (2)
¨Implementation
–Embodiment of the design in the target technology
–The part Christian Scheideler hates L
¨Validation/QA
–Comparison of the implementation behavior against the semantics of the architecture and the specifications of the design
¨Delivery
–The means by which the trusted software gets to the customer
–Issues: man in the middle, integrity