ARGUMENT-BASED AIRWORTHINESS ASSURANCE OF SMALL UAS

被引:0
作者
Denney, Ewen [1 ]
Pai, Ganesh [1 ]
机构
[1] NASA, Ames Res Ctr, SGT, Moffett Field, CA 94035 USA
来源
2015 IEEE/AIAA 34TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC) | 2015年
关键词
D O I
暂无
中图分类号
V [航空、航天];
学科分类号
08 ; 0825 ;
摘要
A combination of airworthiness and various operational restrictions are currently used to assure that unmanned aircraft system (UAS) operations can be conducted at an acceptable level of safety. We present a methodology to communicate these aspects in a unified way, providing a centralized record of safety risk management (SRM) activities. Central to our approach is the notion of structured argument, i.e., an explicit chain of reasoning linking safety substantiating evidence to the overall safety and airworthiness objectives. Our use of argumentation is motivated, in part, by the observations that: i) certain kinds of UAS operations currently require a safety case; ii) structured arguments are often a core component of modern safety cases, providing a convenient means to represent the underlying reasoning and to access the aggregated safety information; and iii) there exists a standardized graphical notation to present structured arguments, i.e., the goal structuring notation (GSN), which has been used in both civil and military aviation. To exemplify our methodology, we apply it to an unmanned rotorcraft system (URS), using GSN arguments to show the relationship between safety of URS operations, and various SRM measures including airworthiness, in particular a potential certification basis for type design assurance. The example illustrates how our approach can coexist with, and augment, existing safety processes by transforming SRM artifacts into assurance argument fragments.
引用
收藏
页数:17
相关论文
共 18 条
  • [1] [Anonymous], 0056 UK MIN DEF
  • [2] Berthold R., 2014, 33 IEEE AIAA DIG AV
  • [3] Clothier R, 2015, 16 AUSTR INT AER C
  • [4] Denney Ewen, 2013, Computer Safety, Reliability and Security. 32nd International Conference, SAFECOMP 2013. Proceedings: LNCS 8153, P21, DOI 10.1007/978-3-642-40793-2_3
  • [5] Denney Ewen, 2012, Computer Safety, Reliability, and Security. Proceedings of the 31st International Conference, SAFECOMP 2012, P1, DOI 10.1007/978-3-642-33678-2_1
  • [6] Denney Ewen, 2012, Computer Safety, Reliability,and Security. Proceedings of SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, P8, DOI 10.1007/978-3-642-33675-1_2
  • [7] Denney E., 2015, 34 INT C CO IN PRESS
  • [8] Denney E., 2015, 33 INT SYST IN PRESS
  • [9] Formal Foundations for Hierarchical Safety Cases
    Denney, Ewen
    Pai, Ganesh
    Whiteside, Iain
    [J]. 2015 IEEE 16TH INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING (HASE), 2015, : 52 - 59
  • [10] Denney E, 2014, LECT NOTES COMPUT SC, V8666, P294, DOI 10.1007/978-3-319-10506-2_20