Specification and evaluation of safety properties in a component-based software engineering process

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

Volumn 3778 LNCS, Issue , 2005, Pages 249-274

  Grunske, Lars ^a   Kaiser, Bernhard ^b   Reussner, Ralf H ^c  

^a UNIVERSITY OF QUEENSLAND   (Australia)

^b FRAUNHOFER IESE   (Germany)

^c UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

LARGE SCALE SYSTEMS; PROBLEM SOLVING; REQUIREMENTS ENGINEERING; SECURITY SYSTEMS;

SAFETY ANALYSIS; SAFETY PROPERTIES;

SOFTWARE ENGINEERING;

EID: 33847674810     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11591962_13     Document Type: Article

References (25)

1. Szyperski, C.: Component Software: Beyond Object-Oriented Programming. ACM Press, Addison-Wesley, Reading, MA, USA (1998)
2. Bondavalli, A., Simoncini, L.: Failure Classification with respect to Detection. Esprit Project Nr 3092 (PDCS: Predictably Dependable Computing Systems) (1990)
3. Fenelon, P., McDermid, J., Nicholson, M., Pumfrey., D.J.: Towards integrated safety analysis and design. ACM Computing Reviews, 2 (1994) 21-32
4. Leveson, N.G.: SAFEWARE: System Safety and Computers. Addison-Wesley Publishing Company (1995)
5. CENELEC (European Committee for Electro-technical Standardisation): CENELEC EN 50126: Railway Applications - the specification and demonstration of Reliability, Availability, Maintainability and Safety. CENELEC EN 50128: Railway Applications: Software for Railway Control and Protection Systems CENELEC, Brussels (2000)
6. SAE ARP 4754 (Society of Automotive Engineers Aerospace Recommended Practice): Certification Considerations for Highly Integrated or Complex Aircraft Systems (1996)
7. Department of Defense, United States of America: Military Standard 882C. System Safety Program Requirements (1999)
8. Deutsches Institur für Normung e.V.: DIN 25419: Ereignisablaufanalyse, Verfahren, graphische Symbole und Auswertung (German Standard) (1985)
9. IEC 60812 (International Electrotechnical Commission): Functional safety of electrical/electronical/programmable electronic safety/related systems, Analysis Techniques for System Reliability - Procedure for Failure Mode and Effect Analysis (FMEA) (1991)
10. IEC (International Electrotechnical Commission): Hazard and operability studies (HAZOP studies) - Application guide (2000)
11. UK Defence Standardization Organisation: Defence Standard 00-58, HAZOP Studies on Systems Containing Programmable Electronics, Part 1 and 2 (2000)
12. DIN 25424 (Deutsches Institut für Normung e.V.): Fault Tree Analysis: Part 1 (Method and graphical symbols) and Part 2 (Manual: calculation procedures for the evaluation of a fault tree) (1981/1990)
13. IEC 61025(International Electrotechnical Commission): Fault-Tree-Analysis (FTA) (1990)
14. Vesely, W.E., Goldberg, F.F., Roberts, N.H., Haasl, D.F.: Fault Tree Handbook. U. S. Nuclear Regulatory Commission (1996)
15. Mauri, G.: Integrating Safety Analysis Techniques, Supporting Identification of Common Cause Failures. PhD thesis, Department of Computer Science, University of York (2001)
16. IEC (International Electrotechnical Commission): IEC 61165: Application of Markov techniques (1995-2003)
17. Selic, B., Gullekson, G., Ward, P.: Real-Time Object Oriented Modeling. John Wiley & Sons (1994)
18. Fenelon, P., McDermid, J.A.: An integrated toolset for software safety analysis. Journal of Systems and Software 21 (1993) 279-290
19. Kaiser, B., Liggesmeyer, P., Mäckel, O.: A new component concept for fault trees. In: Proceedings of the 8th Australian Workshop on Safety Critical Systems and Software (SCS'03), Adelaide (2003)
20. Frolund, S., Koistinen, J.: Quality-of-service specification in distributed object systems. Technical Report HPL-98-159, Hewlett Packard, Software Technology Laboratory (1998)
21. Reussner, R.H., Poernomo, I.H., Schmidt, H.W.: Reasoning on software architectures with contractually specified components. In Cechich, A., Piattini, M., Vallecillo, A., eds.: Component-Based Software Quality: Methods and Techniques. Number 2693 in LNCS. Springer-Verlag, Berlin, Germany (2003) 287-325
22. Reussner, R.H., Schmidt, H.W., Poernomo, I.: Reliability prediction for component-based software architectures. Journal of Systems and Software - Special Issue of Software Architecture - Engineering Quality Attributes 66 (2003) 241-252
23. Reussner, R.H.: Automatic Component Protocol Adaptation with the CoCoNut Tool Suite. Future Generation Computer Systems 19 (2003) 627-639
24. Grunske, L.: Annotation of component specifications with modular analysis models for safety properties. In: Proceedings of the 1st International Workshop on Component Engineering Methodology (WCEM), Erfurt (2003) 737-738
25. Bryant, R.: Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers 35 (1986) 677-691