空中交通管理安全原型验证的综合方法:案例研究

T. Stelkens-Kobsch, M. Finke, Nils Carstengerdes
{"title":"空中交通管理安全原型验证的综合方法:案例研究","authors":"T. Stelkens-Kobsch, M. Finke, Nils Carstengerdes","doi":"10.1109/DASC.2017.8102082","DOIUrl":null,"url":null,"abstract":"Security in air traffic management is still a rather new challenge and receives increased interest during recent years. This implies that new security concepts and systems are developed. Usually all systems have to go through several validation cycles to reach a higher technical readiness level. As no well-established validation approach is available which considers the special aspects of security this forms an additional barrier when developing air traffic control security systems. This is true because suitable validation approaches have to be developed first. The latter includes the risk of forgetting something, when the development is not initiated in a structured way. Within the air traffic security project GAMMA such an approach has been developed and applied to a set of seven prototypes. Based on the European Operational Concept Validation Methodology and a Security Risk Assessment Methodology, this approach identifies additional security controls, system requirements, validation objectives and key performance indicators. These are the driving elements for the design of the validation setup and procedure The paper demonstrates the feasibility of this new approach using one specific example, the Secure Air Traffic Control Communications prototype. The paper describes the approach and the resulting validation setup and procedures in detail. It briefly describes the obtained results for the developed prototype as one specific use case of the approach.","PeriodicalId":130890,"journal":{"name":"2017 IEEE/AIAA 36th Digital Avionics Systems Conference (DASC)","volume":"95 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2017-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":"{\"title\":\"A comprehensive approach for validation of air traffic management security prototypes: A case study\",\"authors\":\"T. Stelkens-Kobsch, M. Finke, Nils Carstengerdes\",\"doi\":\"10.1109/DASC.2017.8102082\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Security in air traffic management is still a rather new challenge and receives increased interest during recent years. This implies that new security concepts and systems are developed. Usually all systems have to go through several validation cycles to reach a higher technical readiness level. As no well-established validation approach is available which considers the special aspects of security this forms an additional barrier when developing air traffic control security systems. This is true because suitable validation approaches have to be developed first. The latter includes the risk of forgetting something, when the development is not initiated in a structured way. Within the air traffic security project GAMMA such an approach has been developed and applied to a set of seven prototypes. Based on the European Operational Concept Validation Methodology and a Security Risk Assessment Methodology, this approach identifies additional security controls, system requirements, validation objectives and key performance indicators. These are the driving elements for the design of the validation setup and procedure The paper demonstrates the feasibility of this new approach using one specific example, the Secure Air Traffic Control Communications prototype. The paper describes the approach and the resulting validation setup and procedures in detail. It briefly describes the obtained results for the developed prototype as one specific use case of the approach.\",\"PeriodicalId\":130890,\"journal\":{\"name\":\"2017 IEEE/AIAA 36th Digital Avionics Systems Conference (DASC)\",\"volume\":\"95 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2017-09-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2017 IEEE/AIAA 36th Digital Avionics Systems Conference (DASC)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/DASC.2017.8102082\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2017 IEEE/AIAA 36th Digital Avionics Systems Conference (DASC)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/DASC.2017.8102082","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 4

摘要

空中交通管理中的安全仍然是一个相当新的挑战,近年来受到越来越多的关注。这意味着需要开发新的安全概念和系统。通常,所有系统都必须经过几个验证周期才能达到更高的技术准备水平。由于没有行之有效的验证方法可以考虑安全的特殊方面,这在开发空中交通管制安全系统时形成了额外的障碍。这是真的,因为必须首先开发合适的验证方法。当开发没有以结构化的方式启动时,后者包括忘记某些内容的风险。在空中交通安全项目GAMMA中,已经开发了这种方法并将其应用于一套7个原型。基于欧洲操作概念验证方法和安全风险评估方法,该方法确定了额外的安全控制、系统需求、验证目标和关键绩效指标。这些都是验证装置和程序设计的驱动因素。本文通过一个具体的例子,即安全空中交通管制通信原型,证明了这种新方法的可行性。本文详细描述了该方法以及由此产生的验证设置和程序。它简要地描述了作为该方法的一个特定用例的开发原型所获得的结果。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
A comprehensive approach for validation of air traffic management security prototypes: A case study
Security in air traffic management is still a rather new challenge and receives increased interest during recent years. This implies that new security concepts and systems are developed. Usually all systems have to go through several validation cycles to reach a higher technical readiness level. As no well-established validation approach is available which considers the special aspects of security this forms an additional barrier when developing air traffic control security systems. This is true because suitable validation approaches have to be developed first. The latter includes the risk of forgetting something, when the development is not initiated in a structured way. Within the air traffic security project GAMMA such an approach has been developed and applied to a set of seven prototypes. Based on the European Operational Concept Validation Methodology and a Security Risk Assessment Methodology, this approach identifies additional security controls, system requirements, validation objectives and key performance indicators. These are the driving elements for the design of the validation setup and procedure The paper demonstrates the feasibility of this new approach using one specific example, the Secure Air Traffic Control Communications prototype. The paper describes the approach and the resulting validation setup and procedures in detail. It briefly describes the obtained results for the developed prototype as one specific use case of the approach.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
Towards higher level of A-SMGCS: Handshake of electric taxi and trajectory-based taxi operations Automatic speed profiling and automatic landings during advanced RNP to xLS flight tests An assessment of reduced crew and single pilot operations in commercial transport aircraft operations Evaluation of a tactical surface metering tool for Charlotte Douglas international airport via human-in-the-loop simulation Recommended changes to interval management to achieve operational implementation
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1