系统安全与防护指南

**部分 系统介绍
第1章 概述
1．1 更宽广目标的系统安全与防护指南的需求
第2章 信息物理系统的组成和组合性
2．1 信息物理系统概述
2．2 OpenMETA工具套件中的横向集成平台
2．3 AVM组件模型
2．4 语义集成的用例
2．5 动力学的组件接口和组合语义
2．6 建模语言语义接口的形式化
2．7 小结
致谢
参考文献
第3章 领域专家主导的基于模型开发的软件工程
3．1 软件工程简介
3，2开发过程：如何进行软件设计开发
3．2．1 软件工程阶段及领域专家参与
3．2．2 工具的重要性
3．2．3 案例：传输控制软件
3．3 需求：软件应做什么
3．3．1 良好的需求非常重要
3．3．2 需求规范的目的及其使用者
3．3．3 Simulink模型不是需求
3．3．4 当前需求规范面临的问题
3．3．5 需求规范编制者
3．3．6 需求规范的内容
3．4 设计：软件将如何去做
3．4．1 设计与需求的区别
3．4．2 软件设计的重要原则
3．4．3 Simulink对于软件工程原理应用的支持
3．4．4 指南的作用
3．4．5 软件设计文档
3．4．6 模型文档
3．4．7 当前软件设计文档存在的问题
3．5 实现：生成代码
3，5．1 代码生成对于MBD的成功至关重要
3．5．2 代码生成的限制
3．6 确认与验证：如何确知软件有效
3．6．1 为何早期验证非常重要？MBD是否有用？
3．6．2 测试软件与测试其他工程产品的区别
3．6．3 如何选择测试，何时停止测试
3．6．4 MBD中的其他验证技术
3．7 小结
参考文献

第二部分 安全与防护观点
第4章 进化的安全
4．1 信息物理系统的安全需求
4．1．1 黑客能力和系统复杂性
4．1．2 增强系统安全性
4．1．3 风险与资产余额
4．2 新的对手模型
4．2．1 攻击面
4．2．2 攻击面加权
4．2．3 攻击入口点
4，2．4 基于角色的访问
4．2．5 资源访问
4．3 “互连”系统安全建模
4．4 定向威胁评估
……
第三部分 系统安全与防护的应用
关于编者
贡献者简介