Pub Date : 2016-09-01DOI: 10.1109/DASC.2016.7778069
Noé Monterrosa, J. Montoya, Fredy Jarquín, C. Bran
This article presents the development of a fixed-wing UAV flight controller using a complete parallelism embedded system as a FPGA. Many solutions for UAVs flight controllers are based on embedded sequential systems. However, these systems are not perfect. The greater number of processes and tasks being executed simultaneously, the more variables such as precision, speed of response and synchronism may suffer. Our proposed flight controller solves this problem because it is based on a concurrent system and can therefore, execute many processes at the same time. The development of this flight controller represents just one part of the “Drone Bosco” project, where university students from Universidad Don Bosco are constructing the first UAV designed completely in El Salvador. The solution was designed and implemented taking into consideration specific characteristics of other areas of the project such as Radio Control Systems, Power Generation Systems and Aerodynamics. These considerations are outlined in this article. The flight controller is based on a state machine system that migrates from state to state depending on the stimulus received from sensors like accelerometers, tachometers, compass, pitot, GPS, etc. Another feature developed in this project is an emergency system that provides enough intelligence and robustness to secure the integrity of the aircraft in case a problem occurs during missions. Features like high speed of response, adaptable calibration and parallelism are achieved with our solution. Moreover, given that many parameters are generic, it has the flexibility to migrate to other fixed-wing UAVs with different characteristics. A similar approach could be applied in the future for the development of other devices that need navigation controllers with these characteristics, for example rockets or rovers. The results obtained in the simulations and tests of the flight controller system are described in detail in this article.
{"title":"Design, development and implementation of a UAV flight controller based on a state machine approach using a FPGA embedded system","authors":"Noé Monterrosa, J. Montoya, Fredy Jarquín, C. Bran","doi":"10.1109/DASC.2016.7778069","DOIUrl":"https://doi.org/10.1109/DASC.2016.7778069","url":null,"abstract":"This article presents the development of a fixed-wing UAV flight controller using a complete parallelism embedded system as a FPGA. Many solutions for UAVs flight controllers are based on embedded sequential systems. However, these systems are not perfect. The greater number of processes and tasks being executed simultaneously, the more variables such as precision, speed of response and synchronism may suffer. Our proposed flight controller solves this problem because it is based on a concurrent system and can therefore, execute many processes at the same time. The development of this flight controller represents just one part of the “Drone Bosco” project, where university students from Universidad Don Bosco are constructing the first UAV designed completely in El Salvador. The solution was designed and implemented taking into consideration specific characteristics of other areas of the project such as Radio Control Systems, Power Generation Systems and Aerodynamics. These considerations are outlined in this article. The flight controller is based on a state machine system that migrates from state to state depending on the stimulus received from sensors like accelerometers, tachometers, compass, pitot, GPS, etc. Another feature developed in this project is an emergency system that provides enough intelligence and robustness to secure the integrity of the aircraft in case a problem occurs during missions. Features like high speed of response, adaptable calibration and parallelism are achieved with our solution. Moreover, given that many parameters are generic, it has the flexibility to migrate to other fixed-wing UAVs with different characteristics. A similar approach could be applied in the future for the development of other devices that need navigation controllers with these characteristics, for example rockets or rovers. The results obtained in the simulations and tests of the flight controller system are described in detail in this article.","PeriodicalId":340472,"journal":{"name":"2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133090941","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2016-09-01DOI: 10.1109/DASC.2016.7778038
R. Mogford, Dan Peknik, Aaron Duley, Cody Evans, Lionel Delmo, Christian Amalu
NASA is developing the Flight Awareness Collaboration Tool (FACT) to support airline and airport operations during winter storms. The goal is to reduce flight delays and cancellations due to winter weather. FACT concentrates relevant information from the Internet and Federal Aviation Administration on one screen for easy access. It provides collaboration tools for those managing the winter weather event including the airline operations center, airport authority, the air traffic control tower, and de-icing operators. We have formed a user team from an affected airport to guide the design and evaluate the Web-based prototype. Future work includes adding predictive capabilities, conducting a simulation to test FACT in a realistic environment, and evaluating the tool in an operational environment.
{"title":"Flight awareness collaboration tool development","authors":"R. Mogford, Dan Peknik, Aaron Duley, Cody Evans, Lionel Delmo, Christian Amalu","doi":"10.1109/DASC.2016.7778038","DOIUrl":"https://doi.org/10.1109/DASC.2016.7778038","url":null,"abstract":"NASA is developing the Flight Awareness Collaboration Tool (FACT) to support airline and airport operations during winter storms. The goal is to reduce flight delays and cancellations due to winter weather. FACT concentrates relevant information from the Internet and Federal Aviation Administration on one screen for easy access. It provides collaboration tools for those managing the winter weather event including the airline operations center, airport authority, the air traffic control tower, and de-icing operators. We have formed a user team from an affected airport to guide the design and evaluate the Web-based prototype. Future work includes adding predictive capabilities, conducting a simulation to test FACT in a realistic environment, and evaluating the tool in an operational environment.","PeriodicalId":340472,"journal":{"name":"2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC)","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114807582","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2016-09-01DOI: 10.1109/DASC.2016.7778046
B. Gallina, A. Andrews
DO-331 is the supplement of DO-178C for model-based development. DO-331 is an objective-based guidance, which defines a set of objectives that have to be achieved for the model-based development of aeronautical software. The guidance also recommends the evidence in terms of activities and work products that should respectively be carried out and produced to meet the objectives. To explain why the evidence collected supports the claims concerning objectives achievement, manufacturers could adopt a safety case-based approach. Fail-SafeMBT is an academic, recently proposed, and potentially innovative model-based testing process, which needs compelling arguments to be adopted for the development of aeronautical software. To reduce the gap between industrial settings and academic settings, in this paper, we adopt the safety case-based approach and we explain how to semi-automatically derive means for compliance, aimed at arguing Fail-SafeMBT's compliance. Our focus is limited to the Verification Planning Process and we contribute to partially justify the adequacy of Fail-SafeMBT to act as process evidence by creating fragments of compelling arguments. To do that, we first manually check if Fail-SafeMBT includes DO-178C/DO-331-compliant process elements, then we model Fail-SafeMBT in compliance with Software Process Engineering Meta-model 2.0, then, we derive process-based arguments from the Fail-SafeMBT process model by using MDSafeCer, the recently introduced Model Driven Safety Certification method. By doing so, we provide a threefold contribution: we pioneer the interpretation of DO-331 in academic settings, we validate MDSafeCer in the avionics domain and we strengthen Fail-SafeMBT by providing suggestions aimed at increasing its maturity level.
DO-331是DO-178C的补充，用于基于模型的开发。DO-331是一个基于目标的指南，它定义了一组必须实现的航空软件基于模型开发的目标。该指南还就为实现这些目标而应分别开展和产生的活动和工作产品提出了证据。为了解释为什么收集的证据支持有关目标实现的声明，制造商可以采用基于安全案例的方法。Fail-SafeMBT是一个学术性的，最近被提出的，具有潜在创新性的基于模型的测试过程，需要在航空软件的开发中采用令人信服的论据。为了减少工业环境和学术环境之间的差距，在本文中，我们采用了基于安全案例的方法，并解释了如何半自动地推导合规手段，旨在论证Fail-SafeMBT的合规性。我们的重点仅限于验证计划过程，我们通过创建令人信服的论据片段来部分证明Fail-SafeMBT作为过程证据的充分性。为此，我们首先手动检查Fail-SafeMBT是否包含符合do - 178c / do -331的过程元素，然后根据软件过程工程元模型2.0对Fail-SafeMBT进行建模，然后，我们使用MDSafeCer(最近引入的模型驱动安全认证方法)从Fail-SafeMBT过程模型中导出基于过程的参数。通过这样做，我们提供了三方面的贡献:我们在学术环境中率先解释了DO-331，我们在航空电子领域验证了MDSafeCer，我们通过提供旨在提高其成熟度的建议来加强Fail-SafeMBT。
{"title":"Deriving verification-related means of compliance for a model-based testing process","authors":"B. Gallina, A. Andrews","doi":"10.1109/DASC.2016.7778046","DOIUrl":"https://doi.org/10.1109/DASC.2016.7778046","url":null,"abstract":"DO-331 is the supplement of DO-178C for model-based development. DO-331 is an objective-based guidance, which defines a set of objectives that have to be achieved for the model-based development of aeronautical software. The guidance also recommends the evidence in terms of activities and work products that should respectively be carried out and produced to meet the objectives. To explain why the evidence collected supports the claims concerning objectives achievement, manufacturers could adopt a safety case-based approach. Fail-SafeMBT is an academic, recently proposed, and potentially innovative model-based testing process, which needs compelling arguments to be adopted for the development of aeronautical software. To reduce the gap between industrial settings and academic settings, in this paper, we adopt the safety case-based approach and we explain how to semi-automatically derive means for compliance, aimed at arguing Fail-SafeMBT's compliance. Our focus is limited to the Verification Planning Process and we contribute to partially justify the adequacy of Fail-SafeMBT to act as process evidence by creating fragments of compelling arguments. To do that, we first manually check if Fail-SafeMBT includes DO-178C/DO-331-compliant process elements, then we model Fail-SafeMBT in compliance with Software Process Engineering Meta-model 2.0, then, we derive process-based arguments from the Fail-SafeMBT process model by using MDSafeCer, the recently introduced Model Driven Safety Certification method. By doing so, we provide a threefold contribution: we pioneer the interpretation of DO-331 in academic settings, we validate MDSafeCer in the avionics domain and we strengthen Fail-SafeMBT by providing suggestions aimed at increasing its maturity level.","PeriodicalId":340472,"journal":{"name":"2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC)","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115464951","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2016-09-01DOI: 10.1109/DASC.2016.7778023
Stefan Manuel Neis, Melissa Irene Blackstun
Jeppesen GmbH is researching new communication and interaction systems for the next generation flight deck. One such opportunity is the determination of use cases for wearable technology in support of airline personnel. Key attributes of wearables, pertinent to the ongoing research efforts, include mobility, persistence, ability to be proactive, and context awareness. Wearables also enable hands-free use. The current study attempts to exploit these characteristics to determine their efficacy in the flight deck. The study used a Sony SmartWatch 3 to test two identified use-cases for wearables by delivering Air Traffic Control commands and other flight relevant information graphically and textually to pilots while conducting flights in a simulator setting. These trials were compared with the delivery of the same information via traditional voice instructions and the Controller-Pilot Data Link Communications screen as is integrated in a Boeing 787 auxiliary panel, next to the Primary Flight Display. A preliminary symbology for Air Traffic Control instructions was developed. In the first experiment, instructions depicted on the SmartWatch were evaluated for subjective usability, subjective workload, performance, and effect on pilot situation awareness. In the study, performance was determined by response time, detection of intentionally placed anomalies in, and the correct execution of Air Traffic Control instructions. Performance from instructions displayed graphically and textually on the SmartWatch was not significantly different than on the datalink communications screen. The three aforementioned methods, however, significantly improved response times in comparison with voice communication with Air Traffic Control. The study also determined that a smartwatch is not preferred by pilots for delivering textual Air Traffic Control commands due to the added workload of turning the wrist to view Air Traffic Control messages. In a second experiment, flight-relevant information was provided on the SmartWatch, such as live field winds and Minimum Equipment List items, in reduced visibility, terminal area operations to test acceptance by pilots. This information was considered useful by pilots. Further research needs to be conducted to understand the interactions between information type, information delivery method, and the effects on pilot acceptance. Additional findings of the two-part study include the preference of graphical data over textual information, and for live field winds to be displayed in field of view, when field winds affect the target threshold speed. The implications of this work are two-fold. Firstly, future research should be conducted to expand on and test the identified use cases of wearables in the aviation industry. Additionally, the representation of Air Traffic Control communications graphically should be investigated on other display areas, e.g. Multi-Functional Display, Head-Up Display, and datalink communication sections on a
{"title":"Feasibility analysis of wearables for use by airline crew","authors":"Stefan Manuel Neis, Melissa Irene Blackstun","doi":"10.1109/DASC.2016.7778023","DOIUrl":"https://doi.org/10.1109/DASC.2016.7778023","url":null,"abstract":"Jeppesen GmbH is researching new communication and interaction systems for the next generation flight deck. One such opportunity is the determination of use cases for wearable technology in support of airline personnel. Key attributes of wearables, pertinent to the ongoing research efforts, include mobility, persistence, ability to be proactive, and context awareness. Wearables also enable hands-free use. The current study attempts to exploit these characteristics to determine their efficacy in the flight deck. The study used a Sony SmartWatch 3 to test two identified use-cases for wearables by delivering Air Traffic Control commands and other flight relevant information graphically and textually to pilots while conducting flights in a simulator setting. These trials were compared with the delivery of the same information via traditional voice instructions and the Controller-Pilot Data Link Communications screen as is integrated in a Boeing 787 auxiliary panel, next to the Primary Flight Display. A preliminary symbology for Air Traffic Control instructions was developed. In the first experiment, instructions depicted on the SmartWatch were evaluated for subjective usability, subjective workload, performance, and effect on pilot situation awareness. In the study, performance was determined by response time, detection of intentionally placed anomalies in, and the correct execution of Air Traffic Control instructions. Performance from instructions displayed graphically and textually on the SmartWatch was not significantly different than on the datalink communications screen. The three aforementioned methods, however, significantly improved response times in comparison with voice communication with Air Traffic Control. The study also determined that a smartwatch is not preferred by pilots for delivering textual Air Traffic Control commands due to the added workload of turning the wrist to view Air Traffic Control messages. In a second experiment, flight-relevant information was provided on the SmartWatch, such as live field winds and Minimum Equipment List items, in reduced visibility, terminal area operations to test acceptance by pilots. This information was considered useful by pilots. Further research needs to be conducted to understand the interactions between information type, information delivery method, and the effects on pilot acceptance. Additional findings of the two-part study include the preference of graphical data over textual information, and for live field winds to be displayed in field of view, when field winds affect the target threshold speed. The implications of this work are two-fold. Firstly, future research should be conducted to expand on and test the identified use cases of wearables in the aviation industry. Additionally, the representation of Air Traffic Control communications graphically should be investigated on other display areas, e.g. Multi-Functional Display, Head-Up Display, and datalink communication sections on a ","PeriodicalId":340472,"journal":{"name":"2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC)","volume":"22 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123563729","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2016-09-01DOI: 10.1109/DASC.2016.7777997
Soyeon Jung, Keumjin Lee
Sequencing arrival flights is a major task of air traffic management, and there exist various optimization tools to support the air traffic controllers. It is, however, difficult to employ these tools in the actual operational environments since they lack consideration on the human cognitive process. This paper proposes a new framework to predict the arrival sequences based on a preference learning approach, where we learn the sequence data operated by human controllers. The proposed algorithm works in two-stages: it first learns the pairwise preference functions between arrivals using binomial logistic regression, and then it induces the total sequence for a new set of arrivals by comparing the scores of each aircraft, which are the sums of pairwise preference probabilities. The proposed model is demonstrated with real traffic data at Incheon International Airport and its performance is assessed using the Spearman's rank correlation.
{"title":"Probabilistic prediction model of air traffic controllers' sequencing strategy based on pairwise comparisons","authors":"Soyeon Jung, Keumjin Lee","doi":"10.1109/DASC.2016.7777997","DOIUrl":"https://doi.org/10.1109/DASC.2016.7777997","url":null,"abstract":"Sequencing arrival flights is a major task of air traffic management, and there exist various optimization tools to support the air traffic controllers. It is, however, difficult to employ these tools in the actual operational environments since they lack consideration on the human cognitive process. This paper proposes a new framework to predict the arrival sequences based on a preference learning approach, where we learn the sequence data operated by human controllers. The proposed algorithm works in two-stages: it first learns the pairwise preference functions between arrivals using binomial logistic regression, and then it induces the total sequence for a new set of arrivals by comparing the scores of each aircraft, which are the sums of pairwise preference probabilities. The proposed model is demonstrated with real traffic data at Incheon International Airport and its performance is assessed using the Spearman's rank correlation.","PeriodicalId":340472,"journal":{"name":"2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC)","volume":"158 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122980073","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2016-09-01DOI: 10.1109/DASC.2016.7778103
K. N. Maleki, K. Ashenayi, L. Hook, Justin G. Fuller, N. Hutchins
Despite the tremendous attention Unmanned Aerial Vehicles (UAVs) have received in recent years for applications in transportation, surveillance, agriculture, and search and rescue, as well as their possible enormous economic impact, UAVs are still banned from fully autonomous commercial flights. One of the main reasons for this is the safety of the flight. Traditionally, pilots control the aircraft when complex situations emerge that even advanced autopilots are not able to manage. Artificial Intelligence based methods and Adaptive Controllers have proven themselves to be efficient in scenarios with uncertainties; however, they also introduce another concern: nondeterminism. This research endeavors to find a solution on how such algorithms can be utilized with higher reliability. Our method is based on using an adaptive model to verify the performance of a control parameter - proposed by a nondeterministic adaptive controller or AI-based optimizer - before it is deployed on the physical platform. Furthermore, a backup mechanism is engaged to recover the drone in case of failure. A Neural Network is employed to model the aircraft, and a Genetic Algorithm is utilized to optimize the PID controller of a quadcopter. The initial experimental results from test flights indicate the feasibility of this method.
{"title":"A reliable system design for nondeterministic adaptive controllers in small UAV autopilots","authors":"K. N. Maleki, K. Ashenayi, L. Hook, Justin G. Fuller, N. Hutchins","doi":"10.1109/DASC.2016.7778103","DOIUrl":"https://doi.org/10.1109/DASC.2016.7778103","url":null,"abstract":"Despite the tremendous attention Unmanned Aerial Vehicles (UAVs) have received in recent years for applications in transportation, surveillance, agriculture, and search and rescue, as well as their possible enormous economic impact, UAVs are still banned from fully autonomous commercial flights. One of the main reasons for this is the safety of the flight. Traditionally, pilots control the aircraft when complex situations emerge that even advanced autopilots are not able to manage. Artificial Intelligence based methods and Adaptive Controllers have proven themselves to be efficient in scenarios with uncertainties; however, they also introduce another concern: nondeterminism. This research endeavors to find a solution on how such algorithms can be utilized with higher reliability. Our method is based on using an adaptive model to verify the performance of a control parameter - proposed by a nondeterministic adaptive controller or AI-based optimizer - before it is deployed on the physical platform. Furthermore, a backup mechanism is engaged to recover the drone in case of failure. A Neural Network is employed to model the aircraft, and a Genetic Algorithm is utilized to optimize the PID controller of a quadcopter. The initial experimental results from test flights indicate the feasibility of this method.","PeriodicalId":340472,"journal":{"name":"2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC)","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121661218","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2016-09-01DOI: 10.1109/DASC.2016.7778056
T. Driessen, B. Bauer
By now, Model-Driven Development is a well-known approach in many domains. By (re)using standardized domain-specific models, productivity is increased and common errors are simultanously avoided. The Architecture Analysis and Design Language is a domain-specific modeling language for embedded, real-time and safety-critical systems. In our approach we utilize this modeling language, with its well-defined semantics, as source language for a mapping into real-time Java. The chosen subset of model elements enables system designers to create a system and subsequently generate a code framework that complies to the model in terms of structure, timing and communicational restrictions. In order to demonstrate the benefits of our approach, we model and generate the code framework for an existing autopilot and compare our results with the original software.
{"title":"Shifting temporal and communicational aspects into design phase via AADL and RTSJ","authors":"T. Driessen, B. Bauer","doi":"10.1109/DASC.2016.7778056","DOIUrl":"https://doi.org/10.1109/DASC.2016.7778056","url":null,"abstract":"By now, Model-Driven Development is a well-known approach in many domains. By (re)using standardized domain-specific models, productivity is increased and common errors are simultanously avoided. The Architecture Analysis and Design Language is a domain-specific modeling language for embedded, real-time and safety-critical systems. In our approach we utilize this modeling language, with its well-defined semantics, as source language for a mapping into real-time Java. The chosen subset of model elements enables system designers to create a system and subsequently generate a code framework that complies to the model in terms of structure, timing and communicational restrictions. In order to demonstrate the benefits of our approach, we model and generate the code framework for an existing autopilot and compare our results with the original software.","PeriodicalId":340472,"journal":{"name":"2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC)","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122734823","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2016-09-01DOI: 10.1109/DASC.2016.7778107
T. Stelkens-Kobsch, M. Finke, Matthias Kleinert, M. Schaper
Since years it is known that radio communication used by ATC can easily be intruded and is therefore subject to recurrent attacks. Nevertheless the voice communication between pilots and air traffic controllers is still the most flexible and efficient medium especially in a busy traffic environment, in non-standard situations or simply when exchanging air-ground messages in plain language is needed. As vulnerability seems not dominant compared to the number of crucial damages, voice communication is still the basic and most important communication method within the aeronautical mobile service. This motivated the development of a prototype called `Secure ATC Communications' (SACom) within the frame of the Global ATM Security Management (GAMMA) Project. The paper at hand describes the required functionalities of the prototype, the validation approach taken, using this security prototype as example, and conclusions for the results of validation, regarding the prototype itself as well as the validation methodology applied to the security context within ATM.
{"title":"Validating an ATM security prototype — First results","authors":"T. Stelkens-Kobsch, M. Finke, Matthias Kleinert, M. Schaper","doi":"10.1109/DASC.2016.7778107","DOIUrl":"https://doi.org/10.1109/DASC.2016.7778107","url":null,"abstract":"Since years it is known that radio communication used by ATC can easily be intruded and is therefore subject to recurrent attacks. Nevertheless the voice communication between pilots and air traffic controllers is still the most flexible and efficient medium especially in a busy traffic environment, in non-standard situations or simply when exchanging air-ground messages in plain language is needed. As vulnerability seems not dominant compared to the number of crucial damages, voice communication is still the basic and most important communication method within the aeronautical mobile service. This motivated the development of a prototype called `Secure ATC Communications' (SACom) within the frame of the Global ATM Security Management (GAMMA) Project. The paper at hand describes the required functionalities of the prototype, the validation approach taken, using this security prototype as example, and conclusions for the results of validation, regarding the prototype itself as well as the validation methodology applied to the security context within ATM.","PeriodicalId":340472,"journal":{"name":"2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC)","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125376815","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2016-09-01DOI: 10.1109/DASC.2016.7777946
Cesar A. Nava-Gaxiola, C. Barrado
As part of the Single European Sky Airspace Research program (SESAR) a new operational instrument is being developed: the Free Route Airspace (FRA). FRA defines airspace areas where user can decide about the best performance routes, not subjected to airways or mandatory crossing points. Currently, 11 FRA projects are been deployed specially in low density areas and low density time periods. Long-term benefits for one single FRA can account for saving up to 32,000 nautical miles per day, which may represent around 100,000 Euros savings per days. In this paper we assess the benefit figures with the opinions of the involved air traffic controllers. They point to the challenges to be overtaken before extending the future FRA. An important issue, raised by the air traffic controllers, was the importance of the support tools. Also important are the previous training and a full FRA deployment.
{"title":"Free route airspace and the need of new air traffic control tools","authors":"Cesar A. Nava-Gaxiola, C. Barrado","doi":"10.1109/DASC.2016.7777946","DOIUrl":"https://doi.org/10.1109/DASC.2016.7777946","url":null,"abstract":"As part of the Single European Sky Airspace Research program (SESAR) a new operational instrument is being developed: the Free Route Airspace (FRA). FRA defines airspace areas where user can decide about the best performance routes, not subjected to airways or mandatory crossing points. Currently, 11 FRA projects are been deployed specially in low density areas and low density time periods. Long-term benefits for one single FRA can account for saving up to 32,000 nautical miles per day, which may represent around 100,000 Euros savings per days. In this paper we assess the benefit figures with the opinions of the involved air traffic controllers. They point to the challenges to be overtaken before extending the future FRA. An important issue, raised by the air traffic controllers, was the importance of the support tools. Also important are the previous training and a full FRA deployment.","PeriodicalId":340472,"journal":{"name":"2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125909237","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2016-09-01DOI: 10.1109/DASC.2016.7778026
Laureano Fernandez-Olmos, F. Burrull, P. Pavón-Mariño
In this paper we present the AFDX (Avionics Full-DupleX switched Ethernet) extension for the open-source networking tool Net2Plan [1][2]. The Net2Plan-AFDX extension is also open-source, with no cost. This software will provide integrators, researchers and students with a set of tools to calculate, given an AFDX network design, an exhaustive set of AFDX parameters and performance merits. Net2Plan-AFDX can also be used for developing additional tools to evaluate and research alternatives related to AFDX. The implemented AFDX modules offer a Network Calculus and a Trajectory Approach algorithms' implementation for the theoretical worst-case delay calculation, given a configuration table. It also implements a simulation tool that produces realistic end-to-end latency values expected in an operational environment, as well as other performance merits. Avionics System Integrators can improve their designs using the obtained results.
{"title":"Net2Plan-AFDX: An open-source tool for optimization and performance evaluation of AFDX networks","authors":"Laureano Fernandez-Olmos, F. Burrull, P. Pavón-Mariño","doi":"10.1109/DASC.2016.7778026","DOIUrl":"https://doi.org/10.1109/DASC.2016.7778026","url":null,"abstract":"In this paper we present the AFDX (Avionics Full-DupleX switched Ethernet) extension for the open-source networking tool Net2Plan [1][2]. The Net2Plan-AFDX extension is also open-source, with no cost. This software will provide integrators, researchers and students with a set of tools to calculate, given an AFDX network design, an exhaustive set of AFDX parameters and performance merits. Net2Plan-AFDX can also be used for developing additional tools to evaluate and research alternatives related to AFDX. The implemented AFDX modules offer a Network Calculus and a Trajectory Approach algorithms' implementation for the theoretical worst-case delay calculation, given a configuration table. It also implements a simulation tool that produces realistic end-to-end latency values expected in an operational environment, as well as other performance merits. Avionics System Integrators can improve their designs using the obtained results.","PeriodicalId":340472,"journal":{"name":"2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC)","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125913110","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：