公开(公告)号：US20240354115A1

公开(公告)日：2024-10-24

申请号：US18635325

申请日：2024-04-15

Applicant: THALES

Inventor： Nicolas LEONARDI ,  Pierrick LAMOUR

IPC: G06F9/4401

CPC classification number: G06F9/4403

Abstract: Avionics system includes a bootstrap package including system partitions, and a primary configuration table, of a first type with hardware resource configuration values, a boot automaton launching the bootstrap package, at least one secondary configuration table of a second type with configuration values usable by a set of partitions, tertiary system configuration tables for the set of partitions, of a third type with configuration values used by a respective partition, application partitions, each including an avionics application and a tertiary configuration table, of the third type and containing configuration values of resources used by the respective application partition. The boot automaton checks whether an additional configuration file is present, and launches the additional configuration file including at least one configuration table of the first, second or third type, same being used instead of a table of the same type among the primary, secondary, tertiary system and tertiary application tables.

公开(公告)号：US20210357273A1

公开(公告)日：2021-11-18

申请号：US17318777

申请日：2021-05-12

Applicant: THALES

Inventor： Pierrick LAMOUR ,  Marc FUMEY

IPC: G06F9/52

Abstract: 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.

公开(公告)号：US20240354122A1

公开(公告)日：2024-10-24

申请号：US18634943

申请日：2024-04-14

Applicant: THALES

Inventor： Nicolas LEONARDI ,  Pierrick LAMOUR

IPC: G06F9/445 ,  G06F21/64

CPC classification number: G06F9/44505 ,  G06F21/64

Abstract: A computer platform on board an aircraft, that executes a set of application partitions, hosts an operating system and includes: resources; a boot package including a kernel, at least one resource driver, a set of system partitions and at least one resource configuration table, each system partition including at least one operating system service; and a boot controller able to be executed first, following power-up of the platform and configured to launch the boot package. The boot controller verifies whether an additional configuration file is present in the storage memory, and launches, before the boot package, the additional configuration file including at least one resource configuration table, then used instead of a respective table of the same type from among the at least one table of the boot package.

公开(公告)号：US20200319926A1

公开(公告)日：2020-10-08

申请号：US16838808

申请日：2020-04-02

Applicant: THALES

Inventor： Pierrick LAMOUR ,  Alexandre Fine

IPC: G06F9/50 ,  G06F13/362 ,  G06F13/16 ,  G06F13/12 ,  G06F13/40

Abstract: 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.

公开(公告)号：US20240232052A1

公开(公告)日：2024-07-11

申请号：US18401710

申请日：2024-01-02

Applicant: THALES

Inventor： Pierrick LAMOUR ,  Nicolas LEONARDI

IPC: G06F11/36

CPC classification number: G06F11/366 ,  G06F11/3636

Abstract: A method for monitoring avionics software application(s) executed by an avionics platform, on-board an aircraft, including a multi-core processor and hosting an operating system, is implemented by an electronic monitoring device and includes, for each software application running, a monitoring phase including acquisition at least one characteristic variable value representative of a use of the platform, each acquired value being associated with the respective software application, comparison of each acquired value with a respective threshold corresponding to the characteristic variable, and stopping the execution of the respective software application if at least one acquired value is higher than the respective threshold.

公开(公告)号：US20220300347A1

公开(公告)日：2022-09-22

申请号：US17698345

申请日：2022-03-18

Applicant: THALES

Inventor： Pierrick LAMOUR ,  Richard CANU ,  Marc FUMEY

IPC: G06F9/52

Abstract: The present invention relates to a method of mitigating conflicts for an operational application implemented by an embedded platform. This method comprising the following steps: constructing at least one first sensitive application configured to be conflicted by the operational application or at least one template application configured to impose conflicts on the operational application; the embedded platform executing the operational application in parallel with the first sensitive application or the template application; determining conflicts generated on the first sensitive application by the operational application or, respectively, on the operational application by the template application; measuring the determined conflicts.

公开(公告)号：US20200104267A1

公开(公告)日：2020-04-02

申请号：US16577543

申请日：2019-09-20

Applicant: THALES

Inventor： Pierrick LAMOUR ,  Alexandre Fine

IPC: G06F13/16 ,  G06F13/40

Abstract: 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.