洛拉 swMATH ID: 46322 软件作者： D’Angelo，B。；等。 描述： LOLA：同步系统的运行时监控。我们提出了一种用于同步系统（包括电路和嵌入式系统）在线和离线监测的规范语言和算法。这种监视不仅对测试有用，而且在实际部署中也有用。规范语言简单易懂；它可以描述正确性/失败断言以及对系统概要分析和覆盖率分析有用的有趣的统计度量。该语言中用于在线监视查询的算法遵循部分求值策略：它从输入流增量构造输出流，同时为前向引用维护部分求值表达式的存储。我们确定了一类具有语法特征的规范，对于这些规范，算法的内存需求与输入流的长度无关。在大型输入流的在线监控中，能够绑定内存需求尤其重要。我们扩展了在线算法中使用的概念，构建了一种高效的大轨迹离线监测算法。我们已经实现了我们的算法，并将其应用于两个工业系统，PCI总线协议和内存控制器。结果表明，我们的算法是实用的，并且我们的规范语言具有足够的表达能力，可以处理行业感兴趣的规范。 主页： https://home.cs.colorado.edu/~srirams/papers/time05.pdf 关键词： 运行时;规范语言;状态监测;电气设备行业;嵌入式系统;电路测试;故障分析;工业控制;协议;控制系统 相关软件： 拖把;蒙保利;Java MOP语言;TeSSLa公司;卢斯特;德贾武;github;MONA公司;天线;酯类;副驾驶员;信号;幼虫;Java MaC语言;ModelPlex公司;AMT公司;SpaceEx公司;嘟嘟嘟嘟;电报CQ;日本运通银行 引用于： 24文件 全部的 前5名59位作者引用 5 David A.Basin。 5 阿德里安·弗兰卡兰扎 4 Sr Djan Krstić 4 塞萨尔·桑切斯 4 德米特里·特雷特尔 三 克劳斯·哈维隆德 三 马丁·勒克 三 Doron A.Peled。 2 克里斯蒂安·科伦坡 2 费利克斯·克莱特克 2 戈登·佩斯。 2 马丁·拉西克 2 尤根·兹利内斯库 1 帕特里克·阿贝拉 1 卢卡·埃特罗 1 安东尼斯·阿奇利奥斯 1 沃尔夫冈·阿伦特 1 埃齐奥·巴托西 1 亚历克西斯·贝达德 1 巴拉戈·纳加拉贾·巴特 1 多梅尼科·比安库利 1 劳拉·博泽利 1 卢卡斯修道院 1 蒂鲍特·达迪尼尔 1 伊利耶斯·法尔科内 1 费利佩·戈罗斯蒂亚加 1 霍尔，西尔万 1 卢卡斯·海姆斯 1 塞巴斯蒂安·亨格瑞克 1 Anna Ingólfsdóttir 1 汉内斯·卡尔维斯 1 卡罗琳娜·莱赫蒂宁 1 Lourenço，Joáo M。 1 康斯坦蒂诺斯·马穆拉斯 1 马里诺维奇，Srdjan 1 科托·N·马斯克。 1 斯特凡·米奇 1 塞缪尔·米勒 1 丹尼尔·奈德 1 德扬·尼科维奇 1 莫兰·奥马尔 1 安德烈·普拉泽 1 阿德里安·里斯科 1 胡安·罗德里格斯·霍塔拉 1 若泽·鲁菲诺 1 克里斯蒂安·夏尔哈特 1 托本·谢菲尔 1 麦尔特·施密茨 1 杰拉尔多·施奈德 1 Joshua P.施耐德。 1 马克西米利安·施温格 1 塞舌尔，奥尔德林 1 辛戈尔斯，朱利安 1 保罗·塔布阿达 1 丹尼尔·托马 1 多根·乌卢斯 1 亚历山大·韦内特 1 亚历山大·韦斯 1 马丁·齐默尔曼 全部的 前5名6篇连载文章中引用 9 系统设计中的形式化方法 2 信息与计算 1 理论计算机科学 1 美国医学会杂志 1 逻辑与代数程序设计杂志 1 逻辑程序设计理论与实践 在3个字段中引用 24 计算机科学（68至XX） 7 数学逻辑和基础（03-XX） 1 系统论；控制（93至XX） 按年份列出的引文