Development Of Avionics Systems Research Articles

A Simulation and Verification Platform for Avionics Systems Based on Future Airborne Capability Environment Architecture

Avionics systems, which determine the performance, stability, and safety of aircraft, are a crucial part of aircraft. With the rapid development of the aviation industry, there are many serious problems in the process of the traditional simulation and verification of avionics systems, especially in the aspects of poor reusability of the hardware and software, poor real-time data interaction, and the high cost of development. In order to solve these problems, a simulation and verification platform for avionics systems based on the Future Airborne Capability Environment (FACE) architecture has been designed by using component and memory database technology. First, a general architecture is designed by referencing the FACE architecture, which allows flexible access to software and hardware resources of avionics systems. Second, the key technologies involved in the platform are described in detail, including scheduling management, communication management, and configuration management, which provide technical support for the simulation and verification of avionics systems. Finally, the simulation and verification environment of avionics systems is established, which realizes data interaction and management of various models, and improves the efficiency of the development and implementation of avionics systems.

Design of Aeronautical Digital Video and Communication Bus Processing System

Abstract With the development of avionics systems, Avionics Digital Video Bus (ARINC 818) and Digital Information Transmission System (Arinc429) have become a new generation of aviation video transmission and communication bus standard respectively. Aiming at the characteristics of ARINC 818 and Arinc429, an aeronautical digital video and communication bus processing system is designed. First, the ARINC 818 aviation video transmission bus and the Arinc429 communication bus standard are introduced. Then, the design principles of the aeronautical digital video and communication bus processing system are described according to this standard, and the design scheme of each system component is introduced in detail. Finally, build a hardware test platform for testing and verification. The system development follows an integrated and modular design, with the Application Processing Unit (APU) main processor and Field Programmable Gate Array (FPGA) as the core, which realizes the superposition of 1-channel input ARINC 818 video with internally generated characters, and then outputs 1-channel ARINC 818 to the function displayed on the display. At the same time, it supports 7-channel Electronic Industries Association-422 (EIA-422) and 4-channel Arinc429 bus communication. In addition, the system supports the processing of 22 input discrete quantities and 7 input analog quantities. The design has been successfully used in a certain type of aircraft display control management system.

METHODS OF DEVELOPING INTEGRATED MODULAR AVIONICS SYSTEMS

The development of modern avionics systems makes the design of such systems impossible without the use of automation tools. Currently, the area of such tools is represented by patented tools developed by major aircraft manufacturers such as Boeing and Airbus, as well as a number of open or partially open international projects, differing in terms of validity, availability of source code and documentation. All tools are based on architectural models of the developed system. This article discusses the languages available for describing architectural models of avionics systems and shows which programming language is most appropriate due to its textual notation and embedded concepts that are well suited to represent most of the elements of embedded systems. The article then presents a set of tools for designing modern avionics systems. The toolbox provides both a general platform for designing and analyzing architectural models and a specialized solution for a specific area of avionics systems. It supports creating, editing and manipulating models in both text and graphic formats.

Adaptive recognition of intelligent inspection system for cable brackets in multiple assembly scenes

A safe and reliable avionics system is an important guarantee for airplanes when accomplishing all kinds of tasks. With the ever more comprehensive and intelligentized development of avionics system, the layout of cable brackets becomes more complicated, which results in the quick and reliable assembly, and inspection of cable brackets is becoming more and more demanding. Nowadays, the detection and recognition of cable brackets in aircraft assembly scenes still rely on manual labor to compare the real assembly scene with the designed two-dimensional drawings or graphs. With the increase in number and types of cable brackets, the recognition process in multi-assembly scenes becomes intricate, time-wasting, and highly mistakable. Aiming at the cable bracket recognition problems, this paper proposes a low retrain complexity hybrid model for adaptive recognition of cable brackets. Firstly, this paper builds a weight sharing feature extraction model using improved loss function and multi-scale ensemble convolutional neural network according to the analysis of cable brackets. Secondly, the support vector machine is used to classify the feature vector extracted by pre-trained feature extraction model. By this way, the hybrid model could be retrained quickly for new types of cable brackets never seen in multiple assembly scenes, under condition that bracket number and types are variable. At last, the performances of other feature extraction methods such as SIFT, HOG, and multi-layer perceptron (MLP) are evaluated for contrast with the proposed method. As shown in the results, our method obtains higher recognition accuracy.

Research on Service-oriented UAV Route Planning Component Design

In the field of aviation equipment, with the development of airborne avionics systems towards systemized multi-platform coordination, the service-oriented architecture (SOA) has become an important trend for the development of open avionics system. Based on the idea of SOA, the service-oriented design of the UAV route planning component is proposed in this paper. Firstly, the functions of avionics are abstracted out from generally involved avionics missions with focus on the conception of avionics service. Then the function-directed servitization process of the UAV avionics resources is studied, based on which, a set of callable UAV route planning components are further constructed. The UAV route planning service component set can be flexibly deployed according to different task requirements, which solves the problem of resource-application coupling for the UAV avionics, and provides support for the intelligent and autonomous operation of UAV.

