Using the theorem of inaccessibility to assess dependable real-time networks

Autor: Souza, Jeferson L.R., Siqueira, Frank
Zdroj: International Journal of Critical Computer-Based Systems; 2024, Vol. 11 Issue: 1 p91-114, 24p
Abstrakt: This paper builds on the foundations of computer-based networks in order to assess their dependable and real-time properties. We extend the analysis and modelling of network inaccessibility by using its associated theorem to gauge the origins of dependability issues during the network operation. We show how network transmissions in the presence of errors can be observed and analysed, implying a richer view and understanding of their negative impact to the whole distributed real-time ecosystem. We present results extracted from a simulated scenario of an industrial wireless sensors and actuators network (IWSAN) implemented in C Language, enabling us to conclude that more resilient computer-based networks are needed in such environments, as well as improved modelling and prototyping of distributed real-time systems running on top of them.
Databáze: Supplemental Index