Thales

Tarik Aegerter

Patrice Toillon

Marc Etienne Fumey

Joël Bosson

Xavier Moreau

Joël Henri René Bosson

Yves Meyer

Hubert Lacquit

Sébastien Camand

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

The invention relates to a message exchange controller structure () comprising means () forming a message exchange controller, associated with a member () forming a storage/exchange buffer, a member () forming interfaces for multiple connections to several message production/consumption units, and a member () forming interfaces for connecting to several external buses;

Message exchange and generic communications controller structure for redundant avionics communication systems

A generic and multi-role controller structure for data and communication exchanges is disclosed. In one aspect, the structure assumes the form of a single component and includes a capability forming a generic data and communication exchange controller, associated with at least: a capability forming a data storage/exchange buffer, a capability forming multiple connection interfaces to several data production/consumption units, one connection interface being associated with one data production/consumption unit, a capability forming multiple connection interfaces with several external data communication buses, and one connection interface being associated with one external data communication bus.

Generic and multi-role controller structure for data and communication exchanges

A network having a plurality of electronic equipments and a plurality of network nodes is disclosed. The nodes are connected and form a reference ring, according to which ring the nodes are ordered by successive ranks. Each node is connected by a direct receiving connection to an upstream node and via a direct transmission connection to a downstream node. The network is adapted to tolerate a number of network node breakdowns, n being greater than 1. Each node is connected by a direct receiving connection to all of the other nodes placed, in the reference ring, up to: 2 ranks downstream and 1 rank upstream or 1 rank downstream and 2 ranks upstream if n is 2; n&#x2212;1 ranks downstream and n&#x2212;1 ranks upstream, if n is odd; or n&#x2212;1 ranks downstream and n&#x2212;2 ranks upstream, or n&#x2212;2 ranks downstream and n&#x2212;1 ranks upstream, if n is even and greater than 2.

Distributed node network adapted to tolerate a given number of network node breakdowns

A method and a device for the detection of erroneous or inopportune transactions of any entity of a microprocessor or microcontroller includes programming counters internal or external to the microcontroller, which is configured to count the number of transactions in the target area of the target interface of the microcontroller; count the total number of transactions on the target interface, and verify that the number of transactions outside of the target area of the target interface of the microcontroller is zero. Equality between the number of transactions in the target area of the target interface and the total number of transactions on the target interface of the microcontroller is verified.

Growing community of inventors

Merignac, France

Tarik Aegerter