Safety and dependability analysis of self-adaptive systems

Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

Volumn , Issue , 2006, Pages 177-184

  Güdemann, Matthias ^a   Ortmeier, Frank ^a   Reif, Wolfgang ^a  

^a UNIVERSITY OF AUGSBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DECISION MAKING; FORMAL METHODS; QUALITY CONTROL;

DEPENDABILITY ANALYSIS; EARLY DESIGN PHASIS; EVIDENCE- BASED DECISIONS; PRODUCTION AUTOMATION; SAFETY ANALYSIS; SAFETY AND DEPENDABILITY; SELF-ADAPTIVE SYSTEM;

ADAPTIVE SYSTEMS;

EID: 77956422483     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISoLA.2006.38     Document Type: Conference Paper

References (23)

1. C. Müller-Schloer, "Organic computing: on the feasibility of controlled emergence," in CODES+ISSS '04. NY, USA: ACM Press, 2004.
2. J. O. Kephart and D. M. Chess, "The vision of autonomic computing," Computer, vol. 36, no. 1, pp. 41-50, 2003.
3. R. E. McDermott, R. J. Mikulak, and M. R. Beauregard, The Basics of FMEA. Quality Resources, 1996.
4. D. W. Vesley, D. J. Dugan, J. Fragole, J. M. II, and J. Railsback, Fault Tree Handbook with Aerospace Applications, NASA Office of Safety and Mission Assurance, NASA Headquarters, Washington DC 20546, August 2002.
5. F. Ortmeier, W. Reif, and G. Schellhorn, "Deductive cause-consequence analysis (DCCA)," in Proceedings of IFAC World Congress, 2005.
6. J. A. McCann and M. C. Huebscher, "Evaluation issues in autonomic computing." in GCC Workshops, 2004, pp. 597-608.
7. K. L. McMillan, Symbolic Model Checking. Kluwer Academic Publishers, 1990.
8. P. E. C. Pecheur, R. Simmons, "Formal verification of autonomy models: From livingstone to SMV," in Agent Technology from a Formal Perspective. Springer Verlag, 2006, pp. 103-113.
9. M. Güdemann, F. Ortmeier, and W. Reif, "Formal modeling and verification of systems with self-x properties," in Autonomic and Trusted Computing 2006, Proceedings. Springer LNCS, 2006.
10. D. A. P. E. M. Clarke Jr., O. Grumberg, Model Checking. The MIT Press, 1999.
11. E. A. Emerson, "Temporal and modal logic," in Handbook of Theoretical Computer Science, J. van Leeuwen, Ed. Elsevier Science Publishers B.V.: Amsterdam, The Netherlands, 1990, pp. 996-1072.
12. F. Ortmeier and W. Reif, "Failure-sensitive specification: A formal method for finding failure modes," Institut für Informatik, Universität Augsburg, Tech. Rep. 3, 2004.
13. T. A. Kletz, "Hazop and HAZAN notes on the identification and assessment of hazards," Inst. of Chemical Engineers, Rugby, England, Tech. Rep., 1986.
14. A. Thums, "Formale fehlerbaumanalyse," Ph.D. dissertation, Universität Augsburg, Augsburg, Germany, 2004, (in German).
15. F. Ortmeier, A. Thums, G. Schellhorn, and W. Reif, "Combining formal methods and safety analysis - the ForMoSA approach," in Integration of Software Specification Techniques for Applications in Engineering. Springer LNCS 3147, 2004.
16. F. Ortmeier, "Formale sicherheitsanalyse," Ph.D. dissertation, Universität Augsburg, 2005, (in German).
17. D. F. Gordon, "APT agents: Agents that are adaptive, predictable and timely," in Proceedings of the First Goddard Workshop on Formal Approaches to Agent-Based Systems (FAABS'00), 2000.
18. M. Kwiatkowska, G. Norman, and D. Parker, "Quantitative analysis with the probabilistic model checker PRISM," Electronic Notes in Theoretical Computer Science, vol. 153, no. 2, pp. 5-31, 2005.
19. C. Pecheur, W. Visser, and R. Simmons, "Riacs workshop on the verification and validation of autonomous and adaptive systems," in Conference report, AI Magazine, Fall 2001, Also available as NASA/TM-2001-210927, 2001.
20. S. Bernardi and S. Donatelli, "Stochastic petri nets and inheritance for dependability modelling." in PRDC, 2004, pp. 363-372.
21. M. Malhotra and K. S. Trivedi, "Dependability modeling using petri-net based models," IEEE Transactions on Reliability, Vol. 44, No. 3, pp. pp. 428-440, 1995.
22. S. Bologna, E. Ciancamerla, M. Minichino, A. Bobbio, G. Franceschinis, L. Portinale, and R. Gaeta, "Comparison of methodologies for the safety and dependability assessment of an industrial programmable logic controller," ESREL2001, 2001.
23. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, "The synchronous data-flow programming language LUSTRE," Proceedings of the IEEE, vol. 79, no. 9, pp. 1305-1320, September 1991.