伊利耶斯·法尔科内(编辑);塞萨尔·桑切斯(编辑) 介绍运行时验证的特殊问题。 (英语) Zbl 1394.68005号 形式方法系统。设计。 53,编号1,1-5(2018). 摘要:本文介绍了2016年9月在西班牙马德里举行的第十六届运行时验证国际会议(RV 2016)参考文献中所选论文的扩展版本。运行时验证通常包括硬件、软件和系统执行的监控和分析的所有方面。运行时验证技术是一种轻量级的动态技术,用于在系统执行期间评估和实施正确性、可靠性和健壮性。这些技术比传统测试更强大、更通用,比详尽的正式验证更实用(以不完全覆盖为代价)。 MSC公司: 68-06 与计算机科学有关的会议记录、会议、收藏等 60年第68季度 规范和验证(程序逻辑、模型检查等) 00B15号机组 杂项特定利益物品的收集 关键词:运行时验证;监测;可靠性;追踪;仪器仪表 PDF格式BibTeX公司 XML格式引用 \textit{Y.Falcone}(编辑)和\textit{C.Sánchez}(主编),《形式方法系统》。设计。53,编号1,1--5(2018;Zbl 1394.68005) 全文: 内政部 参考文献: [1] Kim M、Viswanathan M、Ben-Abdallah H、Kannan S、Lee I、Sokolsky O(1999)正式规定了时间特性的监测。摘自:《第十一届欧洲微观实时系统会议记录》(ECRTS 1999),第114-122页。IEEE计算机学会 [2] Sokolsky O、Kannan S、Kim M、Lee I、Viswanathan M(1999)《基于监控和检查的实时系统指导》。在:第五届面向对象实时可靠系统国际研讨会论文集,WORDS’99,第11-18页。IEEE计算机学会 [3] Havelund K,Rosu G(2001)《使用重写监视程序》。摘自:第16届IEEE自动化软件工程国际会议论文集(ASE 2001),第135-143页。IEEE计算机学会 [4] Giannakopoulou D,Havelund K(2001),正在运行的程序中基于时间属性的自动验证。摘自:第16届IEEE自动化软件工程国际会议论文集(ASE 2001),第412-416页。IEEE计算机学会 [5] Viswanathan M,Kim M(2004)《反应系统运行时监控的基础——MaC语言的基础》。收录于:Zhiming L,Keijiro A(编辑)第一届国际计算理论研讨会(ICTAC 2004),LNCS第3407卷的修订论文。柏林施普林格,第543-556页·Zbl 1108.68527号 [6] Havelund K,Goldberg A(2005)验证你的跑步记录。收录:Bertrand M,Jim W(编辑)修订了第一届IFIP TC 2/WG 2.3验证软件:理论、工具、实验会议的论文和讨论(VSTTE 2005),LNCS第4171卷。柏林施普林格,第374-383页 [7] 勒克,M;Schallhart,C,《运行时验证简述》,J Log Algebr Program,78,293-303,(2009)·Zbl 1192.68433号 ·doi:10.1016/j.jlap.2008.08.004 [8] Falcone Y(2010)你应该更好地执行而不是验证。In:Barringer等人[18],第89-105页 [9] Falcone Y、Havelund K、Reger G(2013)《运行时验证教程》。收录于:Manfred B、Peled DS、Georg K(eds)Engineering reable software systems,《北约和平与安全科学》系列第34卷,d:信息与通信安全。IOS出版社,第141-175页 [10] Falcone Y、Jean-Claude F、Mounier L(2014)《关于一些运行时验证技术的表现力》。收录:Andrei V,Margarita VK(编辑)HOWARD-60:霍华德·巴林格60岁生日庆典,EPiC计算系列第42卷。EasyChair,第112-123页 [11] Bartocci E、Falcone Y、Francalanza A、Reger G.(2018)《运行时验证简介》。在:巴尔托奇,法尔科内[12],第1-33页 [12] Bartocci E,Falcone Y(eds)(2018)《运行时验证讲座——介绍性和高级主题》,LNCS第10457卷。施普林格 [13] Bartocci E、Deshmukh JV、DonzéA、Fainekos GE、Maler O、Dejan N、Sriram S(2018)《基于规范的网络物理系统监测:理论、工具和应用调查》。收录:巴托西,法尔科内[12],第135-175页 [14] Falcone Y、Mariani L、Rollet A、Saha S.(2018)《运行时故障预防和反应》。收录:巴托西,法尔科内[12],第103-134页 [15] Lourenço JM、Fiedor J、Krena B、Vojnar T(2018)《发现并发错误》。收录:巴托西,法尔科内[12],第34-60页 [16] Francalanza A,Pérez JA,Sánchez C(2018)分散和分布式系统的运行时验证。收录:巴尔托奇·法尔科内[12],第176-210页 [17] Colombo C,Pace GJ(2018)《金融交易系统运行时验证的行业经验:经验教训和长期挑战》。收录:巴托西,法尔科内[12],第211-232页 [18] Barringer H、Falcone Y、Finkbeiner B、Havelund K、Lee I、Pace GJ、Rosu G、Sokolsky O、Tillmann N(eds)(2010)《第一届运行时验证国际会议论文集》(RV 2010),LNCS第6418卷。柏林施普林格 [19] Bartocci E,Bonakdarpour B,Falcone Y(2014)第一届运行时验证软件国际竞赛。收录:Borzoo B,Scott AS(编辑)第五届运行时验证国际会议论文集(RV 2014),LNCS第8734卷。柏林施普林格,第1-9页 [20] Falcone Y、Nickovic D、Reger G、Thoma D(2015)2015年第二届运行时验证CRV国际竞赛。在:Ezio B,Rupak M(eds)《第六届运行时验证国际会议论文集》(RV 2015),LNCS第9333卷。柏林施普林格,第405-422页 [21] Reger G、HalléS、Falcone Y(2016)第三届运行时验证国际竞赛——2016年CRV。收录:Falcone,Sánchez[28],第21-37页 [22] Bartocci E、Falcone Y、Bonakdarpour B、Colombo C、Decker N、Havelund K、Joshi Y、Klaedtke F、Milewicz R、Reger G、Rosu G、Signoles J、Thoma D、Zalinescu E、Zhang Y(2017)第一届运行时验证国际竞赛:规则、基准、工具和2014年crv的最终结果。收录:《国际技术转让软件工具杂志》,2017年4月 [23] Reger G(2017)2017年RV-CuBES报告。收件人:Giles Reger和Klaus Havelund,RV-CuBES 2017编辑。《运行时验证工具的竞争、可用性、基准、评估和标准化国际研讨会》,2017年9月15日,美国华盛顿州西雅图,Kalpa计算机出版物第3卷,第1-9页。Easy椅子 [24] 科伦坡,Falcone Y(2016)第一所关于运行时验证的国际暑期学校——作为arvi COST行动1402的一部分。收录:Falcone,Sánchez[28],第17-20页 [25] Falcone Y,Zuck LD(2012)《运行时验证:应用程序视角》。Tiziana M,Bernhard S(ed)第五届国际研讨会论文集,利用正式方法、验证和验证技术的应用来掌握变化(ISoLA 2012),第一部分,LNCS第7609卷。柏林施普林格,第284-291页 [26] Falcone,Y;Zuck,LD,《运行时验证:应用程序视角》,STTT,17,121-123,(2015)·doi:10.1007/s10009-014-0360-z [27] Bartocci E,Falcone Y(2016)《运行时验证和实施,(工业)应用前景》(轨迹介绍)。摘自:第七届利用正式方法应用、验证和确认:讨论、传播和应用国际研讨会论文集(ISoLA 2016),第二部分,LNCS第9953卷,第333-338页 [28] Falcone Y,Sánchez C eds(2016)第16届运行时验证国际会议论文集(RV 2016),LNCS第10012卷。施普林格·Zbl 1192.68433号 [29] Goubault Larrecq J,Lachance J-P(2017)关于监测兰花特征的复杂性,以及递推方程。系统设计中的形式化方法·Zbl 1394.68180号 [30] Shi J、Lahiri SK、Chandra R、Challen G(2017)《不确定性下的无线协议验证》。系统设计中的形式化方法·Zbl 1394.68027号 [31] Kauffman S、Havelund K、Joshi R、Fischmeister S(2018)《推断事件流抽象》。系统设计中的形式化方法 [32] JakšićS、Bartocci E、Grosu R、Nguyen R、NićkovićD(2018)利用编辑距离对STL进行定量监测。系统设计中的形式化方法·兹比尔1394.68230 [33] Moreno C,Fischmeister S(2017)通过功耗进行非侵入式运行时监控,以增强嵌入式系统的安全性。系统设计中的形式化方法 [34] Rosu G(2018)有限跟踪线性时序逻辑:共导完备性。系统设计中的形式化方法·Zbl 1394.68237号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。