Dependency algebra: A tool for designing robust real-time systems

Hui Ding, Lui Sha

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

A robust system is one that can ensure essential services in spite of faults and failures in useful but non-essential components. Unless we can ensure that critical services can only USE but not depend on less critical components, a seemingly minor fault can propagate along complex and implicit dependency chains and bring down the system. Modern real time systems are often developed concurrently by multiple teams. A team typically only knows the dependency relations between their components and neighboring components. In addition, dependency relations will change as software components and their interactions are being modified. Therefore, how to automatically track and analyze the system wide dependency from local information is important for the development of robust real time systems. This paper presents dependency algebra - a unified theoretical framework plus a prototype toolkit for dependency management in real-time systems.

Original languageEnglish (US)
Title of host publicationProceedings - 26th IEEE International Real-Time Systems Symposium, RTSS 2005
DOIs
StatePublished - 2005
Event26th IEEE International Real-Time Systems Symposium, RTSS 2005 - Miami, FL, United States
Duration: Dec 5 2005Dec 8 2005

Publication series

NameProceedings - Real-Time Systems Symposium
ISSN (Print)1052-8725

Other

Other26th IEEE International Real-Time Systems Symposium, RTSS 2005
Country/TerritoryUnited States
CityMiami, FL
Period12/5/0512/8/05

ASJC Scopus subject areas

  • Software
  • Hardware and Architecture
  • Computer Networks and Communications

Fingerprint

Dive into the research topics of 'Dependency algebra: A tool for designing robust real-time systems'. Together they form a unique fingerprint.

Cite this