摘要： ​安全关键系统（Safety-Critical System，SCS）是指由于某些行为或组合行为能够引发整体系统失效，继而导致财物损失、人员受伤等严重影响的系统，诸多安全关键领域如航空航天、核电系统、医疗设备、交通运输等领域的系统都属于安全关键系统，而这些系统中大部分核心功能是由软件实现的。 当前正 阅读全文