K. Driscoll, B. Hall, Michael Paulitsch, P. Zumsteg, Håkan Sivencrona
{"title":"The real Byzantine Generals","authors":"K. Driscoll, B. Hall, Michael Paulitsch, P. Zumsteg, Håkan Sivencrona","doi":"10.1109/DASC.2004.1390734","DOIUrl":"https://doi.org/10.1109/DASC.2004.1390734","url":null,"abstract":"In contrast to previous papers on the Byzantine Generals problem, this work examines the problem from a practical, lower-level, phenomena point of view. The goal is to dispel a common belief that the problem is a myth (potentially arising from the anthropomorphic nature of previous literature). This work gives practical, succinct definitions for Byzantine fault and failure. It describes how these arise and are propagated in electrical signals and \"digital\" circuitry. The paper describes actual occurrences of Byzantine faults in several different systems. A taxonomy of methods for combating the problem is presented with examples of each method. The paper brings forth the following underappreciated facts: (1) cryptography is not a useful solution to the problem in actual systems, (2) most solutions to the problem must include a \"Byzantine filter\" (a circuit that converts a Byzantine signal to a nonByzantine signal).","PeriodicalId":422463,"journal":{"name":"The 23rd Digital Avionics Systems Conference (IEEE Cat. No.04CH37576)","volume":"120 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122749745","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}
{"title":"Implementation of new technologies in radar systems","authors":"M. Coluzzi, L. Carlin, M. Igawa, B. Rees","doi":"10.1109/DASC.2004.1391240","DOIUrl":"https://doi.org/10.1109/DASC.2004.1391240","url":null,"abstract":"Future radar systems employ new RF and digital technologies that increase their functionality and performance. These changes in the radar system design include zero-IF receivers, software radio implementations and employ computationally intense radar data processing. New functionalities of the radar include high resolution imaging, new multiple waveform designs, resource management and new radar system designs employ digital T/R modules. To investigate the feasibility of utilizing new digital technologies in a radar system, a low demand modulation scheme of a SSR (secondary surveillance radar) system was chosen. The receiver was realized with a CMOS gain controlled 110 dB amplifier, zero-IF quadrature mixer along with a software radio detection design that was implemented with a flexible FPGA (field programmable gate array), also implemented in CMOS. This type of work allow the adaptation of computationally intense requirements of active digital array radars empowering radar system designers to implement new detection schemes, increase dynamic management of RF energy and processing resources thereby enhancing nominal radar performance.","PeriodicalId":422463,"journal":{"name":"The 23rd Digital Avionics Systems Conference (IEEE Cat. No.04CH37576)","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121338226","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}
{"title":"Optimizing the spectral placement of future radio services","authors":"F. Box","doi":"10.1109/DASC.2004.1391253","DOIUrl":"https://doi.org/10.1109/DASC.2004.1391253","url":null,"abstract":"Several candidate frequency bands are currently being considered for allocation to future air/ground (A/G) communications systems. This paper presents a methodology for quantitatively comparing the inherent suitability of candidate bands. Attainable link capacity, which varies with carrier frequency and directly affects the overall spectral efficiency of a system, is used as suitability metric. Capacity bounds are derived from fundamental frequency-dependent propagation characteristics and design constraints imposed by operational system requirements. \"Acceptable\" and \"optimal\" frequency ranges (in which attainable link capacity exceeds 10% and 80% of maximum, respectively) are identified for various system implementations involving different combinations of antenna directionality, link direction, and link bandwidth. It is shown that, depending on the implementation considered, the optimal frequencies may fall within a range as narrow as 80-160 MHz or as wide as 40-4500 MHz (although, of course, only a small fraction of the \"optimal\" range could realistically be made available to any new aeronautical system). The methodology could serve as an analytical basis for evaluating future proposals for adjusting band allocations, so that new systems can be placed in bands where they will operate with maximal effectiveness and spectral efficiency.","PeriodicalId":422463,"journal":{"name":"The 23rd Digital Avionics Systems Conference (IEEE Cat. No.04CH37576)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121860680","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}
J. Grau, G. Gawinowsky, L. Guichard, S. Guibert, J. Nobel, D. Dohy, K. Belhacene
{"title":"Supersector experimental results proof of concept assessment","authors":"J. Grau, G. Gawinowsky, L. Guichard, S. Guibert, J. Nobel, D. Dohy, K. Belhacene","doi":"10.1109/DASC.2004.1391258","DOIUrl":"https://doi.org/10.1109/DASC.2004.1391258","url":null,"abstract":"The exploratory Supersector project falls within the scope of research based on the hypothesis that the current proliferation of controlled sectors had led to a too rigid use of airspace to face with medium- to long-term traffic growth. Supersector suggests a shift of paradigm from sector-division to sector-regrouping, i.e. instead of subdividing sectors to accommodate traffic growth, Supersector investigates a new control organization and practices from which traffic in large volume of airspace can be managed by teams of controllers with responsibilities no more restricted to sector-planning and radar-control but span from real-time traffic flow organization to conflict solving. In this way, it is expected that Supersector can help filling the gap between long-term predictive issues of central flow management, and short-term adaptive issues of radar-control, and thus moving from the today's non-synchronous Air Traffic Management System to a synchronous one, from a sector-control working methods to a network and flow management one, from conflict-based control to a time-based control one. A human-in-the-loop demonstration has been realised and allowed to validate the hypothesis and to identify the pros and cons of such a synchronised ATM. Time-based ATM architecture, 4D contract of service, teamwork, trunk-structured airspace design, medium-term anticipation and layer planning working methods have been explored and results are discussed.","PeriodicalId":422463,"journal":{"name":"The 23rd Digital Avionics Systems Conference (IEEE Cat. No.04CH37576)","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123643544","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}
{"title":"Anytime scheduling for real-time embedded control applications","authors":"J. Shackleton, D. Cofer, S. Cooper","doi":"10.1109/DASC.2004.1390804","DOIUrl":"https://doi.org/10.1109/DASC.2004.1390804","url":null,"abstract":"Current real-time scheduling methods focus on periodic tasks with fixed (or at least bounded) execution times. However, many tasks used in control and optimization applications do not fit this pattern. \"Anytime\" or incremental algorithms whose performance is variable and improves as their execution time increases are examples of such tasks. We have developed an adaptive scheduling framework to deal with multiple anytime tasks that compete with each other for processing time. This work explores the issues surrounding anytime tasks, how they are scheduled, how they adapt, and how they interact with more traditional scheduling techniques.","PeriodicalId":422463,"journal":{"name":"The 23rd Digital Avionics Systems Conference (IEEE Cat. No.04CH37576)","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129982562","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}
{"title":"Lateral containment concepts for closely spaced parallel approaches - [Not available for publications]","authors":"A. Warren","doi":"10.1109/DASC.2004.1391271","DOIUrl":"https://doi.org/10.1109/DASC.2004.1391271","url":null,"abstract":"","PeriodicalId":422463,"journal":{"name":"The 23rd Digital Avionics Systems Conference (IEEE Cat. No.04CH37576)","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126967878","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}
{"title":"WHEELIE - a mobile horizontal display filter to ease controller's separation task","authors":"H. Bering","doi":"10.1109/DASC.2004.1391261","DOIUrl":"https://doi.org/10.1109/DASC.2004.1391261","url":null,"abstract":"In the controlled airspace, safe aircraft separations have to be guaranteed by the responsible controller of the sector. For safe separation the controller has to apply horizontal or vertical separation. Conventional radar displays represent the information in 2 dimensions (2D). With such displays, the horizontal separations between various aircraft are easily perceptible by the human operator. In case the horizontal separation is not guaranteed any more, vertical separation has to be applied. Vertical separation is based on data collected from the secondary surveillance radar (SSR). These SSR data contain the flight altitude information from the aircraft beside other information. The altitude information is expressed in flight levels (FL) as three digit numbers in the second line of the label associated with the aircraft symbol. Therewith the FL information is not exploitable from the controller with the first glance on his operational display system (ODS). For the vertical separation the ATCO (air traffic control operator) has to permanently scan, read, memorize and compare the shown flight level numbers of all tracks under his responsibility. Therewith the controller creates in his mind a mental picture of the traffic situation. This task requires a strong mental effort from the controller. Based on the idea that for a controller applying vertical separation to two aircraft, a priori it is more important to know that these aircraft are flying on different FL, then extracting the real FL numbers from the labels and comparing them. The proposed tool introduces a mobile horizontal filter function to answer quickly with: 'the same' or 'a different' FL. The mobile horizontal filter is moved in the steps of the used flight levels (..., 220, 230, 240, ...) with the wheel of a mouse. The mouse wheel represents a simple and quick way to move the basis of the filter which acts as reference flight level. All aircraft flying the selected reference flight level are displayed graphically to stand out of all other (flying higher or lower) displayed aircraft and can so be identified easily in a first glance. The mobile horizontal filter function moved by the mouse wheel, supports controllers permanent scanning, reading and comparing tasks for the vertical separation. It stimulates controllers to see their actual traffic situation under another aspect.","PeriodicalId":422463,"journal":{"name":"The 23rd Digital Avionics Systems Conference (IEEE Cat. No.04CH37576)","volume":"164 5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127530267","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}
{"title":"Assigning time slot resources for uplink broadcast services","authors":"C. Moody, W. Wilson, I. Gheorghisor","doi":"10.1109/DASC.2004.1391256","DOIUrl":"https://doi.org/10.1109/DASC.2004.1391256","url":null,"abstract":"The FAA's Safe Flight 21 and Capstone programs are planning to deploy ground stations supporting broadcast services. Collectively, the term \"broadcast services\" encompasses three forms of broadcast information: automatic dependent surveillance-broadcast (ADS-B), traffic information services-broadcast (TIS-B) and flight information services broadcast (FIS-B). The Safe Flight 21 and Capstone programs both entail the installation of ground stations (referred to as ground-based transceivers - GBTs) that receive ADS-B information from, as well as transmit TIS-B and FIS-B information to equipped aircraft. The FAA has established a policy supporting two data links for broadcast services: 1090 Extended Squitter, and the Universal Access Transceiver (UAT). The initial ground infrastructures of both the Safe Flight 21 and Capstone programs are primarily limited to UAT. Therefore the focus of this paper is on the UAT data link.","PeriodicalId":422463,"journal":{"name":"The 23rd Digital Avionics Systems Conference (IEEE Cat. No.04CH37576)","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131440273","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}
C. Satterthwaite, T. Blocher, D. Corman, T. Herm, E. J. Martens
{"title":"IEIST force template technology provides a key capability for connecting tactical platforms to the global information grid","authors":"C. Satterthwaite, T. Blocher, D. Corman, T. Herm, E. J. Martens","doi":"10.1109/DASC.2004.1390819","DOIUrl":"https://doi.org/10.1109/DASC.2004.1390819","url":null,"abstract":"The advent of network technologies offers huge potential improvement in the useful information available to command and control (C/sup 2/) warfighter participants in both hostile battlefield and peacekeeping situations. In this paper, the force template concept is shown as a powerful element of the solution to these integration requirements. The evolving joint battlespace infosphere (JBI) and its application in the insertion of embedded infosphere software technology (IEIST) environment is discussed. This discussion focuses on how IEIST has adapted the evolving JBI force template concept to satisfy the needs inherent in integrating individual tactical platforms into network centric operations. The JBI force template concept and the IEIST force template implementation are compared and contrasted. The underlying strength of each in solving the integration of the warfighter with new sources of information available from infospheres such as the JBI is shown. The ultimate result of this integration is a more lethal and less vulnerable warfighter who knows the enemy's deployment and intent as it unfolds.","PeriodicalId":422463,"journal":{"name":"The 23rd Digital Avionics Systems Conference (IEEE Cat. No.04CH37576)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133407408","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}
{"title":"TDMS: test data management system for aviation software","authors":"R. Mukkamala, R. Pedagani, H. Keskar","doi":"10.1109/DASC.2004.1390794","DOIUrl":"https://doi.org/10.1109/DASC.2004.1390794","url":null,"abstract":"Quality assurance and testing phase is one of the most crucial phases in the life cycle of software. Most software, dealing with the critical aspects of aviation, is subjected to intense testing. This frequently results in generation of enormous, unorganized, raw data files. This data have to be processed and analyzed further to get a meaningful insight into potential problem areas. In this paper, we present the results of our study on designing and implementing a test management system specifically for testing aviation software. It has three major contributions. Firstly, we present a survey of existing work. Secondly, we discuss the design for a test data management system, TDMS. Finally, we discuss some implementation issues encountered during the TDMS development.","PeriodicalId":422463,"journal":{"name":"The 23rd Digital Avionics Systems Conference (IEEE Cat. No.04CH37576)","volume":"3 36","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114044303","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}