{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2024,3,3]]，“日期-时间”：“2024-03-03T09:34:29Z”，“时间戳”：1709458469401}，“引用-计数”：0，“发布者”：“人工智能发展协会（AAAI）”，“问题”：“1”，“内容域”：{“域”：[]，“交叉标记限制”：false}，“short container-title”：[“AAAI”]，“抽象”：“\时间故障传播图（TFPG）用于安全关键系统的设计，作为故障传播建模的一种方式，并用于评估和实施诊断系统。TFPG是一种非常丰富的形式主义：它们允许对故障和事件的布尔组合进行建模，也依赖于系统的操作模式和它们之间的定量延迟。TFPG通常是从更复杂的给定动态系统中手动生成的，作为特定故障条件下系统行为的抽象表示。本文解决了这一过程中的两个关键问题：第一，如何确保在TFPG中没有忽略系统的重要行为，并且没有引入虚假的、不存在的行为；其次，如何为事件之间的延迟设计正确的值。我们提出了一种模型检查方法来自动验证给定无限状态动态系统的TFPG的完整性和紧密性，并提出了一个自动合成延迟参数的过程。建议的方法是根据一些综合和工业基准进行评估的。\n\n<\/jats:p>“，”DOI“：”10.1609\/aaai.v30i1.10094“，”type“：”journal-article“，”created“：{”date-parts“：[[2022,6,24]]，”date-time“：”2022-06-2T06:02:40Z“，”timestamp“：1656050560000}，”source“：“Crossref”，“is-referenced-by-count”：6，“title”：[“故障传播模型的自动验证和拧紧”]，“前缀”：“10.1609”，“卷”：“30“，”author“：[{”given“：”Benjamin“，”family“：”Bittner“，”sequence“：”first“，”affiliation“：[]}，{”fixed“：”Marco“，”家族“：”Bozzano“，”序列“：”additional“，”filiation”：[]{“given”：“Alessandro”，“family”：“Cimatti”，“sequence”：“additional”，“affiliance”：[]}，“giveni”：“Gianni”，“家族”：“Zampedri”，“序列”：“附加”，“从属关系“：[]}]，”成员“：”9382“，”published-online“：{“date-parts”：[[2016,2,21]]}，“container-title”：[“AAAI人工智能会议记录”]，“原始标题”：[]，“链接”：[{“URL”：“https:\/\/ojs.AAAI.org\/index.php\/AAAI\/article\/download\/10094\/9953”，“内容类型”：“application\/pdf”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“网址”：“https:\/\/ojs.aaai.org\/index.php\/aaai\/article\/download\/10094\/9953“，”内容类型“：”未指定“，”content-version“：”vor“，”intended-application“：”相似性检查“}]，”存放“：{”日期部分“：[2022,6,24]]，”日期时间“：”2022-06-2T06:02:41Z“，”时间戳“：1656050561000}，”分数“：1，”资源“：”{“主要”：{“URL”：“https:\/\/ojs.aaai.org\/index.php\/aaai\/article\/view\/10094“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[2016,2,21]]}，“references-count”：0，“日记发布”：{“发布”：“1”，“发布在线”：{“日期部分”：[[2016，2,18]]}}、“URL”：“http://\/dx.doi.org\/10.1 609 \/aaai.v30i1.10094“，”关系“：{}，”ISSN“：[”2374-3468“，”2159-5399“]，”ISSN-type“：[{”value“：”2374-3468“，”type“：“电子”}，{“value”：“2159-5399”，“type”：”print“}]，“subject”：[]，“published”：{“date-parts”：[[2016,2,21]]}}}