Dependency algebra: A theoretical framework for dependency management in real-time control systems

Hui Ding, Kihwal Lee, Lui Raymond Sha

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

Abstract

The large and complex dependency relationship between software components is at the root of system instability. A seemingly minor fault can propagate along dependency chains and bring down the system. Therefore, the first step in the development of a robust system is the management and control of dependency relations between software components. The two contributions of this paper are: 1) a refinement of the commonly used failure semantics in the context of a real time control system: 2) the development of a Dependency Algebra. Component dependency relationships can be described in terms of a set of refined failure semantics mappings, enabling differentiation and comparison of different relationships and designs. The system-wide evaluation and tracking of these dependency relationships are performed using Dependency Algebra.

Original languageEnglish (US)
Title of host publicationProceedings - 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECS 2005
EditorsJ. Rozenblit, T. O'Neill, J. Peng
Pages41-48
Number of pages8
StatePublished - Dec 9 2005
EventProceedings - 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECS 2005 - Greenbelt, MD, United States
Duration: Apr 4 2005Apr 7 2005

Publication series

NameProceedings - 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECS 2005

Other

OtherProceedings - 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECS 2005
CountryUnited States
CityGreenbelt, MD
Period4/4/054/7/05

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'Dependency algebra: A theoretical framework for dependency management in real-time control systems'. Together they form a unique fingerprint.

Cite this