Dependency Management Framework . A Tool for Designing Robust Real-Time Systems

Ding, Hui

Permalink

https://hdl.handle.net/2142/11262 Copy

Description

Title

Dependency Management Framework . A Tool for Designing Robust Real-Time Systems

Author(s)

Ding, Hui

Issue Date

2006-11

Keyword(s)

• real-time systems
• computer science

Abstract

Due to the complexity and requirements of modern real-time systems, multiple teams must often work concurrently and independently to develop the various components of the system. Since a team typically only knows the dependency relations between the components they wrote and those they directly use, keeping track of system-wide dependency relations is not possible for any individual team. To further complicate matters, dependency relations often change as software components are refined or their interactions modified. Because the robustness of any real-time system hinges on the availability of essential services in spite of faults and failures in useful but non-essential components, keeping track of the constantly evolving dependency relations between the system's components is crucial. If a system's designers cannot ensure that critical services only USE but do not DEPEND ON less critical components, a seemingly minor fault can propagate along complex and unforeseen dependency chains and bring down the entire system. Therefore, automatically tracking and analyzing system-wide dependency relations given only local dependency information is vital for the development of robust real-time systems. This thesis presents Dependency Management Framework (DMF), a unified theoretical framework and prototype toolkit for dependency management in robust real-time systems. To illustrate the usability and scalability of DMF, we also give several application examples of DMF, with case studies on a distributed car control testbed and a student-developed ION CubeSat satellite.

Type of Resource

text

Permalink

http://hdl.handle.net/2142/11262

Copyright and License Information

You are granted permission for the non-commercial reproduction, distribution, display, and performance of this technical report in any format, BUT this permission is only for a period of 45 (forty-five) days from the most recent time that you verified that this technical report is still available from the University of Illinois at Urbana-Champaign Computer Science Department under terms that include this permission. All other rights are reserved by the author(s).

Owning Collections