<abstract xmlns="http://www.w3.org/1999/xhtml">
<p>As a kind of software system, the Event-Based Systems (EBS) respond to events rather than executing a predefined sequence of instructions. Events usually occur in real time, so it is crucial that they are processed in the correct order and within temporal constraints. The objective of this work is to propose an approach to check if events of EBS at runtime preserve the specification of temporal constraints. To form the approach by logic process, we have formalized the EBS model, through which, we have proved that the complexity of the checking algorithms is only polynomial. The approach has been implemented as a tool (VER) to check EBS at runtime automatically. The results of the proposed method are illustrated by checking a real-world Event Driven Architecture (EDA) application, an Intelligent transportation system.</p>
</abstract>

As a kind of software system, the Event-Based Systems (EBS) respond to events rather than executing a predefined sequence of instructions. Events usually occur in real time, so it is crucial that they are processed in the correct order and within temporal constraints. The objective of this work is to propose an approach to check if events of EBS at runtime preserve the specification of temporal constraints. To form the approach by logic process, we have formalized the EBS model, through which, we have proved that the complexity of the checking algorithms is only polynomial. The approach has been implemented as a tool (VER) to check EBS at runtime automatically. The results of the proposed method are illustrated by checking a real-world Event Driven Architecture (EDA) application, an Intelligent transportation system.

Checking Temporal Constraints of Events in EBS at Runtime

Cybernetics and Information Technologies

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

{"article-title":"Checking Temporal Constraints of Events in EBS at Runtime"}

As a kind of software system, the Event-Based Systems (EBS) respond to events rather than executing a predefined sequence of instructions. Events usually occur...

Checking Temporal Constraints of Events in EBS at Runtime

Publié en ligne: 23 mars 2024

Pages: 82 - 97

Reçu: 11 sept. 2023

Accepté: 28 nov. 2023

DOI: https://doi.org/10.2478/cait-2024-0005

Mots clés
Checking tool, Event-based systems, Runtime verification, Temporal constraints

© 2024 Thanh-Binh Trinh et al., published by Sciendo

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Checking Temporal Constraints of Events in EBS at Runtime

Publié en ligne: 23 mars 2024

Pages: 82 - 97

Reçu: 11 sept. 2023

Accepté: 28 nov. 2023

DOI: https://doi.org/10.2478/cait-2024-0005

Mots clésChecking tool, Event-based systems, Runtime verification, Temporal constraints

© 2024 Thanh-Binh Trinh et al., published by Sciendo

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Mots clés
Checking tool, Event-based systems, Runtime verification, Temporal constraints