Thales

Marc Etienne Fumey

Joël Bosson

Tarik Aegerter

Stéphane Jean-Mary Monnier

Pierrick Lamour

Michael Templier

Jean-Christophe Reculeau

Christophe Mangion

Joël Henri René Bosson

Frederick Clement

Yves Meyer

Hubert Lacquit

Martial Montrichard

Michael Marcourt

Patrick Cadotte

Benoit Pierson

The present invention relates to a method of contentions mitigation for an operational application implemented by an embedded platform comprising a plurality of cores and a plurality of shared resources. This method comprises the steps of executing the operational application by one of the cores of the embedded platform, executing a stressor application on at least some other cores of the embedded platform in parallel with the operational application, the stressor application being composed of a set of contention tasks generating a maximum contention on interference channels, and determining contentions generated by the stressor application on the operational application.

Method of contentions mitigation for an operational application, associated computer program product and method for determining a stress application

Disclosed is method for monitoring an avionics software application, able to be executed on a platform including resources and hosting an operating system, the platform being intended to be on board an aircraft, implemented by an electronic monitoring device. The method includes: implementing at least one monitoring operation of the application from among syntactic monitoring of each call emitted by the application to the operating system; semantic monitoring of each call emitted by the application to the operating system; monitoring of a dynamic of the calls emitted by the application to the operating system; and monitoring of the use by the application of the resources of the platform; and generating an alarm signal if an abnormal behavior of the application is detected.

Method and electronic device for monitoring an avionics software application, related computer program and avionics system

This method for installing avionics software applications on a platform with a multi-core processor and intended to be on board an aircraft is implemented by an electronic installation device. Each avionics software application includes one or several software processing operations to be executed over a predefined time period including one or several successive time clusters. It comprises determining an installation plan for the software processing operations according to a first installation rule and/or a second installation rule, the installation plan defining, for each software processing operation, at least one core and at least one time cluster that are associated with said software processing operation, the first rule consisting of predetermining a list of authorized combinations of criticality levels for applications intended to be executed during a same time cluster, and the second rule consisting of prohibiting installation of critical software application(s) on one or several cores of the plurality of cores.

Method and electronic device for installing avionics software applications on a platform comprising a multi-core processor, related computer program and electronic system

A programmable electronic computer embedded in an avionics environment on board an aircraft for implementing at least one critical function and associated electronic device, method and computer program are disclosed. In one aspect, the electronic computer includes at least one control module configured to implement a respective critical function and configured to deliver at least one output data item associated with the critical function, and at least one monitoring module of a control module of another electronic computer. Each monitoring module configured to implement the same respective critical function as the one implemented by the monitored control module.

Programmable electronic computer in an avionics environment for implementing at least one critical function and associated electronic device, method and computer program

The present invention relates to a method for verifying a partitioning configuration, between consuming elements (), of resources () of an electronic module (), each resource () having a capacity and being divisible into segments, the method comprising:

Method and electronic device for verifying a partitioning configuration, associated computer program

A method and device for monitoring an avionics software application via its execution duration, related computer program and avionics system are disclosed. In one aspect, the method, executed on a platform hosting an operating system, is implemented by an electronic monitoring device. The avionics software application includes one or several software processing operations to be executed, the platform is configured to be on board an aircraft. The method includes: monitoring the execution duration of the avionics software application, through the verification, upon expiration of at least one predefined execution times, of the completion of the execution of at least one software processing operation of the avionics software application; and updating a status of the avionics software application based on the monitoring of the execution duration of the avionics software application.

Method and device for monitoring an avionics software application via its execution duration, related computer program and avionics system

This avionic calculator, intended to be loaded on board an aircraft, the avionic calculator includes a protective casing and at least one module from among an information processing module able to execute at least one software application, an input/output management module and an electric power supply management module, each module being positioned inside the casing. The avionic calculator further includes a routing module positioned inside the casing, the routing module including several communication ports and being configured for transmitting at least one message from an input communication port to an output communication port.

Avionics calculator with integrated routing module, related communication network and communication installation, and aircraft comprising such a communication installation

A method is provided for the validation of a network by a checking module, the network comprising a plurality of routers, each of the routers comprising a plurality of output ports, each of the output ports of the routers being associated with a bandwidth budget, a priority latency budget and a plurality of network budget grains. The method comprises, for each of the ports of each of the routers, steps of: calculation of a latency consumed on the output port of the router on the basis of the network budget grains and the bandwidth budget; checking of the compatibility of the latency consumed on the output port with the priority latency budget grains of the output port of the router; and, transmission by the checking module of a signal indicating the result of the check.

Growing community of inventors

Toulouse, France

Marc Etienne Fumey