메뉴 건너뛰기




Volumn 4313 LNCS, Issue , 2006, Pages 115-129

Designing safe, reliable systems using scade

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED DESIGN; COMPUTER SYSTEM RECOVERY; FAULT TREE ANALYSIS; FORMAL LANGUAGES; MATHEMATICAL MODELS; SECURITY SYSTEMS; SYSTEMS ENGINEERING;

EID: 33845926089     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11925040_8     Document Type: Conference Paper
Times cited : (49)

References (22)
  • 3
    • 0020880468 scopus 로고
    • The temporal logic of branching time
    • M. Ben-Ari, A. Pnueli, and Z. Manna. The temporal logic of branching time. Acta Informatica, 20:207-226, 1983.
    • (1983) Acta Informatica , vol.20 , pp. 207-226
    • Ben-Ari, M.1    Pnueli, A.2    Manna, Z.3
  • 6
    • 0022769976 scopus 로고
    • Graph-based algorithms for boolean function manipulation
    • Aug
    • R.E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Trans. on Computers, C-35(8):677-691, Aug. 1986.
    • (1986) IEEE Trans. on Computers , vol.C-35 , Issue.8 , pp. 677-691
    • Bryant, R.E.1
  • 8
    • 84937557946 scopus 로고    scopus 로고
    • NuSMV2: An opensource tool for symbolic model checking
    • Ed Brinksma and Kim Guldstrand Larsen, editors, Computer Aided Verification, of, Springer-Verlag, July 27-31
    • Alessandro Cimatti et al. NuSMV2: an opensource tool for symbolic model checking. In Ed Brinksma and Kim Guldstrand Larsen, editors, Computer Aided Verification, volume 2404 of Lecture Notes in Computer Science, pages 359-364. Springer-Verlag, July 27-31 2002.
    • (2002) Lecture Notes in Computer Science , vol.2404 , pp. 359-364
    • Cimatti, A.1
  • 10
    • 0022706656 scopus 로고
    • Automatic verification of finite-state concurrent systems using temporal logic specification
    • April
    • E.M. Clarke, E.A. Emerson, and A.P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specification. ACM Trans. on Programming Languages and Systems, 8(2):244-263, April 1986.
    • (1986) ACM Trans. on Programming Languages and Systems , vol.8 , Issue.2 , pp. 244-263
    • Clarke, E.M.1    Emerson, E.A.2    Sistla, A.P.3
  • 11
    • 84919401135 scopus 로고
    • A machine program for theorem-proving
    • Martin Davis, George Logemann, and Donald Loveland. A machine program for theorem-proving. Commun. ACM, 5(7):394-397, 1962.
    • (1962) Commun. ACM , vol.5 , Issue.7 , pp. 394-397
    • Davis, M.1    Logemann, G.2    Loveland, D.3
  • 12
    • 0031276402 scopus 로고    scopus 로고
    • Exact and truncated computations of prime implicants of coherent and non-coherent fault trees within Aralia
    • Yves Dutuit and Antoine Rauzy. Exact and truncated computations of prime implicants of coherent and non-coherent fault trees within Aralia. Reliability Engineering and System Safety, 1997.
    • (1997) Reliability Engineering and System Safety
    • Dutuit, Y.1    Rauzy, A.2
  • 20
    • 84948975180 scopus 로고    scopus 로고
    • A tutorial on Stålmarck's proof procedure for propositional logic
    • G. Gopalakrishnan and P. Windley, editors, Palo Alto, CA, USA, 4-6 Nov, Berlin, Springer-Verlag
    • Mary Sheeran and Gunnar Stålmarck. A tutorial on Stålmarck's proof procedure for propositional logic. In G. Gopalakrishnan and P. Windley, editors, Proceedings 2nd Intl. Conf. on Formal Methods in Computer-Aided Design, FMCAD'98, Palo Alto, CA, USA, 4-6 Nov 1998, volume 1522, pages 82-99, Berlin, 1998. Springer-Verlag.
    • (1998) Proceedings 2nd Intl. Conf. on Formal Methods in Computer-Aided Design, FMCAD'98 , vol.1522 , pp. 82-99
    • Sheeran, M.1    Stålmarck, G.2
  • 21
    • 33845937791 scopus 로고    scopus 로고
    • Esterel Technologies
    • Esterel Technologies. Scade suite do-178b qualified code generator. http://www.esterel-technologies.com/products/scade-suite/do-178b-code- generation.html.
    • Scade suite do-178b qualified code generator
  • 22
    • 33845922932 scopus 로고    scopus 로고
    • W. E. Vesely, F. F. Goldberg, N. H. Roberts, and D. F. Haasl. Fault Tree Handbook. U. S. Nuclear Regulatory Commission, NUREG-0492, Washington DC, 1981.
    • W. E. Vesely, F. F. Goldberg, N. H. Roberts, and D. F. Haasl. Fault Tree Handbook. U. S. Nuclear Regulatory Commission, NUREG-0492, Washington DC, 1981.


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