600.436
High-Assurance Systems
Fall 01/Introduction
10
So This Whole Picture…
Architecture (1ox)
Design (100x)
Rigorous Model (?)
Implementation (1,000x)
Validation/QA (10,000x)
Delivery (100,000x)
Acceptance (1,000,000x)
Deployment (10,000,000x)
Design
Develop
Deploy
(Cheap)
(Bankrupt)
Requirements (1x)
Release
Feedback
Cycle