高完整性系统工程（一）：Intro & Safety

制作满足用途的大型软件的方法

Criteria（标准）

• Security 安全性
• Correctness 正确性
• Performance 绩效
• Reliability 可靠性
• Usability 可用性
• Scalability 可扩展性
• Time to market 进入市场的时间
• Development cost 开发成本

Methods (方法)

• Requirements analysis 需求分析
• Design 设计
• Testing 测试
• Reviews (code, design, requirements) 审查（代码、设计、需求）
• Prototyping 原型设计
• Formal Analysis 正式分析

系统失败会带来的问题

• Loss of life
• Loss of money
• Environmental damage
• Loss of mission
• Loss of privacy

Safety

• What is “safety”?
• What does it mean for software?
• How do we get it? (safety engineering)

Doesn’t cause unacceptable harm to the environment or people

安全从一方面来说就是不会对人和环境造成不可接受的伤害

而如何定义和量化不可接受性是安全工程的重要组成部分

软件本身不会伤害到任何人，只有在合适的情况下，作为一个更大系统的一部分，会产生安全问题

精准的定义：

software and hardware used under correct operating conditions don’t cause unacceptable harm to people or environment.

在正确的操作条件下使用的软件和硬件不会对人或环境造成不可接受的伤害。