<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

Publicado en línea: 23 mar 2024

Páginas: 82 - 97

Recibido: 11 sept 2023

Aceptado: 28 nov 2023

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

Palabras clave
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

Publicado en línea: 23 mar 2024

Páginas: 82 - 97

Recibido: 11 sept 2023

Aceptado: 28 nov 2023

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

Palabras claveChecking 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.

Palabras clave
Checking tool, Event-based systems, Runtime verification, Temporal constraints