高完整性系统工程(一):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.
在正确的操作条件下使用的软件和硬件不会对人或环境造成不可接受的伤害。
高完整性系统工程(一):Intro Safety相关推荐
- 高完整性系统工程(一): Safety Engineering, HAZOP Fault Tree Analysis
目录 1. 因果性不等同于相关性 2. HAZOP 2.1 学习HAZOP 2.2 HAZOP概览 2.3 Assessing Hazard Risks 评估 2.4 示例场景 2.5 HAZOP G ...
- 高完整性系统工程(三): Logic Intro Formal Specification
目录 1. Propositions 命题 2.1 Propositional Connectives 命题连接词 2.2 Variables 变量 2.3 Sets 2.3.1 Set Operat ...
- 高完整性系统工程(九):Invariants
目录 1. INVARIANTS 1.1 例子 1.2 正式的证明 1. INVARIANTS 一个不变式需要满足以下三个属性: 当循环开始时,不变式是正确的 在每一次循环迭代之后,不变式仍然是正确的 ...
- 高完整性系统工程(四): Checking Formal Specifications
目录 1. Alloy Modelling Overview 2. 有限状态机(Finite State Machines) 3. 在Alloy中建模有限状态机(Modelling FSMs in A ...
- 高完整性系统工程(十一):Fault Tolerant Design
目录 1. INTRODUCTION TO FAULT TOLERANCE 1.2 Definitions 1.3 Two Kinds of Faults 1.4 Hardware vs Softwa ...
- 高完整性系统 (2):Requirement 与 Design 阶段的风险控制——Hazards, HAZOP, Fault Tree
文章目录 安全性工程流程 Hazards 反事实推理(CounterFactual Reasoning) 案例1 案例2 案例3 HAZOP: HAZARDS AND OPERABILITY STUD ...
- 高完整性系统(4)Formal Logic (形式逻辑和 Alloy 简介)
文章目录 Story so far 形式逻辑 命题 proposition 谓词 predicate 连接词 Variables Set 集合 Set operation 集合操作 Set Relat ...
- 【软件质量】软件完整性
文章目录 软件完整性 软件高可信 软件完整性 软件完整性意味着软件实现了要求的所有功能. 软件完整性也代表着软件的可信赖程度,其含义有多种解释.一种说法是,完整性等价于安全性,即对黑客和隐私侵犯的弹性 ...
- 智能汽车预期功能安全保障关键技术
本文作者邵文博.李骏.张玉新 由于性能局限.规范不足或可合理预见误用导致的预期功能安全问题层出不穷,严重阻碍了智能汽车的快速发展.本综述聚焦智能汽车预期功能安全保障关键技术,分别从系统开发.功能改进和 ...
最新文章
- 在CentOS 6.9上从源码安装Go 1.10
- 这样就能用MathType编辑^符号
- 这些Spring中的设计模式,你都知道吗?
- boost::hana::zip_shortest用法的测试程序
- 分布式文件系统HDFS,大数据存储实战(一)
- 机器字长、存储字长、指令字长
- 一步一步写算法(之排序二叉树的保存和加载)
- linux下的串口工具minicom、ckermit
- 高等代数期末考试题库及答案_高等代数Ⅱ答案期末答案
- 【GitHub】README.md文件中 markdown语法 插入超链接
- 保持健康和快乐的20种方法
- 15_微信小程序-BLE低功耗蓝牙开发-读写特征值
- python django实验室药物管理预警系统
- 自动驾驶职位选择和常见术语
- irst-missing-positive
- ffmpeg调整视频角度
- 秒杀项目之商品展示及商品秒杀
- 小机、数据库、存储选型应该注意的几个事项(摘自ORACLE高可用环境-陈吉平)
- MyBatis Plus的非主流用法
- 谷歌组件开发初尝试--Chrome Extensions