. :-) ). The work is rooted in the work of Abdellah EL JALAOUI in his doctoral thesis: Contextuelle de Tâches Contextuelle pour le contrôle d'un vehicule sous-marin autonomous (in French).
Supervisor of the thesis: Bruno Jouvencel and David Andreu. This work has created a textured architectural design for mobile robots. Bastien Durand's theory must complement this architectural framework to include the ability for adaptive controls.
validating in the system designprocess validating in the system designprocess
Modeling and validating techniques make it possible to detect mistakes in implementations or designs early in the development phase (time and cost savings). In addition, procedural techniques provide more options in relation to system presentation or the accuracy of analysis. System Models Validity Techniques on a System Formula: Simulate: Execute the System Formula at random or incrementally (=> this is not complete).
Simulations are useful for detecting basic modeling flaws. However, this approach does not give evidence of a characteristic (when a characteristic is validated in a simulated environment, i.e. it is validated for a single scenarios, not for all possible behaviors). System testing: Comprehensive and automated behavioral testing of the system.
Modelling is devoted to the formalism of the transitional state, such as Petri nets or automata. First, we create a diagram of all possible states of the models, named State Graf, or State Class Graf and Region Graf for the time-dependent formulisms. Then, the second stage is to go through the graphic and check for all states whether a characteristic is validated.
Characteristics in modelling are usually formulated in chronological logics. However, the biggest disadvantage of this approach is the exposure complexities of the validating processes for large scale or high complexities. validating methodologies on a prototyp : Error injection: The system design is subjected to interference in order to emulate the actual surroundings (hardware failure, electro-magnetic interference, computer programming issues, etc.).