イプシロンロケットのアビオニクス系の開発( イプシロンロケットの開発 第6回)

イプシロンロケットのアビオニクス系の開発( イプシロンロケットの開発 第6回)

Scheduling Independent Partitions in Integrated Modular Avionics Systems.

Recently the integrated modular avionics (IMA) architecture has been widely adopted by the avionics industry due to its strong partition mechanism. Although the IMA architecture can achieve effective cost reduction and reliability enhancement in the development of avionics systems, it results in a complex allocation and scheduling problem. All partitions in an IMA system should be integrated together according to a proper schedule such that their deadlines will be met even under the worst case situations. In order to help provide a proper scheduling table for all partitions in IMA systems, we study the schedulability of independent partitions on a multiprocessor platform in this paper. We firstly present an exact formulation to calculate the maximum scaling factor and determine whether all partitions are schedulable on a limited number of processors. Then with a Game Theory analogy, we design an approximation algorithm to solve the scheduling problem of partitions, by allowing each partition to optimize its own schedule according to the allocations of the others. Finally, simulation experiments are conducted to show the efficiency and reliability of the approach proposed in terms of time consumption and acceptance ratio.

AUTOMATIC ASSESSMENT METHODS OF A PILOT‘S FLIGHT IN THE TRAFFIC CIRCUIT

With an increasing number of aircraft, navigation requirements and fast development of avionics systems, as well as the need for the integration of UAVs into airspace, pilots are facing new challenges that need to be mitigated by the development of additional training and assessment systems. These measures would both assess and encourage student pilots to improve their performance by using predetermined flight accuracy requirements based on established flight corridors. In this paper, automatic assessment methods to be used for pilot flight assessment while flying in the circuit are analysed.

IXV avionics architecture: Design, qualification and mission results

The paper details the IXV avionics presenting the architecture and the constituting subsystems and equipment. It focuses on the novelties introduced, such as the Ethernet-based protocol for the experiment data acquisition system, and on the synergy with Ariane 5 and Vega equipment, pursued in order to comply with the design-to-cost requirement for the avionics system development. Emphasis is given to the adopted model philosophy in relation to OTS/COTS items heritage and identified activities necessary to extend the qualification level to be compliant with the IXV environment. Associated lessons learned are identified.Then, the paper provides the first results and interpretation from the flight recorders telemetry, covering the behavior of the Data Handling System, the quality of telemetry recording and real-time/delayed transmission, the performance of the batteries and the Power Protection and Distribution Unit, the ground segment coverage during visibility windows and the performance of the GNC sensors (IMU and GPS) and actuators.Finally, some preliminary tracks of the IXV follow on are given, introducing the objectives of the Innovative Space Vehicle and the necessary improvements to be developed in the frame of PRIDE.

Способ статической оценки времени работы компонентов AADL-моделей

During development of modern avionics systems and other mission-critical systems modelling is vitally used. Models can be used for checking and validation of developed system, including early validation. Early validation is very important because the cost of errors is raising exponentially depending on the development stage. For modelling of such systems, Architecture Analysis and Design Language (AADL) is widely used. It allows to model both architecture of a developed system and some of behavioral characteristics of its components. In the paper the task of automated model checking for consistency of some behavioral properties is considered. In particular, we focus on the problem of estimation of working time of model components and corresponding between this time and other properties in a model. This problem is close to the worst-case execution time problem (WCET) but it has its own specific in this application. We considered a static approach allowing to work with standard specification of components behaviour in AADL-models with specialized extended finite automata. In the paper peculiarities of used behaviour model (specialized finite automata) were considered including work with time and external events. We considered the problem of working time estimation for such models connected with non-local characteristic of this property. We propose an algorithm for time estimation for such behaviour models. This algorithm was implemented in MASIW framework, a tool for development of AADL-models.

The Integration Development Platform and Application of the Avionics System Based on the Model-Driven

This paper proposed an integration development platform of avionics system based on the model-driven method, including model-driven design, simulation, realization, integration and test. Through the applications and verification of the avionics system projects, this platform used the model-driven design to solve the problems of avionics system development, such as the long development cycle, heavy maintenance work, the complicated connection of all the development phases and the no reuse of design results. It could better adapt to the current requirements of avionics systems development.

In Memoriam: Stanley J. Kubina

He worked in industry for 10 years at Canadair on the design, development, and evaluation of avionics systems on classic Canadian aircraft such as the CL-28 “Argus” aircraft, the CL-44 “Yukon,” and the CL-66 “Cosmopolitan.” He was at Canadian Aviation Electronics as head of a DND (Canadian Department of National Defence) design team for the CHSS-2 ASW helicopter avionics and electrical systems. His work on the Argus patrol aircraft was the first methodical and documented EMC program on aircraft in Canada.

