[发明专利]用于分析逻辑电路的方法有效
| 申请号： | 201610799890.6 | 申请日： | 2016-08-31 |
| 公开（公告）号： | CN106484945B | 公开（公告）日： | 2020-04-10 |
| 发明（设计）人： | B.菲舍尔;M.马奇尼希;H.陶歇尔 | 申请（专利权）人： | 西门子公司 |
| 主分类号： | G06F30/30 | 分类号： | G06F30/30;G06F30/327;G06F30/343;G06F30/398;G06F21/57;G06F21/76 |
| 代理公司： | 中国专利代理(香港)有限公司 72001 | 代理人： | 张凌苗;刘春元 |
| 地址： | 德国*** | 国省代码： | 暂无信息 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 用于分析逻辑电路的方法。本发明涉及包括多个部件和用于部件间的数据互换的通道的逻辑电路的方法，其中为了模拟逻辑电路运行方式，在电路模型中给每个部件和通道指派功能性质。在该情况下在方法的部分中通过安全分析机制以相应部件或通道被指派至少一个定义的安全性质且安全相关数据被链接到至少一个定义的安全要求和安全状态的方式来扩展电路模型。在方法的进一步部分中依靠模拟单元执行方法步骤：检查相应部件和/或通道的安全性质是否对应于安全相关数据的安全要求且如果不对应则生成安全风险报告；将所建模的攻击应用到部件和/或通道；确定相应部件和/或通道的安全性质对应用的攻击的脆弱性且如果存在安全性质的脆弱性则生成攻击报告。 | ||
| 搜索关键词： | 用于 分析 逻辑电路 方法 | ||
【主权项】：
一种用于分析逻辑电路的方法，所述逻辑电路包括多个部件（3、3'、3''、3'''）和用于部件（3、3'、3''、3'''）之间的数据的互换的通道（5、5'），其中为了模拟逻辑电路运行的方式，在电路模型（1）中给每个部件（3、3'、3''、3'''）和每个通道（5、5'）指派功能性质，特征在于，在方法的部分中通过用于安全分析的机制以相应的部件（3、3'、3''、3'''）或相应的通道（5、5'）被指派至少一个定义的安全性质（6）并且安全相关数据（16、16'、16''）被链接到至少一个定义的安全要求（8）和安全状态的方式来扩展电路模型（1），并且在方法的进一步部分中依靠模拟单元（9）执行以下方法步骤：–检查相应的部件（3、3'、3''、3'''）和/或相应的通道（5、5'）的安全性质（6）是否对应于安全相关数据（16、16'、16''）的安全要求（8）并且如果其不对应于所述安全要求（8）则生成安全风险报告，–将所建模的攻击（10、11、12、13）应用到部件（3、3'、3''、3'''）和/或应用到通道（5、5'），–确定相应的部件（3、3'、3''、3'''）的和/或相应的通道（5、5'）的安全性质（6）对所应用的攻击（10、11、12、13）的脆弱性，并且如果存在安全性质（6）的脆弱性，则生成攻击报告（18）。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于西门子公司，未经西门子公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201610799890.6/，转载请声明来源钻瓜专利网。
