Model-based failure management for distributed reactive systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4888 LNCS, Issue , 2007, Pages 53-74

  Ermagan, Vina ^a   Krüger, Ingolf ^a   Menarini, Massimiliano ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Distributed systems; Failure management; Ontology; Reactive systems

Indexed keywords

ACTUATORS; FORMAL LOGIC; ONTOLOGY; SENSORS; ARTIFICIAL INTELLIGENCE; BIOINFORMATICS;

DISTRIBUTED SYSTEMS; FAILURE MANAGEMENT; REACTIVE SYSTEMS;

DISTRIBUTED COMPUTER SYSTEMS; EMBEDDED SYSTEMS;

DEPLOYMENT ARCHITECTURE; DISTRIBUTED REACTIVE SYSTEMS; DISTRIBUTED SYSTEMS; FAILURE MANAGEMENT; INTERACTION LEVELS; INTERACTION PATTERN; OCEANOGRAPHIC SENSORS; REACTIVE SYSTEM;

EID: 38549151159     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (28)

1. Mellor, S., Clark, A., Futagami, T.: Special Issue on Model-Driven Development. In: IEEE Software, vol. 20(5), IEEE, Los Alamitos (2003)
2. W3C: Web services architecture (2004), http://www.w3.org/TR/2004/NOTE-ws- arch-20040211
3. Arora, A., Kulkarni, S.S.: Component based design of multitolerant systems. IEEE Transactions on Software Engineering 24 (1998)
4. Ermagan, V., Krüger, I., Menarini, M., Mizutani, J.I., Oguchi, K., Weir, D.: Towards Model-Based Failure-Management for Automotive Software. In: Proceedings of the ICSE 2007 Workshop on Software Engineering for Automotive Systems (SEAS) (2007)
5. CI Conceptual Architecture Design Team: Orion cyberinfrastructure conceptual architecture, www.orionprogram.org/advisory/committees/ciarch/ default.html
6. ITU-TS: Recommendation Z.120: Message Sequence Chart (MSC) (2004)
7. Krüger, I.H.: Distributed System Design with Message Sequence Charts. PhD thesis, Technische Universität München (2000)
8. OMG: UML 2.1.1 Superstructure Specification. Number formal/07-02-03. OMG (2007)
9. Krüger, I.H.: Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs. In: Pezzé, M. (ed.) FASE 2003. LNCS, vol. 2621, pp. 387-402. Springer, Heidelberg (2003)
10. Krüger, I.H., Mathew, R.: Systematic Development and Exploration of ServiceOriented Software Architectures. In: Proceedings of the 4th Working IEEE/IFIP Conference on Software Architecture (WICSA), pp. 177-187. IEEE, Los Alamitos (2004)
11. Leveson, N.G.: Safeware: system safety and computers. ACM Press, New York (1995)
12. Putman, J.: Architecting With Rm-Odp. Prentice-Hall, Englewood Cliffs (2000)
13. Gilliers, F., Kordon, F., Regep, D.: A Model Based Development Approach for Distributed Embedded Systems. In: Wirsing, M., Knapp, A., Balsamo, S. (eds.) RISSEF 2002. LNCS, vol. 2941, pp. 137-151. Springer, Heidelberg (2004)
14. Jackson, E.K., Sztipanovits, J.: Corrected through Construction: A Model-based Approach to Embedded Systems Reality. In: 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems, IEEE, Los Alamitos (2006)
15. Krüger, I., Meisinger, M., Menarini, M.: Applying Service-Oriented Development to Complex System: a BART case study. In: Kordon, F., Sztipanovits, J. (eds.) Monterey Workshop 2005. LNCS, vol. 4322, Springer, Heidelberg (2007)
16. Ahluwalia, J., Krüger, I.H., Phillips, W., Meisinger, M.: Model-based run-time monitoring of end-to-end deadlines. In: EMSOFT 2005. 5th ACM international conference on Embedded Software, ACM Press, New York (2005)
17. Krüger, I.H., Mathew, R.: Component synthesis from service specifications. In: Leue, S., Systä, T.J. (eds.) Scenarios: Models, Transformations and Tools. LNCS, vol. 3466, Springer, Heidelberg (2005)
18. Krüger, I., Grosu, R., Scholz, P., Broy, M.: From mscs to statecharts. In: Rammig, F.J. (ed.) Distributed and Parallel Embedded Systems, pp. 61-71. Kluwer Academic Publishers, Dordrecht (1999)
19. Finkbeiner, B., Krüger, I.: Using message sequence charts for component-based formal verification. In: Specification and Verification of Component Based Systems (SAVCBS), Iowa State University Workshop at OOPSLA (2001)
20. Back, R., von Wright, J.: Combining Angels, Demons and Miracles in Program Specifications. TCS 100(2), 365-383 (1992)
21. Krüger, I., Meisinger, M., Menarini, M., Pasco, S.: Rapid Systems of Systems Integration - Combining an Architecture-Centric Approach with Enterprise Service Bus Infrastructure. In: 2006 IEEE International Conference on Information Reuse and Integration (IRI 2006), IEEE Systems, Man, and Cybernetics Society, pp. 51-56 (2006)
22. OMG: Fault Tolerant CORBA. vol. formal/04-03-21. OMG (2004)
23. Baldoni, R., Marchetti, C., Virgillito, A., Zito, F.: Failure management for ft-corba applications. In: WORDS 2001. Proceedings of the Sixth International Workshop on Object-Oriented Real-Time Dependable Systems, IEEE, Los Alamitos (2001)
24. Völzer, H.: Verifying fault tolerance of distributed algorithms formally - an example. In: Proceedings of the International Conference on Application of Concurrency to System Design, IEEE, Los Alamitos (1998)
25. Chen, L., Avizienis, A.: N-Version Programming: A Fault-Tolerance Approach to Reliability of Software Operation. In: Proc. 8th IEEE Int. Symp. on Fault-Tolerant Computing (FTCS-8), pp. 3 9 (1978)
26. Giese, H., Henkler, S.: Architecture-driven platform independent deterministic replay for distributed hard real-time systems. In: Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis, pp. 28-38 (2006)
27. Tichy, M.. Schilling, D., Giese, H.: Design of self-managing dependable systems with UML and fault tolerance patterns. In: Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems, pp. 105 109 (2004)
28. Elbaum, S., Munson, J.: Software Black Box: an Alternative Mechanism for Failure Analysis. In: International Symposium on Software Reliability Engineering, pp. 365-376 (2000)