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

Proceedings - Real-Time Systems Symposium

Volumn , Issue , 2005, Pages

  Ding, Hui ^a   Sha, Lui ^a  

^a University of Illinois at Urbana Champaign   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CRITICAL COMPONENT; DEPENDENCY ALGEBRA; DEPENDENCY CHAINS; DEPENDENCY RELATION; ESSENTIAL SERVICES; LOCAL INFORMATION; SOFTWARE COMPONENT; THEORETICAL FRAMEWORK;

ALGEBRA; INTERACTIVE COMPUTER SYSTEMS;

REAL TIME SYSTEMS;

EID: 84879382694     PISSN: 10528725     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTSS.2005.16     Document Type: Conference Paper

References (19)

1. SAE Architecture Analysis and Design Language (AADL): http://www.aadl.info/.
2. Honeywell'sMetaH: http://www.htc.honeywell.com/metah/.
3. S. Alda, M. Won, and A. B. Cremers. Managing dependencies in component-based distributed applications. In Scientific Engineering for Distributed Java Applications: International Workshop, FIDJI 2002. Vol. 2604 / 2003 of LNCS, pages 143-154. Springer-Verlag, 2003.
4. A. Brown, G. Kar, and A. Keller. An active approach to characterizing dynamic dependencies for problem determination in a distributed environment. In Proceedings of the 7th IFIP/IEEE International Symposium on Integrated Network Management, Seattle, WA, USA, May 2001.
5. F. Cristian. Abstractions for fault-tolerance. In K. Duncan and K. Krueger, editors, Proceedings of the IFIP 13th World Computer Congress. Volume 3 : Linkage and Developing Countries, pages 278-286, Amsterdam, The Netherlands, 1994. Elsevier Science Publishers.
6. J. Edmund M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. MIT Press, 2000.
7. C. Ensel. Automated generation of dependency models for service management. In Proceedings of Workshop of the OpenView University Association (OVUA'99), June 1999.
8. C. Ensel and A. Keller. Managing application service dependencies with xml and the resource description framework. In Proceedings of the 7th International IFIP/IEEE Symposium on Integrated Management (IM 2001), May 2001.
9. S. Graham, G. Baliga, and P. R. Kumar. Issues in the convergence of control with communication and computing: Proliferation, architecture, design, services, and middleware. In Proceedings of the 43rd IEEE Conference on Decision and Control, December 2004.
10. P. Hasselmeyer. Managing dynamic service dependencies. In Proceedings of the 12th International Workshop on Distributed Systems: Operations and Management-DSOM 2001, Nancy, France, October 2001.
11. G. Kar, A. Keller, and S. Calo. Managing application services over service provider networks: Architecture and dependency analysis. In Proceedings of the 7th IEEE/IFIP Network Operations and Management Symposium (NOMS 2000), pages 61-75, Honolulu, HI, USA, April 2000.
12. A. Keller and G. Kar. Dynamic dependencies in application service management. In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, Las Vegas, NV, USA, June 2000.
13. F. Kon and R. H. Campbell. Dependence management in component-based distributed systems. IEEE Concurrency, 8(1):26-36, January 2000.
14. W. S. Lee, D. L. Grosh, F. A. Tillman, and C. H. Lie. Fault tree analysis, methods, and applications: A review. IEEE Transactions on Reliability, R-34:194-302, August 1985.
15. N. G. Leveson. Safeware: System Safety and Computers. Addison-Wesley, 1995.
16. N. G. Leveson, S. S. Cha, and T. J. Shimeall. Safety verification of ada programs using software fault trees. IEEE Software, 8(4):48-59, July 1991.
17. E. Nett, M. Mock, and P. Theisohn. Managing dependencies: A key problem in fault-tolerant distributed algorithms. In Proceedings of 27th International Symposium on Fault-Tolerant Computing (FTCS'97), pages 2-10, 1997.
18. D. A. Patterson and A. Brown. Recovery-oriented computing (roc): Motivation, definition, techniques, and case studies. Technical report, UC Berkeley Computer Science Technical Report UCB//CSD-02-1175, March 2002.
19. D. Wallace, M. Towhidnejad, and C. Coleman. Software fault tree analysis. Technical report, Software Assurance Technology Center, NASA, Decemeber 2003.