New Challenges for Future Avionic Architectures

@inproceedings{Boniol2013NewCF,
  title={New Challenges for Future Avionic Architectures},
  author={Fr{\'e}d{\'e}ric Boniol},
  booktitle={Modeling Approaches and Algorithms for Advanced Computer Applications},
  year={2013}
}
  • F. Boniol
  • Published in
    Modeling Approaches and…
    2013
  • Computer Science
Electronic sets operated on aircraft are usually summarized as “avionic architectures” (for “aviation electronic architecture”). Since the 70s, avionic architectures, composed of digital processing modules and communication buses, are supporting more and more avionic applications such as flight control, flight management, etc. Hence, avionic architectures have become a central component of an aircraft. They have to ensure a large variety of important requirements: safety, robustness to… 
A proposal for a Fully Distributed Flight Control System design
  • M. SegvicK. K. NikolicE. Ivanjko
  • Computer Science
    2016 39th International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO)
  • 2016
TLDR
This paper outlines design for FDFCS and its CUs and main contribution is that aircraft stability and trajectory control logic is distributed to a network of independent Control Units collocated on actuators collaborating to control the aircraft with respect to common goal.
On TTEthernet for Integrated Fault-Tolerant Spacecraft Networks
TLDR
This paper explores the application of TTEthernet technology to future IMA spacecraft architectures as part of the Avionics and Software (A&S) project chartered by NASA's Advanced Exploration Systems (AES) program.
Avionics Modification Research Analysis: From Electromechanical to Digital Avionics and from Digital to Integrated Modular Avionics (IMA)
TLDR
Two different top level avionics system design architectures have been developed for a medium jet civilian aircraft with digital avionics systems involving military standard 1553B (MIL-STD-1553B) bus and Integrated Modular Avionics (IMA) e.g. ARINC 653 and ARINC664 protocols.
Metrics for Integrated Modular Avionics Architecture
TLDR
This thesis aims to find relevant metrics for system architects when developing IMA architecture in the aerospace industry and selects three metrics: structural complexity using Shannon’s entropy, instability and abstractness metric, and complexity and coupling metric.
Model-based deployment generation for safety-critical avionics systems
TLDR
A model-based development tool is employed, called AutoFOCUS 3, to generate deployment solutions for an industrial case study based on a flight control system with strict requirements regarding safety, timing, storage and communication aspects, and this tool is customized to seek optimized deployment solutions with respect to the number of cores and other hardware resources.
Grain-oriented computer architectures for dynamically-reconfigurable avionics systems
  • C. Insaurralde
  • Computer Science
    2013 IEEE/AIAA 32nd Digital Avionics Systems Conference (DASC)
  • 2013
TLDR
An overview and a grain-based classification of RCAs are described and a review that reveals gaps of current RCAs for avionics is presented that has a good argument for having an effective control at the smallest reconfigurable RCA unit for efficient energy.
A runtime reconfiguration design targeting avionics systems
  • D. Loubach
  • Computer Science
    2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC)
  • 2016
TLDR
This paper introduces in this paper a runtime reconfiguration design implemented using a SoC, which enables both full and partial reconfigurations and opens up the possibility to optimize a system towards adaptability to comply with real-time constraints changing regarding performance and power consumption.
A Survey of Optimal Hardware and Software Mapping for Distributed Integrated Modular Avionics Systems
TLDR
This paper presents and discusses open issues and future trends, from which future developments may draw upon, and synthesizes an encompassing formulation by means of multi-objective optimization of DIMA system architecture.
Mapping real-time communicating tasks on a distributed IMA architecture
TLDR
A mapping algorithm using an integrated approach taking into account the feasibility of mapping a given application on a variable number of processing elements is presented and a scalability analysis of the proposed mapping algorithm is presented.
Challenges and Ways Forward for Avionics Platforms and their Development in 2019
TLDR
The state-of-the-art in avionics is summarized, namely avionics platforms, requirements engineering, model-based development, automated verification, emerging technologies, and emerging demands.
...
...

References

SHOWING 1-10 OF 25 REFERENCES
Dynamic software reconfiguration for fault-tolerant real-time avionic systems
  • S. Ellis
  • Computer Science
    Microprocess. Microsystems
  • 1997
Reconfiguration in an integrated avionics design
  • Kenneth A. Seeling
  • Computer Science
    15th DASC. AIAA/IEEE Digital Avionics Systems Conference
  • 1996
TLDR
The report addresses all dimensions of the integrated avionics processing fault tolerance/reconfiguration implementation, which includes the preparation for failures, detection of failures, determination and implementation of a recovery scheme, and return to operations.
Constraint-based design and allocation of shared avionics resources
  • L. SagaspeP. Bieber
  • Computer Science
    2007 IEEE/AIAA 26th Digital Avionics Systems Conference
  • 2007
TLDR
An approach that helps to decide whether a set of systems can be implemented on an IMA architecture while enforcing safety requirements is proposed, based on the exchange of allocations constraints.
Hardware reconfiguration scheme for high availability systems
We propose a hardware reconfiguration scheme that, together with the adoption of an on-line testing strategy, can be employed to meet the goal of designing highly available systems to be implemented
Embedded Systems Handbook
Embedded Systems. Real-Time Embedded Systems. Design and Validation of Embedded Systems. Design and Verification Languages. Operating Systems and Quasi-Static Scheduling. Timing and Performance
The PEGASE Project: Precise and Scalable Temporal Analysis for Aerospace Communication Systems with Network Calculus
TLDR
The French project PEGASE grouping academics and industrial partners from the aerospace field has been undertaken to improve some key aspects of the Network Calculus and its implementation.
OTAWA: An Open Toolbox for Adaptive WCET Analysis
TLDR
The OTAWA toolbox presented in this paper has been designed to host algorithms resulting from research in the domain of WCET analysis so that they can be combined to compute tight WCET estimates.
A calculus for network delay, Part I: Network elements in isolation
  • R. Cruz
  • Computer Science
    IEEE Trans. Inf. Theory
  • 1991
TLDR
A calculus is developed for obtaining bounds on delay and buffering requirements in a communication network operating in a packet switched mode under a fixed routing strategy, and burstiness constraints satisfied by the traffic that exits the element are derived.
Early experience with the Barrelfish OS and the Single-Chip Cloud Computer
TLDR
The Barrelfish research multikernel OS on the Intel Single-Chip Cloud Computer (SCC) is described, the minimal changes required to bring the OS up on the SCC are described, and early performance results are presented from an SCC system running standalone, and also a single Barre Alfish instance running across a heterogeneous machine consisting of an S CC and its host PC.
Corey: An Operating System for Many Cores
TLDR
This paper proposes three operating system abstractions (address ranges, kernel cores, and shares) that allow applications to control inter-core sharing and to take advantage of the likely abundance of cores by dedicating cores to specific operating system functions.
...
...