瓦卡尔·艾哈迈德;奥斯曼·哈桑;索菲涅·塔哈尔 智能电网变电站基于以太网的通信网络的形式可靠性和故障分析。 （英语） Zbl 1451.68057号 正式Asp。计算。 32，第1期，第71-111页（2020年）. 引用于1文件 MSC公司： 68米15 网络和计算机系统的可靠性、测试和容错 68M10个 计算机系统中的网络设计和通信 68伏15 定理证明（自动和交互式定理证明、演绎、解析等） 关键词：智能电网;可靠性框图;故障树;高阶逻辑;定理证明 软件：毫升;HOL公司 PDF格式BibTeX公司 XML格式引用 \textit{W.Ahmad}等人，正式Asp。计算。32，编号1，71--111（2020；Zbl 1451.68057） 全文： 内政部 参考文献： [1] 安德鲁斯，JD；Beeson，S.，Birnbaum的非相干系统元件重要性度量，IEEE Trans-Relib，52，2，213-219（2003） [2] Adamiak M、Baigent D、Mackiewicz R（2010）IEC 61850变电站通信网络和系统：用户概述。In：技术报告，SISCO Systems [3] 艾哈迈德·W·。；O.哈桑。；科伯，M。；Carette，J。；Kaliszyk，C。；拉贝，F。；Sorge，V.，《使用定理证明进行形式化故障树分析》，智能计算机数学会议，39-54（2015），柏林：斯普林格出版社，柏林·Zbl 1417.68174号 [4] 艾哈迈德·W·。；O.哈桑。；弗伦泽尔，M。；卡普尔，D。；詹，N.，高阶逻辑中故障树的形式化：深度嵌入方法，可靠软件工程：理论、工具和应用，264-279（2016），柏林：施普林格出版社，柏林·兹比尔1393.68034 [5] Ahmad W（2017）使用高阶逻辑定理证明的形式可靠性分析。巴基斯坦伊斯兰堡国立科学技术大学博士论文 [6] Ahmad W（2019）智能变电站中基于以太网的通信网络的形式可靠性分析，证明脚本。http://save.seecs.nust.edu.pk/smartgrids网站/ [7] 艾哈迈德·W。；O.哈桑。；Tahar，S.，《高阶逻辑中可靠性框图的形式化》，《应用逻辑杂志》，18，19-41（2016）·Zbl 1436.68390号 [8] 艾哈迈德·W·。；O.哈桑。；塔哈尔，S。；哈姆迪，理学硕士；瓦特，SM；JH达文波特；美联社塞克斯顿；Sojka，P。；Urban，J.，《走向油气管道的正式可靠性分析》，智能计算机数学会议，30-44（2014），柏林：施普林格，柏林·Zbl 1304.68151号 [9] 艾哈迈德·W·。；O.哈桑。；塔哈尔，S。；Hamdi，MS，《油气管道的正式可靠性分析》，Proc Inst Mech Eng Part O J Risk Reliab，232，3，320-334（2018） [10] ASENT，RBD分析工具。https://www.raytheoneagle.com/asent/rbd.htm。2019年9月5日访问 [11] 阿里，I。；托马斯，理学硕士；古普塔，S。；Hussain，SMS，IEC 61850高效能源系统自动化变电站通信网络架构，能源技术政策，2，1，82-91（2015） [12] Bilinion，R。；Allan，RN，《工程系统可靠性评估》（1992），柏林：施普林格出版社，柏林·Zbl 0837.62074号 [13] 波扎诺，M。；Cimatti，A。；Katoen，J。；Nguyen，V。；诺尔·T。；Roveri，M。；布思，B。；Rabe，G。；Seyfarth，T.，指南针方法：航空航天系统的正确性、建模和性能，计算机安全、可靠性和安全性，173-186（2009），柏林：施普林格，柏林 [14] Benthem，合资公司；多茨，K。；加巴伊，D。；Guenthner，F.，《高阶逻辑》，哲学逻辑手册，275-329（1983），宾夕法尼亚州：IGI Global，宾夕法尼亚州·Zbl 0875.03036号 [15] 巴布，S。；Hilber，P。；Jürgensen，JH，《关于电力系统一次和二次设备可靠性研究的现状，电力系统应用的概率方法》，2014年7月7日至10日，1-6日，达勒姆：IEEE，达勒谟 [16] Birolini，A.，《可靠性工程：理论与实践》（2004），柏林：施普林格出版社，柏林 [17] 比斯图尼，F。；Jahanshahi，M.，《确定洗牌交换网络中开关元件的可靠性重要性》，国际J并行应急配电系统，4，1-29（2018） [18] 拜尔，C。；Katoen，JP，《模型检验原理》（2008），纽约：麻省理工学院出版社，纽约·Zbl 1179.68076号 [19] Brown，CE，《高阶逻辑中的自动推理：Church类型理论中的集合理解和外延》（2007），查尔斯顿：大学出版社，查尔斯敦·Zbl 1206.03014号 [20] Blackett AW、Teachman ME、Forth BJ（2005）《智能电子设备的通信体系结构》。美国专利6944555 [21] Chen，SG，联合事件概率的简化递归包含-排除原则，工业工程和工程管理国际会议，2014年12月9日至12日，11-13日，Bandar Sunway:IEEE，Bandar-Sunway [22] Church，A.，《简单类型理论的形成》，J Symb Logic，556-68（1940） [23] 陈，L。；张凯。；夏，Y。；Hu，G.，智能变电站变电站区域后备保护通信网络的结构设计与性能分析，Przeglkad Elektrotechniczny，89，5，182-186（2013） [24] Elleuch，M。；O.哈桑。；塔哈尔，S。；阿比德，M。；秦，S。；邱，Z.，无线传感器网络调度算法的形式化分析，形式化工程方法，388-403（2011），柏林：施普林格出版社，柏林 [25] Fitting，F.，一阶逻辑和自动定理证明（1996），纽约：Springer，纽约·Zbl 0848.68101号 [26] 通用电气公司Gallasch；比林顿，J。；Valmari，A.，分析无限类停止等待协议的参数状态空间，模型检查软件，201-218（2006），柏林：Springer，柏林·Zbl 1178.68342号 [27] MJC戈登；Melham，TF，《HOL高阶逻辑定理证明环境简介》（1993），剑桥：剑桥出版社，剑桥·Zbl 0779.68007号 [28] MJC戈登；Birtwistle，G。；Subrahmanyam，PA，高阶逻辑中的机械化编程逻辑，硬件验证和自动定理证明的当前趋势，387-439（1989），柏林：施普林格，柏林 [29] CLA集团。配置基准库（CLib）。Aralia Fault Trees，哥本哈根信息技术大学。https://www.itu.dk/research/cla/externals/clib/。2019年9月5日访问 [30] Harrison J（1996）形式化数学。芬兰图尔库计算机科学中心技术报告36 [31] Harrison，J.，《实用逻辑和自动推理手册》（2009），剑桥：剑桥大学出版社，剑桥·Zbl 1178.03001号 [32] Hajian-Hoseinabadi，H.，自动化控制系统对变电站可靠性的影响，IEEE Trans-Power Deliv，26，3，1681-1691（2011） [33] 霍尔兹尔，J。；海勒，A。；van Eekelen，M。；Geuvers，H。；Schmaltz，J。；Wiedijk，F.，《Isabelle/HOL中的测度理论三章》，交互式定理证明，135-151（2011），柏林：施普林格出版社，柏林·Zbl 1342.68287号 [34] 亨利，EJ；熊本，H.，可靠性工程和风险评估（1981），新泽西州：普伦蒂斯·霍尔恩格尔伍德悬崖，新泽西 [35] O.哈桑。；塔哈尔，S。；Pfenning，F.，连续概率分布的形式化，自动推导，3-18（2007），柏林：施普林格出版社，柏林·Zbl 1213.68570号 [36] O.哈桑。；Tahar，S.，使用定理证明器的ARQ协议性能分析，系统和软件的性能分析，2008年4月20日至22日，85-94（2008），奥斯汀：IEEE，奥斯汀 [37] O.哈桑。；Tahar，S.，《信息科学与技术百科全书》，章节形式验证方法，7162-7170（2014），宾夕法尼亚州：IGI Global，宾夕法尼亚州 [38] Hurd J（2003）概率算法的形式验证。剑桥大学博士论文·Zbl 1048.68051号 [39] IEC 61850标准。采用正式方法，根据IEC 61508进行嵌入式软件开发和验证。https://www.eschertech.com/standards/iec61508.php。2019年9月5日访问 [40] 国际电工委员会（IEC）：61025故障树分析。(2006). https://webstore.iec.ch/publication/43112019年9月5日访问 [41] Khurram，A。；阿里·H。；塔里克，A。；哈桑，O。；佩彻，C。；Dierkes，M.，配电系统中保护继电器的形式可靠性分析，工业关键系统的形式方法，169-183（2013），柏林：施普林格出版社，柏林 [42] 库马尔，P。；Lin，Y。；Bai，G。；Paverd，A。；Dong，JS；Martin，A.，《智能电网计量网络：安全、隐私和开放研究问题调查》，IEEE Commun Surv Tutor，21，3，2886-2927（2019） [43] Kwiatkowska，M。；诺曼，G。；帕克，D。；Iyengar，MS，系统生物学概率模型检查，符号系统生物学：理论和方法，31-59（2010），伯灵顿：琼斯和巴特利特 [44] 卡纳巴尔，MG；Sidhu，TS，基于IEC 61850的变电站通信架构的可靠性和可用性分析，电力和能源协会大会，2009年7月26日至30日，1-7日，卡尔加里：IEEE，卡尔加里 [45] 克莱纳，A。；Volovoi，V.，《petri网在部分检测和维修乘员安全系统可靠性预测中的应用》，Reliab Eng Syst Saf，95，6，606-613（2010） [46] Mackiewicz RE（2006）IEC 61850概述和优点。参加：电力系统会议和展览会。IEEE，第623-630页 [47] Murphy K、Carter C、Grimes E、Malerich A（2019）RAPTOR 7.0教程手册，http://raptorddr.com/pb/wp-content/uploads/2017/01/Raptor-User-Manual-20130607.pdf2019年9月5日访问 [48] Mhamdi，T。；O.哈桑。；塔哈尔，S。；考夫曼，M。；Paulson，LC，关于HOL中lebesgue积分理论的形式化，交互式定理证明，387-402（2011），柏林：Springer，柏林·Zbl 1291.68362号 [49] Milner，R.，《编程中的类型多态性理论》，《计算机系统科学杂志》，第17期，第348-375页（1977年）·Zbl 0388.68003号 [50] Martins，J。；Platzer，A。；Leite，J。；秦，S。；邱，Z.，具有智能电网应用的分布式概率控制混合自动机的统计模型检查，形式化方法和软件工程，131-146（2011），柏林：施普林格出版社，柏林 [51] 微软全国广播公司。纽约市停电成本（10亿，（2003年）http://www.andersoneconomicgroup.com/LinkClick.aspx？link=upload/Doc298.pdf。2011年9月5日访问 [52] Narasimhan，K.，《可靠性工程：理论与实践》，TQM Mag，17，2，209-210（2005） [53] Niyato博士。；王，P。；Hossain，E.，用于需求侧管理的智能电网无线通信系统的可靠性分析和冗余设计，IEEE wireless Commun，19，3，38-46（2012） [54] 奥利瓦，J。；Llanes，J.等人。；Ojeda，M。；Valle，A.，求解复杂故障树的高级组合方法，Anna Nucl Energy，120666-681（2018） [55] Ortmeier，F。；Schellhorn，G.，《形式故障树分析-实践经验》，电子笔记Theor Compute Sci，185139-151（2007）·Zbl 1335.68146号 [56] Paulson，LC，ML for the working programmer（1996），剑桥：剑桥大学出版社，剑桥·Zbl 0863.68032号 [57] 佩林，R。；沃德·D。；哈布利，I。；Rivett，R.，ISO 26262安全案例：合规性和保证，国际系统安全会议，2011年9月20日至22日，1-6日，伯明翰：IEEE，伯明罕 [58] ReliaSoft。http://www.reliasoft.com/。2019年9月5日访问 [59] ReliaSoft。系统分析参考：可靠性、可用性和优化。技术报告技术报告，ReliaSoft Corporation，USA，（2015）http://www.synthesisplatform.net/references/System_Analysis_Reference.pdf。2019年9月5日访问 [60] Rose L，Ivaldi G（2009）环快速生成树协议，美国专利7564779 [61] 罗比多·R。；Xu，H。；Xing，L。；Zhou，M.，使用有色petri网对动态可靠性框图进行自动建模，IEEE Trans-Syst Man-Cybern Part A Syst Hum，40，2，337-351（2010） [62] Signoret，JP；Dutuit，Y。；PJ Cacheux；Folleau，C。；Collas，S。；Thomas，P.，《让你的petri网易于理解：可靠性框图驱动的petri网络》，Reliab Eng Syst Saf，113，61-75（2013） [63] Trivedi，KS，《可靠性、排队和计算机科学应用的概率和统计》（2002），霍博肯：威利 [64] 瓦夫勒，J。；Heegaard，PE，智能电网可靠性分析的组合结构和动态建模方法，应用计算研讨会，3月18日至22日，660-665（2013），科英布拉：ACM，科英巴拉 [65] Yu，R。；陈，Y。；潘，J。；Vesel，RW，《变频驱动工业电网的通用可靠性评估方法》，能源动力工程，5，4，83（2013） [66] Yuksel，E。；朱，H。；尼尔森，人力资源；黄，H。；Nielson，F.，《智能电网建模与分析：随机模型检验案例研究》，软件工程理论方面国际研讨会，2012年7月4-6日，25-32日，北京：IEEE，北京 [67] 曾，R。；姜瑜。；林，C。；Shen，X.，使用随机petri网对智能电网中控制中心网络的可靠性分析，IEEE跨并行分布系统，23，9，1721-1730（2012） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。