公开(公告)号：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.

公开(公告)号：US20180300179A1

公开(公告)日：2018-10-18

申请号：US15955309

申请日：2018-04-17

Applicant: THALES

Inventor： Marc FUMEY ,  Michael TEMPLIER ,  Christophe MANGION

IPC: G06F9/50 ,  G06F3/06 ,  G06F9/54

Abstract: The present invention relates to a method for verifying a partitioning configuration, between consuming elements (13), of resources (14) of an electronic module (12), each resource (14) having a capacity and being divisible into segments, the method comprising: verifying the compliance with a set of partitioning rules, according to which: the sum of the unitary capacities of the resource segments allocated for each resource (14) is less than the capacity of said resource (14), only the resource segments previously defined can be allocated to distinct consuming elements (13), the use of resource segments by a consuming element (13) is limited to the resource segments allocated to said consuming element (13), the partitioning configuration being considered valid when the set of partitioning rules is respected, exploiting the module (12) with the partitioning configuration.

公开(公告)号：US20130163456A1

公开(公告)日：2013-06-27

申请号：US13722287

申请日：2012-12-20

Applicant: THALES

Inventor： Marc FUMEY

IPC: H04L12/26

CPC classification number: H04L43/08 ,  H04L47/20 ,  H04L47/283

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

Abstract translation: 提供了一种用于由检查模块验证网络的方法，所述网络包括多个路由器，所述路由器中的每一个包括多个输出端口，所述路由器的每个输出端口与带宽预算相关联， 优先级延迟预算和多个网络预算谷物。 该方法包括对于每个路由器的每个端口的步骤：基于网络预算谷物和带宽预算来计算在路由器的输出端口上消耗的等待时间; 检查输出端口上消耗的延迟与路由器的输出端口的优先级延迟预算值的兼容性; 并且由检查模块发送指示检查结果的信号。

公开(公告)号：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.

公开(公告)号：US20200301754A1

公开(公告)日：2020-09-24

申请号：US16754636

申请日：2018-10-10

Applicant: THALES

Inventor： Marc FUMEY ,  Joel BOSSON ,  Tarik AEGERTER ,  Yves MEYER ,  Hubert LACQUIT

IPC: G06F9/52 ,  G06F9/50 ,  G06F9/30 ,  G06F9/38 ,  G06F9/48

Abstract: This method for implementing a partitioning during the execution of software applications on a platform comprising a multicore processor having several separate cores, is implemented by an electronic implementing device.It comprises a step for switching between the execution of a current set of software application(s) on a plurality of cores and the execution of a subsequent set of software application(s) on the plurality of cores, carried out in a synchronous manner on said plurality of cores, the step of synchronous multicore switching including one or more actions among a first group of actions consisting of: waiting, synchronized over the plurality of cores, for uninterruptible process(es) of the current set of software application(s) to finish running; and purging all memory resource(s) associated with the current set of software application(s).

公开(公告)号：US20170078142A1

公开(公告)日：2017-03-16

申请号：US15262772

申请日：2016-09-12

Applicant: THALES

Inventor： Martial MONTRICHARD ,  Benoit PIERSON ,  Marc FUMEY

IPC: H04L12/24 ,  H04B1/3822 ,  H05K5/00 ,  H04L12/931 ,  H04L12/741 ,  H04L29/08 ,  H04L12/933

CPC classification number: H04L41/0806 ,  B64D43/00 ,  G06F1/182 ,  H04B1/3822 ,  H04L12/40176 ,  H04L45/745 ,  H04L49/15 ,  H04L49/351 ,  H04L49/405 ,  H04L67/12 ,  H04L2012/40208 ,  H04L2012/4028

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

Abstract translation: 该航空电子计算器旨在装载在飞行器上，该航空电子计算器包括保护壳体和至少一个模块，该模块能够执行至少一个软件应用的信息处理模块，输入/输出管理模块和电力 供应管理模块，每个模块都位于外壳内。 航空电子计算器还包括定位在壳体内部的路由模块，路由模块包括几个通信端口，并被配置为将至少一个消息从输入通信端口发送到输出通信端口。