메뉴 건너뛰기




Volumn 4680 LNCS, Issue , 2007, Pages 106-119

Compositional temporal fault tree analysis

Author keywords

Automated FTA; Fault tree synthesis; Formal FTA; Formal safety analysis; Temporal fault trees

Indexed keywords

COMPUTER SYSTEM RECOVERY; HIERARCHICAL SYSTEMS; TOPOLOGY; TREES (MATHEMATICS);

EID: 38349071061     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75101-4_12     Document Type: Conference Paper
Times cited : (37)

References (13)
  • 2
    • 33947401131 scopus 로고    scopus 로고
    • Automatic Generation of Analyzable Failure Propagation Models from Component-Level Failure Annotations
    • 9th edn, pp, IEEE Computer Society, Los Alamitos () ISBN 0-7695-2472-9
    • Grunske, L., Kaiser, B.: Automatic Generation of Analyzable Failure Propagation Models from Component-Level Failure Annotations. In: Fifth International Conference on Quality Software (QSIC 2005), 9th edn., pp. 117-123. IEEE Computer Society, Los Alamitos (2005) ISBN 0-7695-2472-9
    • (2005) Fifth International Conference on Quality Software (QSIC , pp. 117-123
    • Grunske, L.1    Kaiser, B.2
  • 3
    • 38349003291 scopus 로고    scopus 로고
    • Pandora: The Time of Priority-AND gates
    • France, pp
    • Walker, M.D., Papadopoulos, Y.I.: Pandora: The Time of Priority-AND gates. In: INCOM 2006, France, pp. 237-242 (2006)
    • (2006) INCOM , pp. 237-242
    • Walker, M.D.1    Papadopoulos, Y.I.2
  • 6
    • 0033907928 scopus 로고    scopus 로고
    • Quantification of sequential failure logic for fault tree analysis
    • Long, W., Sato, Y., Horigome, M.: Quantification of sequential failure logic for fault tree analysis. Reliability Engineering & System Safety 67, 269-274 (2000)
    • (2000) Reliability Engineering & System Safety , vol.67 , pp. 269-274
    • Long, W.1    Sato, Y.2    Horigome, M.3
  • 12
    • 84882961670 scopus 로고    scopus 로고
    • Deriving Real-Time Requirements for Software from Safety Analysis
    • IEEE Computer Society Press, Los Alamitos
    • Gorski, J., Wardzinski, A.: Deriving Real-Time Requirements for Software from Safety Analysis. In: Proc. 8th Euromicro Workshop on Real-Time Systems, pp. 9-14. IEEE Computer Society Press, Los Alamitos (1996)
    • (1996) Proc. 8th Euromicro Workshop on Real-Time Systems , pp. 9-14
    • Gorski, J.1    Wardzinski, A.2
  • 13


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.