Sound Concurrent Traces for Online Monitoring

监视并发程序通常依赖于收集抽象程序执行的跟踪。然而，现有的针对一般行为属性的方法要么没有针对在线监控进行定制，要么不再维护，要么实现了通常会导致不合理结果的天真工具。我们首先定义跟踪何时代表并发执行的概念。然后，我们提出了一种非阻塞矢量时钟算法来动态收集反映事件之间部分顺序的声音并发跟踪。此外，代表轨迹中的并发事件对根据总阶形式合成的监控器造成了可靠性问题。为此，我们从监控器中提取因果依赖关系，以检查跟踪是否具有所需的顺序，并定义条件以决定在运行时何时可以监视收集的跟踪。我们在一个工具FACTS中实现了我们的贡献，该工具将程序编译为Java字节码，构造声音代表性跟踪，并警告监视器不可监控的跟踪。我们评估我们的工作，并将其与现有方法进行比较。

与葡萄园

信息[cs]

菲奇尔校长

main.pdf（586.29 Ko）

起源：作家的作品

丘克里·苏伊迪 : Connectez-vous浇注接触器le contributer

https://inria.hal.science/hal-04381666

Soumis le:mardi 9 janvier 2024-10:40:58

Dernière修改le:jeudi 4 avril 2024-21:35:33

日期和版本

hal-04381666，版本1 (09-01-2024)

许可证

父爱

身份证明人

HAL Id： hal-04381666，版本1
DOI（操作界面）： 10.1007/978-3-031-32157-3_4

Citer公司

丘克里·苏伊迪（Chukri Soueidi），伊利耶斯·法尔科内（Yliès Falcone）。在线监测的良好并发跟踪。SPIN 2023-第29届模型检验软件国际研讨会2023年4月，法国巴黎。第59-80页，⟨10.1007/978-3-031-32157-3_4⟩.⟨hal-04381666⟩

出口商

BibTeX公司 XML-TEI公司都柏林核心元数据集 DC条款尾注数据引用

无人值守地面传感器中国科学院印度 LIG公司 LIG_SRCPR标签 INRIA2公司盖-SRCPR-罩 LIG_SIDCH公司

15 磋商

10 Télé费用

用于在线监测的声音并发跟踪

Résumé

与葡萄园

日期和版本

许可证

身份证明人

Citer公司

出口商

收藏

海拔高度

合作伙伴