TY - GEN
T1 - Dependency algebra
T2 - 26th IEEE International Real-Time Systems Symposium, RTSS 2005
AU - Ding, Hui
AU - Sha, Lui
PY - 2005
Y1 - 2005
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84879382694&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84879382694&partnerID=8YFLogxK
U2 - 10.1109/RTSS.2005.16
DO - 10.1109/RTSS.2005.16
M3 - Conference contribution
AN - SCOPUS:84879382694
SN - 0769524907
SN - 9780769524900
T3 - Proceedings - Real-Time Systems Symposium
BT - Proceedings - 26th IEEE International Real-Time Systems Symposium, RTSS 2005
Y2 - 5 December 2005 through 8 December 2005
ER -