Quality analysis of dependable systems: A developer oriented approach

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

Volumn 2677 LNCS, Issue , 2003, Pages 197-218

  Zarras, Apostolos ^a   Kloukinas, Christos ^b   Issarny, Valérie ^c  

^a UNIVERSITY OF IOANNINA   (Greece)

^b VERIMAG   (France)

^c INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

MARKOV PROCESSES; OBJECT ORIENTED PROGRAMMING; PETRI NETS;

ANALYSIS TECHNIQUES; ARCHITECTURAL LEVELS; ARCHITECTURE DESCRIPTION LANGUAGES; ARCHITECTURE-BASED; DEPENDABLE SYSTEMS; NON FUNCTIONAL PROPERTIES; OBJECT ORIENTED; QUALITY ANALYSIS AND EVALUATIONS;

QUALITY CONTROL;

EID: 35048902278     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45177-3_9     Document Type: Conference Paper

References (25)

1. Allen, R., Garlan, D.: Formalizing architectural connection. In: Proceedings of the 16th ACM-SIGSOFT-IEEE International Conference on Software Engineering (ICSE'94). (1994) 71-80
2. Geist, R., Trivedi, K.: Reliability estimation of fault tolerant systems: Tools and techniques. IEEE Computer 23 (1990) 52-61 (Pubitemid 20737827)
3. Kobayashi, H.: Modeling and Analysis: An Introduction to System Performance Evaluation Methodology. Addison-Wesley (1978)
4. Magee, J., Kramer, J., Giannakopoulou, D.: Behavior analysis of software architectures. In: Proceedings of the 1st IFIP Working Conference on Software Architectures (WICSA-1). (1999) 35-49
5. Garlan, D., Monroe, R., Wile, D.: ACME: An architectural description interchange language. In: Proceedings od CASCON'97. (1997)
6. Medvidovic, N., Taylor, R.: A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering 26 (2000) 70-93 (Pubitemid 30584681)
7. OMG: UML semantics 1.3 (1997)
8. Wile, D.: AML: An architecture meta-language. In: Proceedings of the 14th IEEE International Conference on Automated Software Engineering (ASE-99). (1999)
9. Dashofy, E., Van Der Hoek, A., Taylor, R.: An infrastructure for the rapid development of XML-based architecture description languages. In: Proceedings of the 24th International Conference on Software Engineering (ICSE 2002). (2002) 266-276
10. Garlan, D., Kompanec, J., Pinto, P.: Reconciling the needs of architectural description with object-modeling notations. In: Proceedings of the 3rd International Conference on the Unified Modeling Language (UML-2000). (2000)
11. Medvidovic, N., Rosenblum, D.S., Robbins, J.E., Redmiles, D.F.: Modeling software architectures in the unified modeling language. ACM Transactions on Software Engineering and Methodology ((to appear))
12. Lilius, J., Paltor, I.P.: vUML: A tool for verifying UML models. In: Proceedings of the 14th IEEE International Conference on Automated Software Engineering (ASE'99). (1999) 255-258
13. Holzmann, G.J.: The SPIN model checker. IEEE Transactions on Software Engineering 23 (1997) 279-295
14. Kaveh, N., Emmerich, W.: Deadlock detection in distributed object systems. In: Proceedings of the 8th European Software Engineering Conference (ESEC) / 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE). (2001)
15. Zarras, A., Kloukinas, C., Issarny, V., Nguyen, V.K.: An Architecture-based Environment for the Development of DSoS. In: IC2 Report: Initial Results on Architectures and Dependable Mechanisms for Dependable SoSs. (2001) Available at URL: http://www.newcastle.research.ec.org/dsos/deliverables.
16. Klein, M., Kazman, R., Bass, L., Caxriere, S.J., Barbacci, M., Lipson, H.: Attribute-based architectural styles. In: Proceedings of the 1st IFIP Working Conference on Software Architecture (WICSA-1). (1999) 225-243
17. Kazman, R., Carriere, S.J., Woods, S.G.: Toward a discipline of scenario-based architectural engineering. Annals of Software Engineering 9 (2000) 5-33
18. Zarras, A., Issarny, V.: Automating the performance and reliability analysis of enterprise information systems. In: Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001). (2000)
19. Laprie, J.C.: Dependable computing and fault tolerance: Concepts and terminology. In: Proceedings of the 15th International Symposium on Fault-Tolerant Computing (FTCS-15), (1985)
20. Laprie, J.C., Arlat, J., Beounes, C., Kanoun, K.: Definition and analysis of hardware and software fault-tolerant architectures. IEEE Computer 23 (1990) 39-51 (Pubitemid 20737826)
21. Butler, R.W.: The SURE approach to reliability analysis. IEEE Transactions on Reliability 41 (1992) 210-218
22. Johnson, S.C.: Reliability analysis of large complex systems using ASSIST. In: Proceedings of the 8th AIAA/IEEE Digital Avionics Systems Conference. (1988) 227-234
23. Floyd, S., Paxson, V.: Difficulties in simulating the internet. ACM/IEEE Transactions on Networking (2001)
24. Chandra, B., Dahlin, M., Gao, L., Nayate, A.: End-to-end wan service availability. In: Proceedings of the 2nd USENIX Symposium on Internet Technologies and Systems. (2001) 97-108
25. Kaâniche, M., Kanoun, K., Martinello, M., Simache, C. In: CSDA3 Report: SoS Dependability Assessment : Modelling cind Measurement. (2002) Available at URL: http://www.newcastle.research.ec.org/dsos/deliverables.