al4

AerospaceLab

New Challenges for Future Avionic Architectures

Auteurs: 

P. Bieber, F. Boniol, M. Boyer, E. Noulard, C. Pagetti

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 equipment failures, determinism, and real-time.

Multidisciplinary Aerospace System Design: Principles, Issues and Onera Experience

Auteurs: 

S. Defoort, M. Balesdent, P. Klotz, P. Schmollgruber, J. Morio, J. Hermetz, C. Blondeau, G.Carrier, N. Bérend

With the increasing complexity of aerospace systems, it has become more
and more necessary to adopt a global, integrated approach from the very
early steps and throughout the design process. Tightly coupling aerodynamics,

Flight Control Laws: Recent Advances in the Evaluation of their Robustness Properties

Auteurs: 

C. Roos, C. Döll, J.-M. Biannic

This paper reviews a set of robustness analysis tools developed by the authors during the last decade to evaluate the robustness properties of high-dimensional closed-loop plants subject to numerous time-invariant uncertainties. These tools are used to compute both upper and lower bounds on the robust stability margin, the worst-case H∞ performance level, as well as the traditional gain, phase, modulus and time-delay margins.

Scene Understanding from Aerospace Sensors: What can be Expected?

Auteurs: 

S. Herbin , F. Champagnat, J. Israel, F. Janez, B. Le Saux, V. Leung, A. Michel

Automated scene understanding or interpretation is a fundamental problem of computer vision. Its goal is to compute a formal description of the  content and events that can be observed in images or videos and distribute it to artificial or human agents for further exploitation or storage. Over the last decade, tremendous progress has been made in the design of  algorithms able to analyze images taken under standard viewing conditions. Several of them, e.g., face detection, are already used daily on consumer products.

A semantic-Based Model to Assess Information for Intelligence

Auteurs: 

J. Besombes, L. Cholvy, V. Dragos

This paper addresses the problem of information evaluation for Intelligence. Starting from NATO recommendations for assessing information, we propose a semanticbased model to evaluate information. We also define a semi-automatic evaluation process in which an ontology is used, to detect similar items of information. Semantically similar items are then presented to an operator in charge, to estimate their correlations.

Synthesis of plans or policies for controlling dynamic systems

Auteurs: 

G. Verfaillie, C. Pralet, V. Vidal, F. Teichteil, G. Infantes, C. Lesire

To be properly controlled, dynamic systems need plans or policies. Plans are

Simulation of Systems of Systems

Auteurs: 

P. Carle, R. Kervarc, R. Cuisinier, N. Huynh, J. Bedouët, T. Rivière, É. Noulard

Complex systems have become a particular area of interest in the past years and the study of such systems, seen as a whole, has yielded many and varied approaches. One of the difficulties frequently encountered is that such systems display emergence, i.e. their global effect or behavior is greater than the sum of the behaviors of their agents and depends strongly on the interactions between these agents.

Formal Verification of Critical Aerospace Software

Auteurs: 

V. Wiels, R. Delmas, D. Doose, P.-L. Garoche, J. Cazin, G. Durrieu

Embedded software is implementing more and more functions in aerospace,
including critical ones. Model Driven Engineering has changed software life cycle development by introducing models in the early steps of software development. Verification and validation is essential, at model and at code levels, and still mostly done by simulation and test. However, formal methods, which are based on the analysis of the program or software model, are being transferred to industry for verification of critical software.

Sense of Control in Supervision Tasks of Automated Systems

Auteurs: 

Bruno Berberian, Patrick Le Blaye, Nicolas Maille, Jean-Christophe Sarrazin

We live in an increasingly technological world. Automated systems certainly can make life easier, but they can also create complexity and uncertainty. Moreover, it is clear that automation does not merely supplant human activity, but also transforms the nature of human work. This review examines an original account of this transformation – a link between automation technology and the sense that our actions cause effects on the outside world (so-called ‘agency’).

Authority Management and Conflict Solving in Human-Machine Systems

Auteurs: 

C. Tessier (Onera), F. Dehais (Isae)

This paper focuses on vehicle-embedded decision autonomy and the human

Videos: