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.

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.

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.

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.

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.

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.

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).

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.

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.

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.

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.

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

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