항공전자 시스템 통합시험장비 개발

In this paper, we present a development of an Avionics Hot Bench(AHB) used for the verification. of operational flight programs and fault analysis using various simulation and stimulation software. We propose an application of the open system architecture to develop the AHB which can be used for the development of a real aircraft avionics system. In the design of the AHB, to reduce the development period and cost we use as many as commercial off-the-shelf hardware and software items. The developed AHB is compared with the existing proven AHB which was used for T-50 avionics system development. Thorough comparison between the test results using the developed AHB and those using the existing AHB is performed and the overall comparison results are very satisfactory.

항공전자시스템 개발치구 개발

ASDR은 군용 항공기의 주 장비인 ASC와 이에 탑재되는 임무 운용 소프트웨어인 OFP 개발중에는 개발도구로 사용되며 또한 ASC/OFP 개발 후에는 유지/보수용 도구로 사용될 수 있다. 본 논문에서는 저속통제기용으로 개발된 ASDR의 전체 구조, 기능 및 특히 관성 및 공기 데이터 센서 시뮬레이션 부분에 대하여 기술한다. ASDR(Avionic System Development Rig) is used as a development tool during the design and development of the ASC/OFP and then can be used as a maintenance tool after developing them for a military aircraft. This paper describes the overall structure and the important features of KO-1 ASDR, especially about the dynamic simultion of inertial and air data sensors.

6.5.4 SafeAir ‐ An Integrated Development Environment and Methodology

AbstractSafeAir (http://www.safeair.org) is a European Commission project that has been submitted under the 5th framework program. Within the framework of SafeAir an Avionic System Development Environment (ASDE) will be developed and evaluated. ASDE will implement technologies, methods and tools that meet the high dependability needs of real time embedded systems. Once natural language requirements are in place, ASDE will support system and software property specifications on the basis of formal, readable, graphical notations. Notation will be based on block‐diagrams, activity‐charts and state‐charts, both at the analysis and design phase. ASDE will integrate defacto standard modelling tools (Statemate, MATLAB, Sildex, and SCADE) for complex embedded system applications. Thus, ASDE will provide a seamless process path from system‐level modelling tools to an automatic code generation tool in compliance with the DO‐178B certification standard [1] for critical airborne embedded systems. ASDE will significantly raise the degree of early error detection and reduce the validation effort during system integration time utilizing formal verification techniques for the verification of system critical properties.The key concepts for these improvements are a model based design process, formal verification, automatic code generation and automatic code validation.

2 Cost effectiveness of formal methods in the development of avionics systems at AEROSPATIALE

AbstractAEROSPATIALE has been using formal methods since the early 80's to develop part of the embedded systems, and more specifically most of the avionics systems. During the last two decades, such an approach has demonstrated significant cost savings. This paper presents some aspects of this approach and focuses more precisely on the way it has helped in reducing embedded system development and maintenance costs.This first section of this paper is devoted to a general description of the overall context and it gives some elements of history.The second section summarizes the benefits AEROSPATIALE has found in using SAO first, and now SCADE, and constitutes an attempt to synthesize the properties and characteristics that make a formal method efficient (at AEROSPATIALE).The third section summarizes some aspects of formal methods, which have not been extensively used yet but which are likely to induce extra cost reduction, namely proof techniques.

Boeing systems engineering experiences from the 777 AIMS program

The 777 Airplane Information Management System (AIMS) was one of the largest avionics systems development programs ever undertaken by Boeing for a commercial airplane. The scope and complexity of AIMS provided many system engineering challenges in all program phases. Traditional strategies had to be reviewed and updated to meet new demands. The 777 Working Together initiative, which emphasized communication and involvement with both customers and suppliers, was a key concept used in structuring development activities.

Co-specification for co-design in the development of avionics systems

Hardware-software concurrent design, referred to as “co-design”, is a new methodology that integrates the development of both hardware and software. It is made up mainly by the steps of specification, partitioning, and prototyping. This paper addresses the specification step. It proposes a specification paradigm based on the use of more than one single language. This approach is referred to as “co-specification”. It deals with formalizing the requirements through several partial specifications. These are therefore composed in a unified model that is used for later co-design steps. The approach is illustrated through the specification of an avionics system that is part of the Airbus A340 on-board systems family.

Co-Specifications for Co-Design in Avionics Systems Development

Hardware-software concurrent design, referred to as co-design, is a new methodology that integrates both the development of hardware and software. It is made up mainly by the steps of specification, partitioning, and prototyping. This paper issues the step of specification. We propose a specification paradigm based on the use of more than one single language. This approach is referred to as co-specifications. It deals with formalizing the requirements through several partial specifications. These are therefore composed in a unified model that is used for later co-design steps. We illustrate the approach through the specification of an avionics system that is part of the AIRBUS A340 on-board systems family.