메뉴 건너뛰기




Volumn 8153 LNCS, Issue , 2013, Pages 1-7

Logic and epistemology in safety cases

Author keywords

[No Author keywords available]

Indexed keywords

SAFETY CASE;

EID: 84886422651     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-40793-2_1     Document Type: Conference Paper
Times cited : (21)

References (20)
  • 4
    • 29244461775 scopus 로고    scopus 로고
    • A unified fault-tolerance protocol
    • Lakhnech, Y., Yovine, S. (eds.) FORMATS/FTRTFT 2004. Springer, Heidelberg
    • Miner, P., Geser, A., Pike, L., Maddalon, J.: A unified fault-tolerance protocol. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS/FTRTFT 2004. LNCS, vol. 3253, pp. 167-182. Springer, Heidelberg (2004)
    • (2004) LNCS , vol.3253 , pp. 167-182
    • Miner, P.1    Geser, A.2    Pike, L.3    Maddalon, J.4
  • 5
    • 84872704525 scopus 로고    scopus 로고
    • Formal verification of conflict detection algorithms for arbitrary trajectories
    • Narkawicz, A., Muñoz, C.: Formal verification of conflict detection algorithms for arbitrary trajectories. Reliable Computing 17, 209-237 (2012)
    • (2012) Reliable Computing , vol.17 , pp. 209-237
    • Narkawicz, A.1    Muñoz, C.2
  • 6
    • 84867321379 scopus 로고    scopus 로고
    • Reasoning about the reliability of diverse two-channel systems in which one channel is "possibly perfect"
    • Littlewood, B., Rushby, J.: Reasoning about the reliability of diverse two-channel systems in which one channel is "possibly perfect". IEEE Transactions on Software Engineering 38, 1178-1194 (2012)
    • (2012) IEEE Transactions on Software Engineering , vol.38 , pp. 1178-1194
    • Littlewood, B.1    Rushby, J.2
  • 8
    • 0011964572 scopus 로고    scopus 로고
    • Society of Automotive Engineers: Aerospace Recommended Practice (ARP) 4754: Also issued as EUROCAE ED-79; revised as ARP 4754A December
    • Society of Automotive Engineers: Aerospace Recommended Practice (ARP) 4754: Certification Considerations for Highly-Integrated or Complex Aircraft Systems (1996), Also issued as EUROCAE ED-79; revised as ARP 4754A (December 2010)
    • (1996) Certification Considerations for Highly-Integrated or Complex Aircraft Systems
  • 9
    • 84886428894 scopus 로고
    • Requirements and Technical Concepts for Aviation (RTCA) Washington, DC
    • This document is known as EUROCAE ED-12B in Europe
    • Requirements and Technical Concepts for Aviation (RTCA) Washington, DC: DO-178B: Software Considerations in Airborne Systems and Equipment Certification (1992), This document is known as EUROCAE ED-12B in Europe
    • (1992) DO-178B: Software Considerations in Airborne Systems and Equipment Certification
  • 12
    • 84886380600 scopus 로고    scopus 로고
    • Tool Integration with the Evidential Tool Bus
    • Giacobazzi, R., Berdine, J., Mastroeni, I. (eds.) VMCAI 2013. Springer, Heidelberg
    • Cruanes, S., Hamon, G., Owre, S., Shankar, N.: Tool Integration with the Evidential Tool Bus. In: Giacobazzi, R., Berdine, J., Mastroeni, I. (eds.) VMCAI 2013. LNCS, vol. 7737, pp. 275-294. Springer, Heidelberg (2013)
    • (2013) LNCS , vol.7737 , pp. 275-294
    • Cruanes, S.1    Hamon, G.2    Owre, S.3    Shankar, N.4
  • 13
    • 84924180488 scopus 로고
    • Updated edition. Cambridge University Press the original is dated
    • Toulmin, S.E.: The Uses of Argument, Updated edition. Cambridge University Press (2003) (the original is dated 1958)
    • (1958) The Uses of Argument
    • Toulmin, S.E.1
  • 16
    • 83755177715 scopus 로고    scopus 로고
    • Evaluating human-automation interaction using task analytic behavior models, strategic knowledge-based erroneous human behavior generation, and model checking
    • Bolton, M.L., Bass, E.J.: Evaluating human-automation interaction using task analytic behavior models, strategic knowledge-based erroneous human behavior generation, and model checking. In: IEEE International Conference on Systems, Man, and Cybernetics, Anchorage, AK, pp. 1788-1794 (2011)
    • (2011) IEEE International Conference on Systems, Man, and Cybernetics, Anchorage, AK , pp. 1788-1794
    • Bolton, M.L.1    Bass, E.J.2
  • 19
    • 84930613638 scopus 로고    scopus 로고
    • Formal modeling and analysis for interactive hybrid systems
    • Fourth International Workshop on Formal Methods for Interactive Systems: FMIS 2011, Limerick, Ireland
    • Bass, E.J., Feigh, K.M., Gunter, E., Rushby, J.: Formal modeling and analysis for interactive hybrid systems. In: Fourth International Workshop on Formal Methods for Interactive Systems: FMIS 2011, Limerick, Ireland. Electronic Communications of the EASST, vol. 45 (2011)
    • (2011) Electronic Communications of the EASST , vol.45
    • Bass, E.J.1    Feigh, K.M.2    Gunter, E.3    Rushby, J.4


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