Using Deductive Cause-Consequence Analysis (DCCA) with SCADE

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

Volumn 4680 LNCS, Issue , 2007, Pages 465-478

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

^a UNIVERSITY OF AUGSBURG   (Germany)

Author keywords

dcca; Deductive cause consequence analysis; Dependability; Formal methods; Safety analysis; Safety critical systems; SCADE

Indexed keywords

FAILURE ANALYSIS; FORMAL METHODS; SEMANTICS;

DEDUCTIVE CAUSE CONSEQUENCE ANALYSIS; DEPENDABILITY; SAFETY ANALYSIS; SAFETY CRITICAL SYSTEMS;

SECURITY SYSTEMS;

EID: 38149048480     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75101-4_44     Document Type: Conference Paper

References (15)

1. Abdulla, P.A., Deneux, J., Stalmarck, G., Agren, H., Akerlund, O.: Designing safe, reliable systems using SCADE. In: Margaria, T., Steffen, B. (eds.) ISoLA 2004. LNCS, vol. 4313, Springer, Heidelberg (2006)
2. Coppit, D., Sullivan, K.J., Dugan, J.B.: Formal semantics of models for computational engineering: A case study on dynamic fault trees. In: International Symposium on Software Reliability Engineering, IEEE, Los Alamitos (2000)
3. Peled, D.A., Clarke Jr., E.M., Grumberg, O.: Model Checking. The MIT Press, Cambridge (1999)
4. Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science: Volume B, Formal Models and Semantics, pp. 995-1072. North-Holland Pub. Co./MIT Press (1990)
5. Górski, J., Wardziński, A.: Formalising fault trees. In: Redmill, F., Anderson, T. (eds.) Achievement and Assurance of Safety, Springer, Heidelberg (1995)
6. Kletz, T.A.: Hazop and HAZAN notes on the identification and assessment of hazards. Technical report, Inst. of Chemical Engineers, Rugby, England (1986)
7. Klose, J., Thums, A.: The STATEMATE reference model of the reference case study 'Verkehrsleittechnik'. Technical Report 2002-01, Universität Augsburg (2002)
8. Kupferman, O., Vardi, M.Y.: Relating linear and branching model checking. Technical Report TR98-301, 18 (1998)
9. McMillan, K.L.: Symbolic Model Checking. Kluwer Academic Publishers, Dordrecht (1990)
10. Ortmeier, F.: Formale Sicherheitsanalyse. PhD thesis, Universität Augsburg (in German) (2006)
11. Ortmeier, F., Reif, W.: Failure-sensitive specification: A formal method for finding failure modes. Technical Report 3, Institut für Informatik, Universität Augsburg (2004)
12. Ortmeier, F., Reif, W., Schellhorn, G.: Formal safety analysis of a radio-based railroad crossing using deductive cause-consequence analysis (DCCA). In: Dal Cin, M., Kaâniche, M., Pataricza, A. (eds.) EDCC 2005. LNCS, vol. 3463, Springer, Heidelberg (2005)
13. Ortmeier, F., Reif, W., Schellhorn, G.: Deductive cause-consequence analysis (DCCA). In: Proceedings of IFAC World Congress, Elsevier, Amsterdam (2006)
14. RTCA. DO-178B: Software considerations in airborne systems and equipment certification (December 1st 1992)
15. Thums, A.: Formale Fehlerbaumanalyse. PhD thesis, Universität Augsburg, Augsburg, Germany (in German) (2004)