Thales

Alexandre Fine

Nicolas Levasseur

Pierrick Lamour

Siegfried Rouzes

Thierry Ganille

Emmanuel Monvoisin

Eric Filliatre

Stéphane Monnier

Pierre Mariani

Laurent Jardin

Philippe Neto

Gordon Sanderson

Hélène Misson

Frederic Sanson

Nicolas Dubois

David Houlbert

Yannik Breuil

Philippe Besnier

Lionel Leroux

Stéphane Jean- Mary Monnier

Alexandre Noinski

M Laurent Jardin

The avionic calculator is suitable for being carried on-board an aircraft and comprises a multi-core processor configured for executing avionic software applications. The processor includes at least one primary core for communicating with at least one avionic equipment distinct from the calculator, each avionic equipment being carried on-board the aircraft and belonging to an avionic domain; at least one secondary core for communicating with at least one electronic device external to the avionic domain; and a tertiary core for performing at least one filtering of a data message received from a respective device external to the avionic domain and intended for a respective avionic equipment of the avionic domain. Each avionic software application being executable by the at least one primary core or the at least one secondary core.

Avionic calculator comprising a multicore processor, with a filtering core between open and avionic domains

The invention relates to an electronic system with a built-in computer, designed to execute a source application in response to an external request. The capabilities of the system may include creating a clone of the source application by duplicating the application's executable, which is stored in a separate memory area. The system may then initiate an internal request to run the clone application. The original source and its clone may be executed independently, with the system generating a unified output by comparing the results of both the source and clone applications' execution. The invention provides for an approach to running and comparing software applications, enhancing computational efficiency and reliability.

Electronic computer, electronic system, method for monitoring the execution of an application and associated computer program

A method implemented by an onboard avionics computer for executing a plurality of binary codes that are associated with a plurality of sets of metadata, wherein: the plurality of binary codes and the plurality of metadata are hierarchized into a number of levels at least equal to two; a first binary code, of a level, is associated with a first set of metadata of the level, and a second binary code of a lower level, itself associated with a second set of metadata of the lower level; the first set of metadata comprises a data signature, the data comprising at least a first message digest associated with the first binary code, and the second set of metadata comprises a public key; the method comprising the execution, by the second binary code, of the following steps: applying a hash function to obtain a second message digest of the first binary code; decrypting the signature using the public key to obtain the first message digest; authorizing the execution of the binary code, if and only if the first message digest is identical to the second.

Aerospace advanced chain of trust

This method for generating graphic surfaces to be displayed on a screen is implemented by a graphics processor and comprises:

Method for generating graphic surfaces to be displayed on a screen, related graphics processor

A method for access to the shared resources of a computer platform including a multicore processor, shared resources between first partitions according to which requests to access the shared resources emitted by the first partitions are sent to a second partition that, during its execution on the processor, performs said accesses;

Method for accessing shared resources of a computer platform, associated computer program and computer platform

This system on chip comprises a plurality of master resources, a plurality of slave resources, a plurality of arbitration levels, each arbitration level being able to control the access of at least one master resource to at least one slave resource, each master resource being able to send requests to at least one slave resource according to a bandwidth associated with this slave resource and this master resource. The system is characterized by further comprising control means configured to control each bandwidth associated with each slave resource as a function of the capacity of this slave resource to process the requests originating from the master resource corresponding to this bandwidth.

System on chip comprising a plurality of master resources

The invention relates to a method for securing the operation of a synthetic viewing system of an aircraft. This method comprises the steps of determining at least one control object in the field of view of the synthetic vision system and determining at least one control point belonging to each control object and verifying the consistency of the display of the synthetic vision system. The verification step comprises the sub-steps of recovering a first position corresponding to the displayed position of each control point on the corresponding outline on the display of the synthetic vision system, determining a second position of each control point on the display of the synthetic vision system and comparing the first and second positions.

Method for securing the operation of a synthetic viewing system of an aircraft, associated computer program product and system

Graphics processor and related method for displaying a set of pixel(s), related platform and avionics system

The invention relates to a method for verifying a character to be displayed on a screen, compared to a reference character. The character to be displayed and the reference character each comprise at least several characteristic points. The method comprises: The character to be displayed is considered correct only if the computed deviation is below the predetermined threshold.

Method and electronic device for verifying a character to be displayed on a screen compared to a reference character, associated computer program product and graphics processor

A resource sharing controller adapted for operating in a computer platform further comprising a data storage medium and software applications comprising access commands to the storage medium, adapted, as a function of a respective portion allocated to each application, of a maximum access capacity to the storage medium, as a function of a list of next commands of access to the storage medium of each application and further of the theoretical maximum performance times of said commands, for selecting, for each application and for a next temporal cycle for access to the storage medium, the next commands to be implemented and for successively distributing, during said next temporal cycle, the access to each application for the implementation of said selected commands.

Resource sharing controller of a computer platform and associated resource sharing method

The invention relates to a system for accessing a shared resource belonging to a hardware platform comprising a plurality of master processing units, each master processing unit being able to exploit a shared resource during an execution of a process, each shared resource having an associated maximum bandwidth. For at least one shared resource, the system includes a counter of a number of data transfers between said master processing unit and said shared resource, and a comparator suitable for comparing the number of transfers to a bandwidth limit, which is a fraction of said maximum bandwidth, associated with said shared resource, and a pacing unit suitable for resetting each counter after a time period of predetermined duration has elapsed. The access system is suitable for commanding, once said number of transfers associated with a master processing unit has reached said bandwidth limit, a suspension of the exploitation of said shared resource by said master processing unit, and a resumption of the exploitation once each counter has been reset.

Growing community of inventors

Merignac, France

Alexandre Fine