Abstract: The invention relates to a method for transmitting a target data frame (fA) on a path comprising at least one router (R) that has input ports (P1, P2, P3), at least one output port (PS) and an arbitration unit (UA) configured so as to select a data frame from a plurality of data frames each coming from a different input port and competing for transmission by one and the same output port. The method comprises specifying, for each of the access ports of the router, data frames (fB, fC) competing with the target data frame for transmission by a target output port of the router. An end-to-end transmission time of the target data frame on the path is then measured while the arbitration unit selects the competing data frame (fB) before the target data frame (fA) for transmission by the target output port (PS).

Abstract: The present invention concerns a method and a tool for designing and validating a data flow system comprising a set of software and/or hardware actors (ai, aj) interconnected with each other by unidirectional communication channels (ci, cj), the tool comprising: —a modelling interface (11) configured to generate an instance of the system by specifying, in a formal manner, a real-time and reconfigurable data flow, the reconfiguration of the data flow being carried out dynamically by propagating reconfiguration data from one actor to another through the communication channels, —an analysis module (13) configured to prove a predetermined set of behavioral properties of the system by means of a static analysis of the instance, —a refinement interface (15) designed to allocate resources to the instance, thus establishing a configured instance, the allocation of resources being carried out in such a way that an implementation of the system complies with the configured instance, and —a conformity test module (17) co

Abstract: This method for monitoring an executable code adapted to be executed on a computer platform, the executable code comprising a sequence of software instructions, is implemented by an electronic device and comprises: acquiring the sequence of software instructions; generating a first modeling structure of an execution path of the sequence from the sequence of instructions, the first structure comprising a plurality of first data groups, each associated with a respective instruction and comprising identifiers of a preceding instruction and a following instruction; calculation of a second modeling structure of an operation of the sequence, the second structure comprising a plurality of second groups of data, each associated with a respective instruction and comprising an indicator of possible belonging to a critical chain, and if necessary, an identifier of an initial instruction of said critical chain; the second structure being created by going through the first groups; a critical chain corresponding to inst

Abstract: The invention relates to a method for transmitting a target data frame (fA) on a path comprising at least one router (R) that has input ports (P1, P2, P3), at least one output port (PS) and an arbitration unit (UA) configured so as to select a data frame from a plurality of data frames each coming from a different input port and competing for transmission by one and the same output port. The method comprises specifying, for each of the access ports of the router, data frames (fB, fC) competing with the target data frame for transmission by a target output port of the router. An end-to-end transmission time of the target data frame on the path is then measured while the arbitration unit selects the competing data frame (fB) before the target data frame (fA) for transmission by the target output port (PS).

Abstract: The invention relates to a method implemented by computer for arbitration between computer programs seeking to access a shared resource concurrently and each transmitting an access request. The method performs time-division multiple access according to which the time is divided into time slots, each of which is allocated to a critical program for access to the shared resource, each time slot comprising a plurality of time units. The method exploits a processing slack associated with each critical program in order to delay a processing deadline for an access request transmitted by the critical program. The method comprises, for each unit time, a step of selecting a waiting access request and a step of determining authorization for immediate processing of the selected access request.

Abstract: The present invention concerns a method and a tool for designing and validating a data flow system comprising a set of software and/or hardware actors (ai, aj) interconnected with each other by unidirectional communication channels (ci, cj), the tool comprising: —a modelling interface (11) configured to generate an instance of the system by specifying, in a formal manner, a real-time and reconfigurable data flow, the reconfiguration of the data flow being carried out dynamically by propagating reconfiguration data from one actor to another through the communication channels, —an analysis module (13) configured to prove a predetermined set of behavioral properties of the system by means of a static analysis of the instance, —a refinement interface (15) designed to allocate resources to the instance, thus establishing a configured instance, the allocation of resources being carried out in such a way that an implementation of the system complies with the configured instance, and —a conformity test module (17) co

