《信息物理系统的安全性:使用基于原理的开发设计可靠的软件​(Safety and Security of Cyber-Physical Systems: Engineering dependable Software using Principle-based Development)》

作者:

日期:2023-01-31

出版:

  • 106
  • 0
  • 0

作品总结

信息物理系统的安全性:使用基于原理的开发设计可靠的软件(Safety and Security of Cyber-Physical Systems: Engineering dependable Software using Principle-based Development)》

信息物理系统(CPS,Cyber-physical systems)由软件控制的计算设备组成,这些设备相互通信并通过传感器和执行器与物理世界进行交互。典型的例子是水处理厂、无人机和心脏起搏器。由于大多数功能都是在软件中实现的,因此这种软件对于CPS的安全性至关重要。
随着软件工程变得规范和成熟,普遍接受的原则已经出现。本书提倡基于原理的工程学来开发和操作可靠的软件。总共介绍62项原则并将其编入五类:业务与组织,一般原则,安全,安保和风险管理原则。这些原则是严谨的、可教的和可执行的。所使用的术语是精确定义的。该材料得到了大量例子的支持,并得到了该领域名人的说明性引述的丰富。

本书中的材料面向希望改进其方法的组织,以便为关键任务网络物理系统构建安全可靠的软件,适用于技术大学的两学期高级计算机科学讲座。
本书的主要内容介绍:

  • 提出管理任务关键型网络物理系统中的漏洞、威胁和故障的成功战略
  • 为基于原理的软件开发提供深入的实践见解
  • 为软件经理和架构师提供有关构建可靠的网络物理系统的直接指导

0条评论