Dependability design for distributed real-time systems with broadcast communication /

Download

index.pdf

Date

2014

Author

Kartal, Yusuf Bora

Metadata

Show full item record

Item Usage Stats

137
views

62
downloads

The operation of distributed systems relies on the timely exchange of message data via dependable communication networks. Previous works suggest hardware redundancy for potential faults in the underlying network infrastructure to achieve dependability. However, software faults and faults that cannot be resolved on the hardware level are not considered in the existing literature. This work proposes a new method for software fault-tolerant communication in distributed real-time systems with communication networks that support time-slotted operation and broadcast transmission. Our method implements a dependability plane to be integrated to the existing network stack. It processes dependability information that is piggybacked on application message and uses a time synchronized checkpointing/rollback recovery strategy. The proposed dependability plane is modeled in the framework of timed input/output automata (TIOA) to formally prove its correctness and determine tight bounds for fault-recovery times. Model checking tools are employed to verify the timing and dependability properties of real-time systems. To this end, we present an algorithmic approach for converting TIOA models to be used as input of a well known model checking software tool UPPAL. We apply our dependability plane design and integrate it to a previously developed real-time communications framework. We further verify the TIOA models of the overall protocol stack by employing our algorithmic conversion to UPPAAL.

Subject Keywords

Broadcast data systems., Real-time data processing., Real-time programming., Electronic data processing

URI

http://etd.lib.metu.edu.tr/upload/12617393/index.pdf
https://hdl.handle.net/11511/23413

Collections

Graduate School of Natural and Applied Sciences, Thesis

Suggestions

OpenMETU
Core

Implementation and evaluation of the dependability plane for the dynamic distributed dependable real time industrial protocol ((D₃RIP)) Sezer, Ömer Berat; Schmidt, Şenan Ece; Schmidt, Kalus Werner; Department of Electrical and Electronics Engineering (2013) Dynamic Distributed Dependable Real Time Ethernet Industrial Protocol (D3RIP) is a real time industrial communication protocol that runs over shared-medium Ethernet with COTS hardware. The protocol consists of an interface layer that enables time slotted communication and a coordination layer that guarantees collision avoidance and timely delivery of real time messages generated by the control application. At the current development stage, these two layers of the protocol are fully implemented and tested. T...
Performance evaluation of FlexRay CAN networks interconnected by a gateway Schmidt, Şenan Ece; Schmidt, Klaus Verner; Karakaya, Utku (2010-07-09) The coexistence of both CAN and FlexRay networks in contemporary and future automobiles necessitates the use of FlexRay/CAN gateways that support the timely data exchange among the different networks. In this paper, we report on the implementation of such FlexRay/CAN gateway. Moreover, for the first time, we investigate appropriate network and gateway configurations that are beneficial for the overall network performance in the sense of small delays of gateway messages.
Distributed Real-Time Protocols for Industrial Control Systems: Framework and Examples SCHMİDT, KLAUS WERNER; Schmidt, Şenan Ece (2012-10-01) The automation of today's large-scale industrial systems relies on the operation of distributed controller devices that perform local computations and exchange information via communication networks. The subject of this paper is the development of a family of shared-medium industrial communication protocols that support the transmission of real-time (RT) and nonreal-time (nRT) data among distributed controller devices. Different from existing protocols, we suggest to incorporate information that is availabl...
A Cloud Based Architecture for Distributed Real Time Processing of Continuous Queries Gökalp, Mert Onuralp; Koçyiğit, Altan; Department of Information Systems (2015) The technological advancements in Internet of Things (IoT) domain have enabled us to reshape the physical world through smart devices, sensors and actuators. The data collected by IoT devices has become a valuable asset to extract knowledge about the environment and other nearby devices. Existing IoT applications mostly store collected data in a central server and allow users to query stored data to notice and react to changes in the environment. Usually cloud and big data technologies are utilized in those...
Evaluation of priority dependent and time scheduled MAC layer protocols for ad-hoc networks Erdeğer, İsmail; Baykal, Buyurman; Department of Electrical and Electronics Engineering (2015) Ad-hoc networks have very unique features, such as dynamic topologies, relatively limited bandwidth and wireless signal propagation schemes, which present various challenges for wireless communication. In this thesis, control mechanisms for channel access scheduling and topology in ad-hoc networks are evaluated, which utilize the information from two-hop neighborhood to cope with the communication difficulties in ad-hoc networks. Channel assignment is one of the most important topics for ad-hoc networks. Ch...

Citation Formats

Y. B. Kartal, “Dependability design for distributed real-time systems with broadcast communication /,” Ph.D. - Doctoral Program, Middle East Technical University, 2014.