Abstract: The target marking device comprises a small-size flying unit, said flying unit being configured to fly at low height and to be guided with the aid of guidance commands, said flying unit being furnished with at least one sensor able to measure at least one parameter of the environment, a data transmission unit configured to emit at least data relating to measurements carried out by the sensor from the flying unit and to receive guidance orders at the flying unit, and at least one emitter able to emit position information.

Abstract: Method and system for assisting in the verification and validation of an algorithm chain. The system (1) comprises an instrumentation module (2) of an algorithm chain, providing automatic data capture including at least some of the following data: interface data and internal algorithm data of the algorithm chain, a module (3) for automatic verification of functional rules, a learning module (5) for the modelling by learning of the constraints and algorithm criteria of the algorithm chain, and taking account of the validations performed by a human operator, and a module (7) for automatic detection of bugs and functional problems of the algorithm chain using statistical learning means.

Abstract: The target marking device comprises a small-size flying unit, said flying unit being configured to fly at low height and to be guided with the aid of guidance commands, said flying unit being furnished with at least one sensor able to measure at least one parameter of the environment, a data transmission unit configured to emit at least data relating to measurements carried out by the sensor from the flying unit and to receive guidance orders at the flying unit, and at least one emitter able to emit position information.

Abstract: Method and system for assisting in the verification and validation of an algorithm chain. The system (1) comprises an instrumentation module (2) of an algorithm chain, providing automatic data capture including at least some of the following data: interface data and internal algorithm data of the algorithm chain, a module (3) for automatic verification of functional rules, a learning module (5) for the modelling by learning of the constraints and algorithm criteria of the algorithm chain, and taking account of the validations performed by a human operator, and a module (7) for automatic detection of bugs and functional problems in of the algorithm chain using statistical learning means.