Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps

Multiagent Systems (MASs) are distributed systems composed by autonomous, reactive, proactive, heterogeneous communicating entities. In order to dynamically verify the behavior of such complex systems, a decentralized solution able to scale with the number of agents is necessary. When, for physical, infrastructural, or legal reasons, the monitor is not able to observe all the events emitted by the MAS, gaps are generated. In this paper we present a runtime verification decentralized to handle observation gaps in a MAS.

[1]  D. Ancona,et al.  Mind the Gap! Runtime Verification of Partially Observable MASs with Probabilistic Trace Expressions , 2022, EUMAS.

[2]  Angelo Ferrando,et al.  RML: Theory and practice of a domain specific language for runtime verification , 2021, Sci. Comput. Program..

[3]  Angelo Ferrando,et al.  ROSMonitoring: A Runtime Verification Framework for ROS , 2020, TAROS.

[4]  Angelo Ferrando,et al.  Improving flexibility and dependability of remote patient monitoring with agent-oriented approaches , 2018, Int. J. Agent Oriented Softw. Eng..

[5]  Arie Gurfinkel,et al.  Prevent : A Predictive Run-Time Verification Framework Using Statistical Learning , 2018, SEFM.

[6]  Angelo Ferrando,et al.  Coping with Bad Agent Interaction Protocols When Monitoring Partially Observable Multiagent Systems , 2018, PAAMS.

[7]  Davide Ancona,et al.  Towards a Runtime Verification Approach for Internet of Things Systems , 2018, ICWE Workshops.

[8]  Natalia Criado,et al.  Resource-bounded Norm Monitoring In Multi-agent Systems , 2018, J. Artif. Intell. Res..

[9]  Michael Winikoff,et al.  A new Hierarchical Agent Protocol Notation , 2018, Autonomous Agents and Multi-Agent Systems.

[10]  Angelo Ferrando,et al.  Parametric Trace Expressions for Runtime Verification of Java-Like Programs , 2017, FTfJP@ECOOP.

[11]  Angelo Ferrando,et al.  Decentralizing MAS Monitoring with DecAMon , 2017, AAMAS.

[12]  Angelo Ferrando,et al.  Parametric Runtime Verification of Multiagent Systems , 2017, AAMAS.

[13]  Munindar P. Singh,et al.  Splee: A Declarative Information-Based Language for Multiagent Interaction Protocols , 2017, AAMAS.

[14]  Sebastian Fischmeister,et al.  Runtime verification of LTL on lossy traces , 2017, SAC.

[15]  Natalia Criado,et al.  Norm Monitoring Under Partial Action Observability , 2015, IEEE Transactions on Cybernetics.

[16]  Pierre Fraigniaud,et al.  Challenges in Fault-Tolerant Distributed Runtime Verification , 2016, ISoLA.

[17]  Davide Ancona,et al.  Behavioral Types in Programming Languages , 2016, Found. Trends Program. Lang..

[18]  Angelo Ferrando,et al.  Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification , 2016, Theory and Practice of Formal Methods.

[19]  Angelo Ferrando,et al.  MAS-DRiVe: a Practical Approach to Decentralized Runtime Verification of Agent Interaction Protocols , 2016, WOA.

[20]  Roberto Micalizio,et al.  Exploiting Social Commitments in Programming Agent Interaction , 2015, PRIMA.

[21]  Borzoo Bonakdarpour,et al.  Decentralized Runtime Verification of LTL Specifications in Distributed Systems , 2015, 2015 IEEE International Parallel and Distributed Processing Symposium.

[22]  Angelo Ferrando,et al.  Global Protocols as First Class Entities for Self-Adaptive Agents , 2015, AAMAS.

[23]  Munindar P. Singh,et al.  Cupid: Commitments in Relational Algebra , 2015, AAAI.

[24]  Cristina Baroglio,et al.  A Commitment-Based Infrastructure for Programming Socio-Technical Systems , 2014, TOIT.

[25]  Pierre Fraigniaud,et al.  On the Number of Opinions Needed for Fault-Tolerant Run-Time Monitoring in Distributed Systems , 2014, RV.

[26]  Yliès Falcone,et al.  Efficient and Generalized Decentralized Monitoring of Regular Languages , 2014, FORTE.

[27]  Davide Ancona,et al.  Distributed Runtime Verification of JADE and Jason Multiagent Systems with Prolog , 2014, CILC.

[28]  Davide Ancona,et al.  Distributed Runtime Verification of JADE Multiagent Systems , 2014, IDC.

[29]  Ezio Bartocci,et al.  Sampling-based Decentralized Monitoring for Networked Embedded Systems , 2013, HAS.

[30]  Davide Ancona,et al.  Constrained global types for dynamic checking of protocol conformance in multi-agent systems , 2013, SAC '13.

[31]  Davide Ancona,et al.  Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason , 2012, DALT.

[32]  Ezio Bartocci,et al.  Runtime Verification with State Estimation , 2011, RV.

[33]  Munindar P. Singh.  Information-driven interaction-oriented programming: BSPL, the blindingly simple protocol language , 2011, AAMAS.

[34]  C. R. Ramakrishnan,et al.  Model Repair for Probabilistic Systems , 2011, TACAS.

[35]  Michael Winikoff,et al.  Enhancing Commitment Machines , 2004, DALT.

[36]  Munindar P. Singh,et al.  Commitment Machines , 2001, ATAL.

[37]  Nicholas R. Jennings,et al.  Intelligent agents: theory and practice , 1995, The Knowledge Engineering Review.

[38]  Maurice Herlihy,et al.  Wait-free synchronization , 1991, TOPL.

[39]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.