Using the theorem of inaccessibility to assess dependable real-time networks
by Jeferson L.R. Souza; Frank Siqueira
International Journal of Critical Computer-Based Systems (IJCCBS), Vol. 11, No. 1/2, 2024

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.

Online publication date: Thu, 13-Jun-2024

The full text of this article is only available to individual subscribers or to users at subscribing institutions.

 
Existing subscribers:
Go to Inderscience Online Journals to access the Full Text of this article.

Pay per view:
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.

Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Critical Computer-Based Systems (IJCCBS):
Login with your Inderscience username and password:

Username:        Password:          Forgotten your password?

Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.

If you still need assistance, please email subs@inderscience.com