Abstract: The present invention concerns a method for verifying traceability of first code instructions in a procedural programming language generated from second code instructions in a modelling language, characterized in that it comprises the implementation, by a piece of equipment (1), of steps of: (a) Syntactic analysis: o of the first instructions so as to generate an AST, and o of the second instructions so as to generate an MDT; (b) Semantic analysis: o Of the AST so as to identify patterns representative of basic functional blocks of the first instructions; o Of the MDT so as to identify characteristic properties of basic functional blocks of the second instructions; (c) Matching, pairwise, the identified basic functional blocks, and confirming the traceability of first code instructions only if: o for each block of the first instructions, there is a functionally equivalent block in the second instructions, and o for each block of the second instructions, there is a functionally equivalent block in the first in

Abstract: The present invention concerns a method for verifying traceability of first code instructions in a procedural programming language generated from second code instructions in a modelling language, characterised in that it comprises the implementation, by a piece of equipment (1), of steps of: (a) Syntactic analysis: o of the first instructions so as to generate an AST, and o of the second instructions so as to generate an MDT; (b) Semantic analysis: o Of the AST so as to identify patterns representative of basic functional blocks of the first instructions; o Of the MDT so as to identify characteristic properties of basic functional blocks of the second instructions; (c) Matching, pairwise, the identified basic functional blocks, and confirming the traceability of first code instructions only if: o for each block of the first instructions, there is a functionally equivalent block in the second instructions, and o for each block of the second instructions, there is a functionally equivalent block in the first in

Abstract: An electronic control unit having a microcontroller provided with RAM associated with variable data and ROM associated with the code of a software operating system incorporating a real time core for executing computer tasks. The RAM and ROM include zones corresponding to partitions, one of which is allocated to the real time core, while each of the others is allocated to at least one of the tasks. The RAM and the ROM are associated with an address bus that is physically programmed so that each partition is prevented firstly from writing in another one of the zones of the RAM, and secondly from executing another one of the zones of the ROM. The real time core is associated with a timer for allocating an execution time to each partition.

Abstract: An electronic control unit having a microcontroller provided with RAM associated with variable data and ROM associated with the code of a software operating system incorporating a real time core for executing computer tasks. The RAM and ROM include zones corresponding to partitions, one of which is allocated to the real time core, while each of the others is allocated to at least one of the tasks. The RAM and the ROM are associated with an address bus that is physically programmed so that each partition is prevented firstly from writing in another one of the zones of the RAM, and secondly from executing another one of the zones of the ROM. The he real time core is associated with a timer for allocating an execution time to each partition.

Abstract: A method is provided for managing the operation of a seat equipped with an actuator system including an arrangement for tracking a variable characteristic of the force generated by an actuator and a unit for controlling the actuator in two opposite directions. The method provides for measurement of the characteristic variable, evaluation of the characteristic variable on the basis of at least one predetermined evaluation criterion, and implementation of a suitable adjustment of the seat as a function of the result of the evaluation. The evaluation step includes applying a first evaluation criterion of the characteristic variable measured when the actuator is controlled in the first direction and applying a second evaluation criterion of the characteristic variable measured when the actuator is controlled in the second direction, the first and second evaluation criteria being different.

Abstract: The invention relates to an installation for operating seat modules (12) equipped with an assembly of actuators (30, 32, 34, 36, 38, 40, 42, 44) each intended for adjusting a seat element (22, 24, 26, 28). It comprises a control unit (16) suited to each seat module (12). This control unit (16) comprises means (62) for the acquisition of variables representing the functioning state of the seat module. A central unit (18) for the management of the seat modules (12) is connected to the control unit (16). It comprises means (96) for the transmission of information toward the control units (16). Each control unit (16) comprises means (66) for the transmission of variables representing the functioning state of the associated seat module toward the central management unit (18). Use in aircraft seats.

Abstract: Apparatus having application to surgical operations has an ultra-violet laser pulse generator (1), an infrared laser pulse generator (3), an optical fibre (11) which transmits these pulses in one direction to the organ (13) and returns the fluorescence emitted by the organ together with reflected infrared radiation. Said returned radiation is detected by two receivers (25 and 20) and a circuit (31) for processing the electric signals delivered by said receivers.