Show/Hide Menu
Hide/Show Apps
Logout
Türkçe
Türkçe
Search
Search
Login
Login
OpenMETU
OpenMETU
About
About
Open Science Policy
Open Science Policy
Communities & Collections
Communities & Collections
Help
Help
Frequently Asked Questions
Frequently Asked Questions
Guides
Guides
Thesis submission
Thesis submission
MS without thesis term project submission
MS without thesis term project submission
Publication submission with DOI
Publication submission with DOI
Publication submission
Publication submission
Supporting Information
Supporting Information
General Information
General Information
Copyright, Embargo and License
Copyright, Embargo and License
Contact us
Contact us
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
Cite This
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
IEEE
ACM
APA
CHICAGO
MLA
BibTeX
Y. B. Kartal, “Dependability design for distributed real-time systems with broadcast communication /,” Ph.D. - Doctoral Program, Middle East Technical University, 2014.