Search Results

Automation on Validation and Verification (V&V) leveraging Formal Methods, and in particular Model Checking, is seeing an increasing use in the Aerospace domain. In recent years, Formal Methods have been used to verify systems and software and its correctness as a way to augment traditional methods relying on simulation and testing. Recent updates to the relevant Aerospace regulations (e.g. DO178C, DO331 and DO333) now have explicit provisions for utilization of models and formal methods. In a previous paper a compositional methodology for the verification of Aerospace Systems has been described with application to Electrical Power Generation and Distribution Systems. In this paper we present an expansion of the previous work in two directions. First, we describe the application of the methodology to the validation of Proximity Sensing Systems (PSS) requirements showing the effectiveness of the method to a new aerospace domain.

The complexity of software development is increasing unprecedentedly with every next generation of aircraft systems. This requires to adopt new techniques of software design and verification that could optimize the time and cost of software development. At the same time these techniques need to ensure high quality of software design and safety compliance to regulatory guidelines like DO-178C [1] and its supplements DO-330[2] and DO-331[3]. To arrive at new technologies one has to evaluate the alternate methods available for software design by developing models, integration of models, auto-code generation, auto test generation and also the performance parameters like time, effort, reuse and presentation needs to be evaluated. We have made an attempt to present summary of alternate design concept study, and edge of MBD over other design techniques.

In aerospace industry, the concept of Integrated Vehicle Health Management (IVHM) has gained momentum and is becoming need of the hour for entire value chain in the industry. The expected benefits of lesser time for maintenance reduced operating cost and ever busy airports are motivating aircraft manufacturers to come up with tools, techniques and technologies to enable advanced diagnostic and prognostic systems in aircrafts. At present, various groups are working on different systems and platforms for health monitoring of an aircraft e.g. SHM (Structural Health Monitoring), PHM (Prognostics Health Monitoring), AHM (Aircraft Health Monitoring), and EHM (Engine Health Monitoring) and so on. However, these approaches are mostly restricted to federated architecture where faults and failures for standalone line replaceable units (LRUs) are logged inside the unit in fault storage area and are retrieved explicitly using maintenance based applications for fault and failure diagnostics.

In modern aircraft power systems, active power converters are promising replacements for transformer rectifier units concerning efficiency and weight. To assess the benefits of active power converters, converter design and optimization should be carefully done under the operation requirements of aircraft applications: electromagnetic interference (EMI) standards, power quality standards, etc. Moreover, certain applications may have strict limits on other converter specifications: weight, size, converter loss, etc. This paper presents the methodology for performance optimization of different active power converters (active front-ends, isolated DC/DC converters and three-phase isolated converters) for aircraft applications. Key methods for power converter component (e.g. inductors, semiconductor devices, etc.) performance optimization and loss calculation are introduced along with the converter optimization procedure.

This paper presents an overview of a project called “Modelling and Simulation Tools for Systems Integration on Aircraft (MISSION)”. This is a collaborative project being developed under the European Union Clean Sky 2 Program, a public-private partnership bringing together aeronautics industrial leaders and public research organizations based in Europe. The provision of integrated modeling, simulation, and optimization tools to effectively support all stages of aircraft design remains a critical challenge in the Aerospace industry. In particular the high level of system integration that is characteristic of new aircraft designs is dramatically increasing the complexity of both design and verification. Simultaneously, the multi-physics interactions between structural, electrical, thermal, and hydraulic components have become more significant as the systems become increasingly interconnected.

The Aircraft System Health Management (ASHM) tool is a UTC developed web application that provides access to Aircraft Condition Monitoring Function (ACMF) reports and Flight Deck Effects (FDE) records for Boeing 787®, A320®, and A380® aircraft. The tool was built with a flexible architecture to field a range of off-board diagnostics and prognostics modules designed to transform an abundance of data into actionable and timely knowledge about fleet health. This paper describes the system architecture and implementation with a focus on “lessons learned” in applying diagnostic and prognostics algorithms to available fleet data. Key topics include ensuring analytic robustness, design for cross-enterprise collaboration and defining a workable approach to testing, validating and deploying prognostics and diagnostics models with various degrees of complexity. A case study is provided related to fluid leak detection within an environmental control subsystem.

Multi core platforms offer high performance at low power and have been deemed as future of size, weight and power constrained applications like avionics safety critical applications. Multi core platforms are widely used in non-real time systems where the average case performance is desired like in consumer electronics, telecom domains. Despite these advantages, multi core platforms (hardware and software) pose significant certification challenges for safety critical applications and hence there has been limited usage in avionics and other safety critical applications. Many multicore platform solutions which can be certified to DO-254 & DO 178B Level A are commercially available. There is a need to evaluate these platforms w.r.t certification requirements before deploying them in the safety critical systems thereby reducing the program risks. This paper discusses the advantages of multi core platforms in terms of performance, power consumption and weight/size.

Today's digital avionics systems leverage the use of the Embedded COTS (Commercial Off The Shelf) hardware to fit the need of small form factor, low power, reduced time to market and reduced development time with efficient use of DO-254 for compliance of product. COTS modules are entering in digital avionics systems such as COM (Computer On Module)/SOM (System On Module)/SIP (System In Package) with huge advancement in semiconductor and packaging industry. In today's scenario COTS are very useful for DAL (Development Assurance Level) C and below as the efforts on compliance for DAL A and B are huge. This paper proposes to use these for DAL A and B as well, where one can get enormous benefit on efforts of compliance and time to market. This paper makes an attempt to explain the current scenario of the Embedded COTS usage in Avionics Systems.