High-Integrity Systems
Cost of failure is extremely high
Lives lost (Defense, Aerospace)
Money stolen (Finance)
Development typically 5 times more
expensive than “normal” software