Title: Using the theorem of inaccessibility to assess dependable real-time networks
Authors: Jeferson L.R. Souza; Frank Siqueira
Addresses: Distributed Systems Research Lab (LaPeSD), Federal University of Santa Catarina (UFSC), Florianópolis, Santa Catarina, Brazil ' Distributed Systems Research Lab (LaPeSD), Federal University of Santa Catarina (UFSC), Florianópolis, Santa Catarina, Brazil
Abstract: 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.
Keywords: dependability; mixed-critical; network errors; real-time; real-time assessment; resilience.
DOI: 10.1504/IJCCBS.2024.139102
International Journal of Critical Computer-Based Systems, 2024 Vol.11 No.1/2, pp.91 - 114
Received: 01 Apr 2023
Accepted: 06 Feb 2024
Published online: 13 Jun 2024 *