Model-driven safety evaluation with state-event-based component failure annotations

Lecture Notes in Computer Science

Volumn 3489, Issue , 2005, Pages 33-48

  Grunske, Lars ^a   Kaiser, Bernhard ^b   Papadopoulos, Yiannis ^c  

^a UNIVERSITY OF QUEENSLAND   (Australia)

^b Data Engineering   (Germany)

^c UNIVERSITY OF HULL   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER SOFTWARE; MATHEMATICAL MODELS; SECURITY OF DATA; SEMANTICS; SOFTWARE ENGINEERING;

CRITICAL PARAMETERS; EVALUATION MODEL; SOFTWARE SYSTEMS; STATE-BASED COMPONENT FAILURE;

COMPUTER SYSTEM RECOVERY;

EID: 24944542742     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11424529_3     Document Type: Conference Paper

References (29)

1. Ajmone Marsan, M., Chiola, G.: On Petri nets with deterministic and exponentially distributed firing times. European Workshop on Applications and Theory of Petri Nets 1986. Lecture Notes in Computer Science, volume 266, pages 132-145. Springer 1987
2. Birolini, A.: Reliability engineering: theory and practice, New York, Springer, (1999)
3. Bondavalli A., Simoncini, L.: Failure Classification with Respect to Detection, in: Predictably Dependable Computing Systems, Task B, Vol. 2, May (1990)
4. Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers, C-35(8), Aug. (1986) 677-691
5. CENELEC: Railway applications The specification and demonstration of dependability, reliability, availability, maintainability and safety (RAMS), European Committee for Electrotechnical Standardisation, Brussels, Standard EN 50126, 128, 129, (2000-2002)
6. Ciardo, G., Lindemann, C.: Analysis of deterministic and stochastic Petri nets. In Proc. of the Fifth Int. Workshop on Petri Nets and Performance Models (PNPM93), Toulouse, France, Oct. 1993
7. ESSaRel: Embedded Systems Safety and Reliability Analyser, The ESSaRel Research Project, Homepage: http://www.essarel.de/index.html
8. Feiler, P., Lewis, B., Vestal, S.: The SAE Avionics Architecture Description Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering. RTAS 2003 Workshop on Model-Driven Embedded Systems, 2003
9. Fenelon, P., McDermid, J.A., Nicholson, M., Pumfrey, D. J.: Towards Integrated Safety Analysis and Design, ACM Applied Computing Review, (1994).
10. 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 03), (2003), pp. 31-41
11. IEC 61025: International Standard IEC 61025 Fault Tree Analysis. International Electrotechnical Commission. Geneva(1990)
12. 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)
13. Kaiser, B.: Extending the Expressive Power of Fault Trees. Accepted for Publication of the 51st Annual Reliability & Maintainability Symposium (RAMS05), January 24-27, Alexandria, VA, USA
14. Kaiser, B., Gramlich, C.: State-Event-Fault-Trees - A Safety Analysis Model for Software Controlled Systems. In: Computer Safety, Reliability, and Security. 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004, Proceedings. Lecture Notes in Computer Science, Vol. 3219 2004, p. 195-209
15. Laprie, J.C.(ed.): Dependability: Basic Concepts and Associated Terminology. Vol.5, Dependable Computing and Fault-Tolerant Systems Series,Vienna: Springer (1992)
16. Meyer, B.: Applying design by contract. IEEE Computer 25, 10, (1992) 40-51
17. Musa, J.D., Iannino, A., Okumoto, K.: Software Reliability - Measurement, Prediction, Application, McGraw-Hill International Editions, (1987)
18. Papadopoulos, Y., McDermid, J.A., Sasse, R., Heiner, G.: Analysis and Synthesis of the Behavior of Complex Programmable Electronic Systems in Conditions of Failure, Reliability Engineering and System Safety, 71(3), Elsevier Science, (2001) 229-247.
19. Papadopoulos, Y., McDermid, J. A.: Hierarchically Performed Hazard Origin and Propagation Studies, SAFECOMP '99, 18th Int. Conf. on Computer Safety, Reliability and Security, Toulouse, LNCS, 1698 (1999) 139-152
20. Papadopoulos Y., Parker D., Grante C.: A method and tool support for model-based semi-automated Failure Modes and Effects Analysis of engineering designs, 9th Australian Workshop Safety Critical Programmable Systems (SCS'04), Brisbane, Conferences in Research and Practice in Information Technology, Vol. 38, Australian Computer Society (2004).
21. Papadopoulos, Y., Maruhn M.: Model-based Automated Synthesis of Fault Trees from Simulink models, Int'l Conf. on Dependable Systems and Networks, (2001), pp. 77-82
22. Pumfrey, D. J.: The Principled Design of Computer System Safety Analyses, Dissertation, University of York, (1999).
23. Reussner, R., Schmidt, H., Poernomo, I.: Reliability Prediction for Component-Based Software Architectures, Journal of Systems and Software, 66(3), Elsevier, The Netherlands, (2003) 241-252
24. Selic B., Gullekson G., Ward P. T.: Real-Time Object-Oriented Modeling. Wiley, New York, (1994)
25. Szyperski, C.: Component Software. Beyond Object-Oriented Programming. ACM Press/Addison Wesley, (1998)
26. Vesely, W. E., Goldberg, F. F., Roberts, N. H.,. Haasl, D. F.: Fault Tree Handbook. U. S. Nuclear Regulatory Commission, NUREG-0492, Washington DC, (1981)
27. Vestal, S.: MetaH Programmer's Manual, Version 1.09. Technical Report, Honeywell Technology Center, April 1996.
28. Villemeur A.: Reliability, Availability, Maintainability, and Safety Assessment, John Willey and Sons, ISBN: 0-47193-048-2 (2000).
29. Zimmermann, A., German, R., Freiheit, J., Hommel, G.: TimeNET 3.0 Tool Description. Int. Conf. on Petri Nets and Performance Models (PNPM'99), Zaragoza, Spain, 1999