메뉴 건너뛰기




Volumn , Issue , 2012, Pages

Perspectives on software safety case development for unmanned aircraft

Author keywords

Aviation software; Formal methods; Safety cases; Software safety; Unmanned aircraft

Indexed keywords

AUTOMATICALLY GENERATED; AVIATION SOFTWARE; HETEROGENEOUS REASONING; SAFETY ARGUMENTS; SAFETY ASSURANCE; SAFETY CASE; SOFTWARE SAFETY; UNMANNED AIRCRAFT SYSTEM; UNMANNED AIRCRAFTS;

EID: 84866647343     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSN.2012.6263939     Document Type: Conference Paper
Times cited : (33)

References (21)
  • 2
    • 84866708642 scopus 로고    scopus 로고
    • Safety integrity levels - Theory and problems, lessons in system safety
    • Feb.
    • F. Redmill, "Safety integrity levels - theory and problems, lessons in system safety," in Proc. 18th Safety-Critical Sys. Symp., Feb. 2010.
    • (2010) Proc. 18th Safety-critical Sys. Symp.
    • Redmill, F.1
  • 3
    • 84862697832 scopus 로고    scopus 로고
    • Nov.
    • Goal Structuring Notation Working Group, "GSN Community Standard Version 1," Nov. 2011. [Online]. Available: http://www. goalstructuringnotation.info/
    • (2011) GSN Community Standard Version 1
  • 5
    • 79959945737 scopus 로고    scopus 로고
    • Safety and assurance cases: Past, present and possible future - An adelard perspective
    • Feb.
    • R. Bloomfield and P. Bishop, "Safety and assurance cases: Past, present and possible future - an Adelard perspective," in Proc. 18th Safety-Critical Sys. Symp., Feb. 2010.
    • (2010) Proc. 18th Safety-critical Sys. Symp.
    • Bloomfield, R.1    Bishop, P.2
  • 6
    • 77649215978 scopus 로고    scopus 로고
    • Unmanned aircraft systems operations in the U.S. national airspace system
    • FAA Unmanned Aircraft Systems Program Office, Mar.
    • K. D. Davis, "Unmanned Aircraft Systems Operations in the U.S. National Airspace System," Interim Operational Approval Guidance 08-01, FAA Unmanned Aircraft Systems Program Office, Mar. 2008.
    • (2008) Interim Operational Approval Guidance 08-01
    • Davis, K.D.1
  • 7
    • 77955948615 scopus 로고    scopus 로고
    • European Organisation for the Safety of Air Navigation 2nd ed., EUROCON-TROL, Oct.
    • European Organisation for the Safety of Air Navigation, Safety Case Development Manual, 2nd ed., EUROCON-TROL, Oct. 2006.
    • (2006) Safety Case Development Manual
  • 8
    • 84883108515 scopus 로고    scopus 로고
    • Safety case composition using contracts - Refinements based on feedback from an industrial case study
    • Feb.
    • J. Fenn, R. Hawkins, P. Williams, and T. Kelly, "Safety case composition using contracts - refinements based on feedback from an industrial case study," in Proc. 15th Safety-Critical Sys. Symp., Feb. 2007.
    • (2007) Proc. 15th Safety-critical Sys. Symp.
    • Fenn, J.1    Hawkins, R.2    Williams, P.3    Kelly, T.4
  • 10
    • 49349113437 scopus 로고    scopus 로고
    • A software safety certification tool for automatically generated guidance, navigation and control code
    • E. Denney and S. Trac, "A software safety certification tool for automatically generated guidance, navigation and control code," in IEEE Aerospace Conf. Electronic Proc, 2008.
    • (2008) IEEE Aerospace Conf. Electronic Proc
    • Denney, E.1    Trac, S.2
  • 11
    • 33644512478 scopus 로고    scopus 로고
    • FAA Federal Aviation Administration, Dec.
    • FAA, System Safety Handbook, Federal Aviation Administration, Dec. 2000.
    • (2000) System Safety Handbook
  • 12
    • 84866651540 scopus 로고    scopus 로고
    • Interim standard of best practice on software in the context of DS 00-56 issue 4
    • Univ. of York, Standard of Best Practice
    • C. Menon, R. Hawkins, and J. McDermid, "Interim standard of best practice on software in the context of DS 00-56 Issue 4," Soft. Sys. Eng. Initiative, Univ. of York, Standard of Best Practice Issue 1, 2009.
    • (2009) Soft. Sys. Eng. Initiative , Issue.1
    • Menon, C.1    Hawkins, R.2    McDermid, J.3
  • 14
    • 67649786786 scopus 로고    scopus 로고
    • Safety management requirements for defence systems
    • UK Ministry of Defence (MOD) Jun.
    • UK Ministry of Defence (MOD), "Safety management requirements for defence systems," Defence Standard 00-56 Issue 4, Jun. 2007.
    • (2007) Defence Standard 00-56 , Issue.4
  • 16
    • 80053582962 scopus 로고    scopus 로고
    • Towards a formalism for conservative claims about the dependability of software-based systems
    • P. Bishop, R. Bloomfield, B. Littlewood, A. Povyakalo, and D. Wright, "Towards a formalism for conservative claims about the dependability of software-based systems," IEEE Trans. Soft. Eng., vol. 37, no. 5, pp. 708 - 717, 2011.
    • (2011) IEEE Trans. Soft. Eng. , vol.37 , Issue.5 , pp. 708-717
    • Bishop, P.1    Bloomfield, R.2    Littlewood, B.3    Povyakalo, A.4    Wright, D.5
  • 18
    • 77954340604 scopus 로고    scopus 로고
    • Software process synthesis in assurance based development of dependable systems
    • Apr.
    • P. Graydon and J. Knight, "Software process synthesis in assurance based development of dependable systems," in Proc. European Dependable Comp. Conf. (EDCC), Apr. 2010, pp. 75-84.
    • (2010) Proc. European Dependable Comp. Conf. (EDCC) , pp. 75-84
    • Graydon, P.1    Knight, J.2
  • 21
    • 85088723228 scopus 로고    scopus 로고
    • Guidelines and best practices for FAA certificate of authorization applications for small unmanned aircraft
    • Mar.
    • J. Elston, M. Stachura, B. Argrow, E. Frew, and C. Dixon, "Guidelines and Best Practices for FAA Certificate of Authorization Applications for Small Unmanned Aircraft," in Proc. AIAA Infotech@Aerospace Conf., Mar. 2011.
    • (2011) Proc. AIAA Infotech@Aerospace Conf.
    • Elston, J.1    Stachura, M.2    Argrow, B.3    Frew, E.4    Dixon, C.5


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