-
公开(公告)号：US20190107415A1
公开(公告)日：2019-04-11
申请号：US16154535
申请日：2018-10-08
Applicant: THALES
Inventor： Marc Fumey , Joël Henri René BOSSON , Tarik AEGERTER , Yves MEYER , Hubert LACQUIT
CPC classification number: G01C23/005 , G01C25/00 , G06F11/0724 , G06F11/0739 , G06F11/0757 , G06F11/3013 , G06F11/3419 , G06F11/3612
Abstract: 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.
-
公开(公告)号：US11803427B2
公开(公告)日：2023-10-31
申请号：US17318777
申请日：2021-05-12
Applicant: THALES
Inventor： Pierrick Lamour , Marc Fumey
CPC classification number: G06F9/526
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.-
3.发明授权公开(公告)号：US10860379B2
公开(公告)日：2020-12-08
申请号：US15955309
申请日：2018-04-17
Applicant: THALES
Inventor： Marc Fumey , Michael Templier , Christophe Mangion
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.
-
公开(公告)号：US20200034130A1
公开(公告)日：2020-01-30
申请号：US16517179
申请日：2019-07-19
Applicant: Thales
Inventor： Marc Fumey , Joël Bosson
Abstract: 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.
-
公开(公告)号：US10983777B2
公开(公告)日：2021-04-20
申请号：US16517179
申请日：2019-07-19
Applicant: THALES
Inventor： Marc Fumey , Joël Bosson
Abstract: 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.-
Patent Agency Ranking
公开(公告)号：US10230574B2
公开(公告)日：2019-03-12
申请号：US15262772
申请日：2016-09-12
Applicant: THALES
Inventor： Martial Montrichard , Benoit Pierson , Marc Fumey
IPC: H04L12/24 , H04L12/931 , H05K5/00 , H04L12/933 , H04B1/3822 , H04L29/08 , H04L12/741 , H04L12/40
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.
-
公开(公告)号：US10929262B2
公开(公告)日：2021-02-23
申请号：US16226188
申请日：2018-12-19
Applicant: THALES
Inventor： Joël Bosson , Frederick Clement , Patrick Cadotte , Marc Fumey , Jean-Christophe Reculeau
Abstract: 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.
-
公开(公告)号：US10571295B2
公开(公告)日：2020-02-25
申请号：US16154535
申请日：2018-10-08
Applicant: THALES
Inventor： Marc Fumey , Joël Henri René Bosson , Tarik Aegerter , Yves Meyer , Hubert Lacquit
Abstract: 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.
-
公开(公告)号：US20190196927A1
公开(公告)日：2019-06-27
申请号：US16226188
申请日：2018-12-19
Applicant: Thales
Inventor： Joël BOSSON , Frederick Clement , Patrick Cadotte , Marc Fumey , Jean-Christophe Reculeau
CPC classification number: G06F11/3013 , G05B9/02 , G05B23/0208 , G06F11/0739 , G06F11/0796 , G06F11/1608 , G06F11/1633 , G06F11/1637
Abstract: 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.
-
公开(公告)号：US09071515B2
公开(公告)日：2015-06-30
申请号：US13722287
申请日：2012-12-20
Applicant: THALES
Inventor： Marc Fumey
IPC: H04L12/26 , H04L12/813 , H04L12/841
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: 提供了一种用于由检查模块验证网络的方法，所述网络包括多个路由器，所述路由器中的每一个包括多个输出端口，所述路由器的每个输出端口与带宽预算相关联， 优先级延迟预算和多个网络预算谷物。 该方法包括对于每个路由器的每个端口的步骤：基于网络预算谷物和带宽预算来计算在路由器的输出端口上消耗的等待时间; 检查输出端口上消耗的延迟与路由器的输出端口的优先级延迟预算值的兼容性; 并且由检查模块发送指示检查结果的信号。
-
-
-
-
-
-
-
-
-
Search Results
10
records
(took 0.012 seconds)
