Safety analysis of an evolving software architecture

Proceedings of IEEE International Symposium on High Assurance Systems Engineering

Volumn 2000-January, Issue , 2000, Pages 159-168

  De Lemos, R ^a  

^a UNIVERSITY OF KENT   (United Kingdom)

Author keywords

Accidents; Collaboration; Connectors; Laboratories; Performance analysis; Programming; Risk analysis; Software architecture; Software safety; Software systems

Indexed keywords

ACCIDENTS; COMPUTER SOFTWARE; COMPUTER SOFTWARE SELECTION AND EVALUATION; CONNECTORS (STRUCTURAL); LABORATORIES; MATHEMATICAL PROGRAMMING; MODEL CHECKING; RISK ANALYSIS; RISK ASSESSMENT; SOFTWARE ARCHITECTURE; SYSTEMS ENGINEERING;

COLLABORATION; PERFORMANCE ANALYSIS; SAFETY ANALYSIS; SAFETY PROCEDURE; SOFTWARE COMPONENT; SOFTWARE SAFETY; SOFTWARE SYSTEMS;

SAFETY ENGINEERING;

EID: 1242282123     PISSN: 15302059     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.2000.895455     Document Type: Conference Paper

References (19)

1. M. Aksit, K. Wakita, J. Bosch, L. Bergmans, A. Yonezawa. "Abstracting Object-Interactions Using Composition-Filters". Proceedings of the Workshop on Object-Based Distributed Programming at the European Conference on Object-Oriented Programming (ECOOP '93). Kaiserslautern, Germany. 1993. Lecture Notes in Computer Science 791. R. Guerraoui, O. Nierstrasz, and M. Riveill (eds). Springer-Verlag. 1994. pp. 152-184.
2. R. Balzer. Instrumenting, Monitoring, and Debugging Software Architectures. http://www.isi.edu/divisions/index.html.
3. G. Booch, J. Rumbaugh, I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley. Reading, MA. 1998.
4. J. Bosch. "Superimposition: A Component Adaptation Technique". Information and Software Technology. Elsevier. 1999.
5. R. de Lemos, J. G. Hall. "Extended RTL in the Specification and Verification of an Industrial Press". Hybrid Systems III. Lecture Notes in Computer Science 1066. Eds. R. Alur, T. A. Henzinger, E. Sontag. Springer-Verlag. Berlin, Germany. 1996. pp. 114-125.
6. R. de Lemos, A. Romanovsky. "Coordinated Atomic Actions in Modelling Object Cooperation" Proceedings of the 1st IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. Kyoto, Japan. April 1998. pp. 152-161.
7. R. de Lemos, A. Saeed. "Validating Formal Verification using Safety Analysis Techniques". Proceedings of the 18th International Conference on Computer Safety, Reliability and Security (SAFECOMP'99). Toulouse, France. September, 1999. pp. 58-66.
8. D. F. D'Souza, A. C. Wills. Objects, Components, and Frameworks with UML: The Catalysis Approach. Addison-Wesley. Reading, MA. 1998.
9. J. G. Hall, R. de Lemos. "ERTL: An Extension to RTL for the Specification, Analysis and Verification of Hybrid Systems". Proceedings of the 8th EUROMICRO Workshop on Real-Time Systems 96. L'Aquila, Italy. June 1996. pp. 3-8.
10. F. Jahanian, A. Mok. "Safety Analysis of Timing Properties in Real-Time Systems". IEEE Transactions on Software Engineering Vol. SE-12(9). September 1986. pp. 890-904.
11. F. Jahanian, A. Mok, D. A. Stuart. Formal Specifications of Real-Time Systems. Technical Report TR-88-25, Department of Computer Science, University of Texas at Austin, TX. June 1988.
12. R. Kurki-Suonio. "Fundamentals of Object-Oriented Specification and Modelling of Collective Behaviours". Object-Oriented Behavioural Specifications. Eds. H. Kilov, and W. Harvey. Kluwer Academic Publishers. Boston, MA. 1996. pp. 101-119.
13. C. H. N. Lahoz, et al. Safety Analysis of the Sounding Rocket VS-40X Destruction System. IAE/CTA Technical Report. May 2000. (In Portuguese)
14. K. G. Larsen, P. Peterson, and Wang Yi. "UPPAAL in a Nutshel". International Journal on Software Tools for Technology Transfer 1(1-2). October 1997. pp. 134-152
15. R. R. Lutz. "Analysing Software Requirements Errors in Safety-Critical Embedded Systems". Proceedings of the IEEE International Symposium on Requirements Engineering. San Diego, CA. January 1993. IEEE Computer Society Press, pp. 126-133.
16. C. Perrow. Normal Accidents: Living with High-Risk Technology. Basic Books Inc. New York, NY. 1984.
17. R. W. Selby, V. R. Basili. "Analysing Error-Prone System Structure". IEEE Transaction on Software Engineering Vol. SE-17(2). February 1991. pp. 141-152.
18. M. Shaw, D. Garlan. Software Architectures: Perspectives on an Emerging Discipline. Prentice-Hall, Inc. Upper Saddle River, NJ. 1996.
19. Y. Smaragdakis, D. Batory. "Implementing Reusable Object-Oriented". Proceedings of the 5th International Conference on Software Reuse (ICSR'98). Victoria, Canada. June 1998.