Safety tactics for software architecture design

Proceedings - International Computer Software and Applications Conference

Volumn 1, Issue , 2004, Pages 368-375

  Wu, Weihang ^a   Kelly, Tim ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENT PREVENTION; ARCHITECTURAL DESIGN; COMPUTER ARCHITECTURE; COMPUTER SCIENCE; COMPUTER SOFTWARE; COMPUTER SOFTWARE REUSABILITY; DECISION MAKING; STANDARDS;

ARCHITECTURE-BASED DEVELOPMENT; SAFETY ANALYSIS; SOFTWARE ARCHITECTURE DESIGN; TACTICS;

SOFTWARE ENGINEERING;

EID: 18744362719     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. Bachmann, F., Bass, L. & Klein, M., "Illuminating the Fundamental Contributors to Software Architecture Quality", Technical Report, CMU/SEI-2002-TR-025, Software Engineering Institute, Carnegie Mellon University, August 2002.
2. Bachmann, F., Bass, L. & Klein, M., "Deriving Architectural Tactics: A Step Toward Methodical Architectural Design", Technical Report, CMU/SEI-2003-TR-004, Software Engineering Institute, Carnegie Mellon University, March 2003.
3. Bass, L., Klein, M. & Bachmann, F., "Quality Attribute Design Primitives", Technical Report, CMU/SEI-2000-TN-017, Software Engineering Institute, Carnegie Mellon University, December 2000.
4. nd edition, Addison-Wesley, London, April 2003.
5. Bishop, P. G., Dependability of Critical Computer Systems 3: Techniques Directory, Elsevier Applied Science, London, 1990.
6. Bondavalli, A. & Simoncini, L., "Failure Classification with respect to Detection", in First Year's Report, Task B: Specification and Design Dependability, ESPIRIT BRA Project 3092: Predictably Dependable Computing Systems, May 1990.
7. Fenelon, P., "Failure Propagation and Transformation Notation - Handbook and User Guide", High Integrity Systems Engineering Group, Technical Report, Department of Computer Science, University of York, October 1993.
8. IEC, "615038 - Functional Safety of Electrical/Electronic/ Programmable Electronic Safety-Related Systems", International Electrotechnical Commission, 1998.
9. Kelly, T., "Arguing Safety - A Systematic Approach to Managing Safety Cases", DPhil Thesis, YCST-99-05, Department of Computer Science, University of York, York, UK, 1998.
10. Lemos, R., Gacek, C. & Romanovsky, A., Architecting Dependable Systems, LNCS 2677, Springer, London, 2003, pp. 37-60, pp. 129-149.
11. Leveson, N. G., Safeware: System Safety and Computers, Addison Wesley, Reading MA, 1995.
12. Pumfrey, D. J., Fenelon, P., McDermid, J.A. & Nicholson, M., "Towards Integrated Safety Analysis and Design", ACM Computing Reviews, Vol. 2, No. 1, 1994, pp. 21-32.
13. Shaw, M. & Garlan, D., Software Architecture: Perspectives on an Emerging Discipline, Prentice-Hall, Upper Saddle River NJ, 1996.
14. Shrivastava, S. K. & Ezhilchelvan, P. D., "A Classification of Faults in Systems", Technical Report, University of Newcastle upon Tyne, 1989.
15. Storey, N., Safety-Critical Computer Systems, Addison-Wesley, Reading MA, 1996.