安全关键系统形式分析的增强框架

本文提出了一个增强的框架，用于正式分析安全关键系统（SCS）。 由于失败的风险很高，因此需要更加关注SCS的开发过程。 模型驱动方法是开发SCS以完成SCS应该执行的关键和复杂功能的方法之一。 两种模型驱动方法：统一建模语言（UML）和形式化方法结合在所提出的框架中，从而可以更严格地分析，设计和测试SCS的安全性，从而减少歧义并增强SCS的正确性和完整性。 为了验证所提出的框架，已经讨论了一个实时案例研究。