安全关键计算机系统

本书主要介绍了安全关键系统概论、关键技术的国际标准、安全关键系统的安全原理、危险和风险分析方法、安全关键系统的形式方法和需求工程、安全关键计算机系统的组成原理、安全关键计算机系统的软件以及安全关键计算机系统的验证等内容。本书主要围绕交通安全计算机控制系统的需要进行选材，并力求反映本学科在国际上的新成就。