![]()
内容推荐 本书第一部分聚焦于基础知识,描述了IoT中的系统如何超出ISO/IEC/IEEE15288中“互操作元素的组合以达到一个或多个所述目标”的定义,包括那些可感知、交互及塑造其周围世界的事物。第二部分讲述了一系列安全与防护的观点,这部分以IoT系统安全防护设计过程中考虑攻击者意图的重要性作为开端。第三部分描述了如何将第一部分和第二部分的概念应用于实际,并将云计算和智能电网作为主要用例。 作者简介 爱德华·格里弗尔,Edward Griffor博士,是美国商务部国家标准和技术研究所(NIST)信息物理系统副主任。在2015年7月加入NIST之前,担任沃特P.克莱斯勒公司技术会士,这是汽车行业最高的技术职务之一,在运输、航空、科学、防御、能源和医疗等诸多工业领域也有同类职务。直到2015年前,他担任克莱斯勒公司技术委员会主席,后续担任麻省理工学院(MIT)联盟主席,这是在MIT培训联合科学家、工程师、商业专家的专业联盟。 他在MIT完成数学博士学习,并被奥斯陆大学授予数学与工程特聘教授。1980年,获得瑞典国家科学基金/北约科学与工程博士后。1980年至1997年,任瑞典乌普萨拉大学教师,随后返回美国领导汽车行业的电气工程前沿研究。 他历任挪威奥斯陆大学、瑞典乌普萨拉大学、智利圣地亚哥天主教大学的教职,以及美国哈佛大学、MIT、塔夫茨大学的教职。Edwa~Griffor博士被认为是世界级专家,采用数学方法进行技术设计和保障,用于高级、自适应信息物理系统开发以及自动系统的安全与防护。在克莱斯勒公司工作期间,领导了生物系统建模与仿真。他是密歇根州底特律市韦恩州立大学医学院分子医学和遗传学中心副教授。 他在汽车工业的工作为语音识别和自主互连汽车提供了先进算法。他曾出版3本专著,包括《可计算手册》《域理论》《逻辑的遗失天赋:GerhardGentzen生平》;在专业期刊发表大量论文,并多次在美国数学协会、符号逻辑协会、北美软件认证协会、汽车工业协会、联邦储备银行,以及NIST、DARPA、DOE、DOT、NASA等美国政府各部门等进行演讲报告。 目录 第一部分 系统介绍 第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 定向威胁评估 第三部分 系统安全与防护的应用 关于编者 贡献者简介 |