Abstract: A method for executing a program by a computer system executing sequences of instructions, includes a conditional selection of a sequence of instructions from a satisfied sequence and at least one unsatisfied sequence. The method comprising includes on the execution of a sequence distribution instruction by a first calculation resource, distributing the execution of the satisfied sequence and the at least one unsatisfied sequence between the first calculation resource and at least one second calculation resource. The method also includes parallel execution of the satisfied sequence and of the at least one unsatisfied sequence each by a calculation resource among the first and the at least one second calculation resource. The method further includes, once the satisfied sequence and the at least one unsatisfied sequence are fully executed, continuing the execution of program by a calculation resource among the first and the at least one second calculation resource.

Abstract: The invention is directed a method for transferring at least one datum between a real-time task producing a datum and a real-time task consuming said datum. The method may include, in response to initiation of a transfer of a datum by a current instance of an initiating task: creating at least one DMA descriptor describing the DMA transfer expected for said datum; inserting DMA descriptors into a list of descriptors awaiting processing by a DMA controller, said DMA descriptors being inserted in a manner sorted based on a sorting criterion relating to a visibility date of the data and/or a temporal behavior of the tasks; processing the descriptors on the list of DMA descriptors by executing DMA requests; and executing the following instance of the initiating task based on termination of the processing a predefined set of DMA descriptors on the list of descriptors.

Abstract: A device and a method for transmitting data within a network switch is provided. The method implemented by computer makes it possible to transmit to a receiver network domain only the applicational data necessary for this domain. The method identifies in a frame received solely the data corresponding to each addressee network domain, and then the frame is disassembled so as to write each suite of data into an assigned memory area of the network switch. The method moreover makes it possible to dispatch a frame with only the data of an addressee network domain by constructing a new frame with solely the data necessary for the addressee network which have been stored in a memory area of the switch.

Abstract: A method for executing an application in a multitasking system is provided. The application is composed of at least one task for which the temporal triggering is specified in a first temporal reference frame that is asynchronous relative to the physical time, called first external clock domain, defined by a synchronous basic clock with changes of state of a peripheral device of the system. The method comprises a set of steps executed by the system upon reception of an occurrence of an interrupt in order to render the execution of the task deterministic or quasi-deterministic.

Abstract: The invention proposes a method for transferring at least one datum between a real-time task producing a datum (20) and a real-time task consuming said datum (21), each datum being associated with a visibility date, the method being implemented in a computer (10) comprising a central memory (4), at least one processor (2) and at least one direct memory access DMA controller (3), each DMA controller (3) being configured to handle data transfers between various areas of the central memory (4) under the control of an operating system (200) that is executed on the processors (2), characterized in that it comprises the following steps, in response to initiation of the transfer of a datum by the current instance (k) of an initiating task (20, 21): creation (301), by the operating system (200), of at least one DMA descriptor for describing the DMA transfer expected for said datum, after execution of a given instance (k?1 or k) of the task; insertion (302), by said operating system (200), of the DMA descriptors into

Abstract: A device and a method for transmitting data within a network switch is provided. The method implemented by computer makes it possible to transmit to a receiver network domain only the applicational data necessary for this domain. The method identifies in a frame received solely the data corresponding to each addressee network domain, and then the frame is disassembled so as to write each suite of data into an assigned memory area of the network switch. The method moreover makes it possible to dispatch a frame with only the data of an addressee network domain by constructing a new frame with solely the data necessary for the addressee network which have been stored in a memory area of the switch.

Abstract: A method for executing an application in a multitasking system is provided. The application is composed of at least one task for which the temporal triggering is specified in a first temporal reference frame that is asynchronous relative to the physical time, called first external clock domain, defined by a synchronous basic clock with changes of state of a peripheral device of the system. The method comprises a set of steps executed by the system upon reception of an occurrence of an interrupt in order to render the execution of the task deterministic or quasi-deterministic.