Using the theorem of inaccessibility to assess dependable real-time networks Online publication date: Thu, 13-Jun-2024
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.
Existing subscribers:
Go to Inderscience Online Journals to access the Full Text of this article.
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:
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