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

61
views

28
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

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.
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...
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...
CAR Approach for the Internet of Things Al-Turjman, Fadi; GÜNAY, MELİH (2016-12-01) In this paper, we propose a novel context-aware routing (CAR) approach that uses the cloud as an extra level of data-request processing to improve the network performance in terms of data delivery. Data delivery in the Internet of Things depends heavily on numerous factors, such as the amount of data, end-to-end in-network delay, and setup time. The CAR approach is significantly improving the current request-response model, especially while the exchanged in-network data amount increases and data are sent fr...
DDS based MIL-STD-1553B data bus interface simulation Deniz, Ertan; Oğuztüzün, Mehmet Halit S.; Durak, Umut; Department of Computer Engineering (2012) This thesis describes distributed simulation of MIL-STD-1553B Serial Data Bus interface and protocol based on the Data Distribution Service (DDS) middleware standard. The data bus connects avionics system components and transports information among them in an aircraft. It is important for system designers to be able to evaluate and verify their component interfaces at the design phase. The 1553 serial data bus requires specialized hardware and wiring to operate, thus it is expensive and complex to verify co...

Citation Formats

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