安全性验证设备和安全性验证方法

摘要

本发明提供一种安全性验证设备和一种安全性验证方法，其能够验证准备用于实现安全性测量所需的所有元素的能力。在此安全性认证设备和方法中，基于安全性要求信息选择验证项目，基于待实现的安全性的模型生成验证项目所标识的部分的安全性要求信息，基于根据验证项目中所包括的实现模型而提取的能力项目而生成表示待实现的安全性的模型中所包括的部分的安全性保持能力的信息，并且输出对关于部分的安全性要求信息与表示保持能力的信息进行比较的验证结果。