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

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

【技术实现步骤摘要】
【国外来华专利技术】

【技术保护点】

【技术特征摘要】
【国外来华专利技术】...

【专利技术属性】
技术研发人员：小泉纯，
申请(专利权)人：日本电气株式会社，
类型：
国别省市：