申请/专利权人：西门子工业软件有限责任公司

申请日：2019-10-18

公开（公告）日：2024-04-26

公开（公告）号：CN111078444B

主分类号：G06F11/07

分类号：G06F11/07

优先权：["20181018 EP 18201232.8"]

专利状态码：有效-授权

法律状态：2024.04.26#授权;2021.01.12#专利申请权的转移;2020.05.22#实质审查的生效;2020.04.28#公开

摘要：用于故障行为的安全分析的系统和方法。本发明涉及一种用于针对包括两个或更多部件（210、220、230）——其具有用于接收故障数据的至少一个输入端口（I）以及用于传输故障数据的一个输出端口（O）——的单元（200）的故障行为的安全分析的系统（100），其中为了分析部件（210、220、230）和或单元（200）的故障数据，使用安全契约（SC），并且其中通过基于模型的安全分析模型（SAM）来自动生成安全契约（SC），所述基于模型的安全分析模型（SAM）包括与单元200的部件（210、220、230）有关的分离的SAM模块（110、120、130）。

主权项：1.一种用于针对包括两个或更多部件210、220、230——其具有用于接收故障数据的至少一个输入端口I以及用于传输故障数据的一个输出端口O——的单元200的故障行为的安全分析的系统100，其中为了分析部件210、220、230和或单元200的故障数据，使用安全契约，并且其中通过基于模型的安全分析模型来自动生成安全契约，所述基于模型的安全分析模型包括与单元200的部件210、220、230有关的分离的SAM模块110、120、130，其中通过使用输入端口故障模式300来对在输入端口I处所接收的故障数据进行建模，并且通过使用输出端口故障模式400来对从输出端口O所传输的数据进行建模，其中通过基于模型的安全分析模型来限定输入端口故障模式300和输出端口故障模式400，并且其中通过假定和担保来限定安全契约，其中假定与输入端口故障有关，并且担保与输出端口故障有关。

全文数据：

权利要求：

百度查询： 西门子工业软件有限责任公司 用于故障行为的安全分析的系统和方法

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。

阅读全文 双屏查看 官方信息 专利公告 收藏专利 下载PDF 下载WORD