Academic literature on the topic 'Automatique et automobile'

L’objectif de cet article est d’illustrer une démarche de segmentation appliquée à l’exploitation des enquêtes de satisfaction à l’égard d’un bien durable – l’automobile. Cette démarche est empirique, au sens où ne sont modélisées que les régularités constatées, en s’appuyant sur les acquis théoriques de la recherche en matière de satisfaction. Les résultats démontrent qu’une segmentation naturelle conduit à des conclusions généralisables et atténue considérablement les problèmes méthodologiques rencontrés lorsque l’on se contente d’appliquer aux données un processus de segmentation automatique .

L’intelligence artificielle ou IA, fait l’objet de nombreuses discussions : juridiques, philosophiques, factuelles ou de fiction. L’émergence de discussions autour de l’imposition des technologies ou des droits universels des robots appuient une tendance vers une crainte généralisée d’un soulèvement de l’IA qui bouleverserait les structures et les réglementations humaines. La confusion entre l’IA logicielle et la fiction des robots humanoïdes sert de camouflet à ces craintes. Cet article vise à démystifier l’intelligence artificielle à travers l’exemple de la conduite automobile automatisée. L’IA sert actuellement en partie à développer des systèmes de conduite qui pourraient libérer les humains du fardeau et conséquences des erreurs de conduite évitables.

Advanced vehicle technologies (AVTs) (e.g., lane departure warning, blind spot monitoring) are sophisticated computer and electronically mediated communications that provide information to users, and, at times, assume control over parts of the driving task (e.g., automated braking). This article examines how AVTs are refashioning older people’s embodied relationships with driving, including driving routines, skills, sensuous dispositions, and modes of control that are considered integral to driving. Results from interviews with 35 older drivers driving a high-tech car call attention to the opportunities and challenges that entanglements with AVTs can present for aging drivers.Les technologies automobiles de pointe (TAP) (par exemple, les systèmes de suivi de voie et de surveillance d’angle mort) offrent une communication informatique et électronique qui informe les automobilistes et parfois même assume le contrôle d’une partie de la conduite (par exemple, freinage automatique). Cet article examine comment les TAP sont en train de modifier le rapport personnel des aînés envers la conduite, y compris les routines, habiletés, dispositions sensuelles et modes de contrôle qui font partie intégrante de la conduite automobile. Les résultats d’entretiens avec 35 aînés conduisant des automobiles de pointe soulignent les occasions et défis que les TAP peuvent présenter à ces aînés.MOTS CLÉS Phénoménologie; Technologie; Usagers et gratifications; Vieillissement; Personnalisation

L'objet de ma thèse, réalisée en collaboration avec l'industriel VALEO, est de développer des systèmes d'aide à la conduite pour accroître la sécurité et le confort à bord des véhicules. Pour résumer, il s'agit d'élaborer des algorithmes de contrôle longitudinal de type Adaptive Cruise Control (ACC) permettant de suivre en temps réel avec sécurité un véhicule leader et plus généralement d'élaborer des stratégies à basse vitesse (Stop&Go) pour l'évolution du véhicule dans des environnements urbains. À basse vitesse, le problème de l'aide au parking de type ‘créneau' a été également considéré. Dans un premier temps, les algorithmes de contrôle longitudinal (ACC et Stop&Go) ont été étudiés. Afin d'accroître la robustesse du système contre les bruits de mesure, les dynamiques négligées externes comme la pente de la route, la résistance aux roulements et la force aérodynamique etc. , ainsi que les incertitudes liées au modèle moteur/frein, les techniques d'estimation algébrique et de commande sans modèle ont été appliquées. En ce qui concerne l'automatisation à basse vitesse de type ‘parking en créneau', nous avons proposé une solution générale basée sur une approche géométrique. Notre planificateur local permet de générer un chemin géométrique composé d'arcs de cercles de rayon minimal et de segments de droite pour une place de parking dont la longueur est plus grande que la diagonale du véhicule. Il faut remarquer que notre méthode est indépendante de la position initiale du véhicule si sa position initiale est parallèle à la place de parking. Un algorithme planifiant un chemin géométrique pour le problème de parking en créneau en fonction de la longueur de la place de parking a été également développé. Une étude théorique de la complexité de notre méthode en terme de nombre de manœuvres montre qu'elle nécessite moins de manœuvres que des méthodes classiques dans les cas pratiques
The purpose of my thesis, realized in collaboration with VALEO, is to develop advanced driver assistance systems to increase safety and comfor t in vehicles. To summarize, it is to develop algorithms of a longitudinal control such as Adaptive Cruise Control (ACC) allowing to follow in real time with a safety a leading vehicle and more generally strategies to lower Speed (Stop&Go) for the evolution of vehicle in urban environments. At low speed, it should also consider the problem of parallel parking assistance. First of all, the longitudinal control algorithms (ACC and Stop &Go) were studied. In order to increase system robustness against measurement noise, neglected external dynamics such as the slope of the road, rolling resistance and aerodynamic forces, etc. , as well as uncer tainties related to the engine/brake model, an unfied algebraic approach for estimation and model-free control is applied. Regarding the low-speed automation of parallel parking, we proposed a general solution based on a geometric approach. Our local planner can generate a geometric path consisting of circular arcs of minimum radius and straight lines for a parking space whose length is greater than the diagonal of the vehicle. It should be noted that our method is independent of the initial position of the vehicle if its initial position is parallel to the parking lot. An algorithm for geometric path planning of the parallel parking problem according to the length of the parking space was also developed. A theoretical study of the complexity of our method in terms of the number of maneuvers shows that it requires less maneuvers than classical methods in practical cases

Cette thèse explore le domaine du diagnostic appliqué à l’automobile basé sur le produit SIDIS Enterprise développé par Siemens AG. Au début, une analyse est conduite de l’importance du réseau après-vente pour les constructeurs et leurs places dans la chaine de valeur de l’automobile ainsi que les contraintes industrielles des outils d’aide au diagnostic. L’une d’elle est de limiter le coût de développement des modèles pour le diagnostic. De plus, une analyse approfondie démontre que la part des composants électroniques et des pannes d’origine électronique des véhicules à tendance à augmenter tout en complexifiant la localisation de leurs origines. Le besoin d’un outil moderne pour les constructeurs est essentiel pour la satisfaction client et pour l’image de marque. Ces travaux ont conduit au développement d’une plateforme modulaire pour le diagnostic composée : d’un module de recherche des symptômes, un système automatisé d’échange de fichier ODX, une méthode de diagnostic hybride et d’un moteur d’évaluation du retour d’expérience. Le premier module est dédié à l’interprétation et au mappage de la description des symptômes en langage naturel. Le second module permet aux auteurs des bases de données et des connaissances d’importer automatiquement les fichiers de descriptions des calculateurs électroniques. Les deux derniers sont dédiés à un algorithme de diagnostic qui combine les différentes sources de connaissances et bénéficie du retour d’expérience pour compléter automatiquement les modèles. Ces modules contribuent à l���objectif de réduction des coûts de développements des modèles pour le diagnostic et diminue significativement l’orbite des sessions de diagnostic guidé
This dissertation explores the field of diagnosis applied to the automotive industry based on SIDIS Enterprise developed by Siemens AG. At the beginning we analyzed the importance of the after-sale world for car manufacturers and in the automotive value chain, as well as the requirements of manufacturers for computer assisted diagnostic tools. One important requirement for manufacturers was to limit the post development cost of models for the diagnosis. Furthermore, the analysis shows that electronic failures increase as well as electronic equipment with the consequences that the failure localization becomes more and more complex. The need for computer assisted tools for car manufacturers was therefore essential in order to save time for the fault localization, for the client’s satisfaction, and for the image of the brand. This thesis leads to a global modular framework for automotive diagnosis composed by: a perceived symptom search engine, an automatic ODX exchange system, a hybrid heuristic and model based diagnostic strategy, a feedback engine. The first module is concerned with the interpretation and mapping of qualitative failure descriptions in natural language. The second module allows authors of the database and knowledge network to automatically import Electronic Control Units description files. The last ones are concerned with the development of a diagnosis algorithm, which combines all different knowledge sources and benefits from the return of experience for the auto completion of the models. All these modules contribute to the overall reduction of the costs of models for the diagnosis

Notre travail de thèse porte sur les systèmes d'assistance aux conducteurs. Dans l'objectif d'accroître la sécurité, nous proposons au conducteur un apport d'une connaissance anticipée de la route par un système de cartographie embarqué mais aussi de modèles de prédiction de la dynamique véhicule pour l'anticipation d'une situation de danger. Le système d'aide à la conduite est basé sur l'évaluation en temps réel de la situation dynamique du véhicule. L'introduction originale d'un véhicule virtuel (Avatar), projeté à l'avant du véhicule réel, permet en effet d'anticiper sur l'adéquation de l'état dynamique du véhicule par rapport à la route, en vue d'éviter les situations accidentogènes. L'évaluation de l'adéquation de la dynamique du véhicule avec son environnement nécessite le développement de modèles de véhicules suffisamment réduits pour être utilisés en ligne (observateur, estimateur, calcul de critères). Nous avons analysé les situations de conduites et définis un ensemble de situations pertinentes, dont l'association permet de reproduire un itinéraire réel du véhicule. Pour cela nous avons développé un observateur multimodèle par modes glissants notamment pour l'estimation de l'adhérence et des attributs de la route. Le système présenté offre une aide active au conducteur, dans ce cadre, nous avons proposé une stratégie de commande pour la régulation du glissement dans le cas d'un freinage par système ABS. Le but est de maximiser le freinage en assurant un maximum d'adhérence, et donc de renforcer les actions du conducteur, dans les premières phases additives. En cas d'évolution de la criticité, le système prend totalement en charge le freinage en fixant la consigne (phase ultime supplétive)
Our work of thesis concerns the systems of assistance to the drivers. In the objective to increase safety, we propose to the driver a contribution of an anticipated knowledge of the road by a system of cartography embarked but also of models of prediction of dynamics vehicle for the anticipation of a situation of danger. The system of assistance to driving is based on the evaluation in real time of the dynamic situation of the vehicle. The original introduction of a virtual vehicle (Avatar), projected in front of the real vehicle, indeed makes it possible to pre-empt the adequacy of the dynamic state of the vehicle compared to the road, in order to avoid the situations of accidents. The evaluation of the adequacy of the dynamics of the vehicle with its environment requires the development of models of vehicles sufficiently reduced to be used in line (observer, estimator, calculation of criteria). We thus analyzed the situations of conduits and defined a whole of relevant situations, whose association makes it possible to reproduce a real route of the vehicle. For that we developed an observer multimodèle by sliding modes in particular for the estimate of the adherence and the attributes of the road. The system presented offers an active help to the driver, within this framework of the assistance to braking, we proposed a strategy of order for the regulation of the slip in the case of a braking by system ABS. The goal is to maximize braking by ensuring a maximum of adherence, and thus to reinforce the actions of the driver, in the first additive phases (progressive actions of the RCC). In the event of evolution of criticality, the system takes completely charges braking of it by fixing the instruction

Durant les trente dernières années, les prestations liées au comportement dynamique des véhicules de tourisme ont été particulièrement améliorées en terme de confort, d'agrément de conduite et de sécurité par l'introduction de systèmes mécatroniques tels l'ABS, la direction assistée. Plusieurs systèmes mécatroniques peuvent participer à l'amélioration de ces prestations : ce sont les organes des liaisons au sol (suspensions, freins et direction). Il convient donc de les commander coopérativement pour asservir le comportement du véhicule. Ces travaux visent ainsi à synthétiser une architecture de commande hiérarchisée en automatique répondant à ce but, en utilisant le concept de systèmes dynamiques hybrides regroupant systèmes continus et systèmes à événements discrets. La commande hybride développée sur divers exemples des liaisons aux sols utilise un superviseur basé sur une machine d'état pondérant les actions des contrôleurs CRONE de chaque système piloté.

Ce travail s'inscrit dans le cadre des programmes de recherche europeens drive et prometheus dont le but principal est la conception d'un copilote automobile. Le probleme d'une securite automobile active peut, en principe, etre resolu par un systeme a base de regles avec cependant des limites liees a la variabilite des caracteristiques de conduite d'un conducteur a l'autre et de l'etat de vigilance d'un meme conducteur. Aussi, dans l'optique d'une approche plus globale, nous avons explore l'utilisation de reseaux neuronaux pour reconnaitre des situations de conduite dangereuse. Malheureusement, une limitation pratique importante vient de la difficulte de choisir une structure de reseau (nombre de couches, nombre de neurones/couche) adequate pour realiser la fonction desiree. Aussi, nous proposons une methode pour construire, de facon incrementale, un reseau neuronal multicouche fonctionnant comme une machine parite. Un apprentissage de type perceptron est effectue unite par unite afin de minimiser une erreur de classification. Basee sur une correction d'erreur successive dans la couche cachee, la procedure de croissance converge en un nombre fini de neurones. Le calcul de la sortie du reseau se ramene ensuite a la mise en uvre d'une fonction parite. La simplicite de cette strategie, appelee offset, rend possible une realisation materielle, essentielle dans l'application traitee. Pour reconnaitre en temps reel des situations de danger en conduite automobile, l'algorithme offset s'integre dans une architecture modulaire. Nous montrons, dans le cadre de cette application, que la cooperation de plusieurs reseaux de neurones non seulement ameliore les performances en generalisation mais aussi permet de reduire le temps d'apprentissage. De facon plus generale et dans une certaine mesure, une telle approche favorise l'interpretation des resultats et ameliore ainsi les possibilites de mise au point des reseaux de grande complexite

Ces dernières années, l'apparition de véhicules de plus en plus connectés ont ouvert la voie à des modes de transports plus sûrs et plus autonomes. Ces véhicules s'appuient sur des systèmes avancés d'aide à la conduite (ADAS) et utilisent divers capteurs comme le radar, la caméra, le LiDAR et le V2X pour créer un cocon de sécurité à 360° autour du véhicule. Si l'intelligence artificielle et l'apprentissage profond ont permis la détection et l'identification d'objets en temps réel à l'aide de caméras et de LiDAR, l'utilisation de ces algorithmes sur des données radar est encore limitée. Pourtant, les radars présentent des avantages, notamment celui de fonctionner dans des conditions météorologiques difficiles et d'offrir de bonnes performances en terme de résolution en distance, angulaire et en vitesse, à un coût inférieur à celui du LiDAR. Cependant, les données renvoyées par les radars actuels contiennent peu d'information concernant les cibles détectées et plusieurs étapes de pré-traitement et de post-traitement sont nécessaires pour les obtenir. Ces étapes de traitement dénaturent le signal brut réfléchi par les objets, pouvant affecter les performances des algorithmes d'intelligence artificielle. Ce doctorat vise à développer de nouveaux algorithmes d'apprentissage profond spécifiquement adaptés aux données radar, visant à être incorporés dans des systèmes automobiles. Ces algorithmes auront pour but de détecter et identifier les objets autour d'un véhicule dans des environnements complexes. Outre les algorithmes, cette thèse étudiera quelles types de données radar, et donc quelle quantité de pré-traitement, permettent d'obtenir les meilleures performances. Les algorithmes proposés dans cette thèse devront satisfaire aux contraintes des environnements automobiles: faible puissance, faible complexité et temps de réaction rapide
In recent years, connected vehicles have paved the way for safer and more automated transportation systems. These vehicles rely heavily on Advanced Driving Assistance Systems (ADAS) and use various sensors like radar, camera, LiDAR, and V2X to ensure 360° safety type of cocoon around the vehicle. While artificial intelligence and deep learning have enabled real-time object detection and identification using cameras and LiDAR, the use of such algorithms on radar data is still limited. Radar sensors offer advantages, such as working in challenging weather conditions and providing good performance in distance, angular and speed resolution, at a lower cost than LiDAR. However, radars output relatively low content information regarding the detected targets and several pre and post-processing steps are required to obtain those. Since the processing steps filter the raw signal returned by objects, it can affect the performance of AI algorithms. This PhD aims to develop new deep learning algorithms explicitly tailored for raw radar data to integrate them into automotive systems. These algorithms will detect and identify objects in complex environments. Additionally, this thesis will explore the optimal types of radar data and pre-processing steps for achieving the best performance. The algorithms will have to meet automotive constraints, including low power consumption, simplicity, and fast response times

Chez Renault, pour réaliser les études amont, les équipes en charge de la prestation du choc automobile disposent de modèles très simples leur permettant de pré-dimensionner le véhicule. Aujourd'hui, ils sont construits à partir du comportement d'un ou quelques véhicules de référence. Ils sont fonctionnels et permettent le dimensionnement. Mais à présent, l'entreprise souhaite construire ses modèles amont en s'appuyant sur l'ensemble de ses véhicules. En d'autres termes, elle souhaite disposer d'une méthode d'analyse automatique de simulations de crashtests afin de capitaliser leurs résultats dans une base de données de modèles simplifiés.Pour répondre à cet objectif, nous développons une méthode permettant d'extraire des simulations de crashtests les données nécessaires à la construction d'un modèle multi-corps de substitution : CrashScan. Le processus d'analyse implémenté dans CrashScan se résume en trois étapes majeures.La première consiste à identifier l'ensemble des zones peu déformées sur une simulation de crashtest. Cela nous permet de dresser le graphe topologique du futur modèle de substitution. La seconde étape est une analyse des cinématiques relatives entre les portions peu déformées : les directions principales et les modes de déformation (e.g. compression, flexion) sont identifiés en analysant le mouvement relatif. La dernière étape consiste à analyser les efforts et les moments situés entre les zones peu déformées dans les repères associés aux directions principales des déformations en fonction des déformations. Cela nous permet d'identifier des modèles hystérétiques de Bouc-Wen équivalents. Ces modèles disposent de trois paramètres utiles dans notre cas : une raideur, un effort seuil avant plastification et une pente d'écrouissage. Ces paramètres peuvent être utilisés directement par les experts des études amont.Enfin, nous construisons les modèles multi-corps de substitution pour trois cas d'étude différents. Nous les comparons alors à leur référence sur les résultats qu'ils fournissent pour les critères utilisés en amont : les modèles générés par CrashScan semblent apporter la précision et la fidélité nécessaires pour être utilisés en amont du développement automobile.Pour poursuivre ces travaux de recherche et aboutir à une solution industrielle, il reste néanmoins des verrous à lever dont les principaux sont la synthèse d'un mouvement quelconque en six mouvements élémentaires et la synthèse multi-corps sur des éléments autres que des poutres
At Renault, to fulfill upstream studies, teams in charge of crashworthiness use very simple models to pre-size the vehicle. Today, these models are built from the physical behavior of only one or some reference vehicles. They work and allow to size the project. But today, the company wishes to build its upstream models using all its vehicles. In other words, it wishes to get an automatic method to analyze crashtests simulations to capitalize their results in a database of simplified models.To meet this goal, we decide to use the multi-body model theory. We develop a method to analyze crashtests simulations in order to extract the data required to build a surrogate multi-body model : CrashScan. The analysis process implemented in CrashScan can be split into three major steps.The first one allows to identify the low deformed zones on a crashtest simulation. Then, we can build the topological graph of the future surrogate model. The second step is to analyze the relative kinematics between the low deformed zones : major directions and deformation modes (e.g. crushing or bending) are identified analysing relative movements. The last step is to analyze strengths and moments located between the low deformed zones, viewed in the frames associated to the major directions of deformations in function of the deformations. This allows us to identify equivalent Bouc-Wen hysteretic models. These models have three parameters that we can use : a stiffness, a threshold strength before plastification and a strain of hardening. These parameters can directly be used by upstream studies experts.Finally, we build multi-body models for three different use case. We compare them to their reference over the results they produce for the upstream criteria : models generated with CrashScan seems to grant the precision and the fidelity required to be used during automotive development's upstream phases.To continue this research work and get an industrial solution, there are still some locks to lift, the main ones are : synthesis of any movement into six elementary ones and multi-body synthesis on elements other than beams

Cette thèse de doctorat a été réalisée dans le cadre d’une convention CIFRE établie entre le laboratoire LAMIH UMR CNRS 8201 et l’équipementier automobile Valeo. Les problématiques de la thèse s’inscrivent dans un contexte proche de l’industrialisation à savoir l’estimation des couples embrayages lors des phases de changement de rapport dans une transmission à double embrayage et le contrôle de la vitesse de glissement de l’embrayage pour une transmission à simple ou à double embrayage. Afin de répondre à la problématique d’estimation de couple embrayage, un capteur virtuel de couple a été développé. Ce capteur virtuel est composé d’une estimation de la torsion des arbres de transmission basée sur une méthode d’ajout de dents virtuelles dans les capteurs incrémentaux d’une part, et d’un observateur Takagi-Sugeno discrétisé dans le domaine angulaire d’autre part. Ce procédé a permis l’estimation des couples embrayages d’une transmission à double embrayage sur une plateforme de simulation fournie par Valeo comportant un modèle complet de véhicule. Le procédé a également été testé sur des données réelles de débattement de double volant amortisseur, des estimations en ligne du couple moteur instantané acyclique et du couple embrayage ont alors été obtenues. Au cours de l’étude dédiée au glissement contrôlé de l’embrayage, une stratégie de contrôle robuste aux perturbations extérieurs induites par le conducteur et aux dispersions du système a été développée. Cette stratégie permet de répondre aux spécifications du cahier des charges en simulation. La stratégie de glissement contrôlé a également été validée sur véhicule lors d’essais sur piste et sur banc à rouleau
This PhD has been done in an industrial framework with the so-called automotive equipment manufacturer Valeo and the laboratory of Automatic Control, Mechanics, Informatics and Human Sciences LAMIH UMR CNRS 8201 of Valenciennes, France. The issues of this PhD are closed to the industrialization context such as the clutch torque estimation during the gear shifting phases in a dual clutch transmission and the clutch slip speed control. In order to solve the inline clutch torque estimation issues, a virtual torque sensor has been developed. On one hand, this virtual sensor is composed of a shaft torsion angle estimation based on a method of virtual tooth adding into the encoder sensors. On another hand, discrete angular domain unknown input Takagi-Sugeno observer is used for the estimation of the dynamic part of transmitted torque. This methodology has permitted the estimation of the transmitted clutch torque of a dual clutch transmission in simulation. The simulation results have been obtained on a simulation platform provided by Valeo, including a complete vehicle model. The methodology has also been tested on real data of a dual mass flywheel angular deflection. Thus, online estimation of instantaneous acyclic engine torque and transmitted clutch torque has been obtained. Concerning the slip control, a robust control strategy against the external disturbances leaded to the driver and the system parameters incertitude has been developed. This strategy permits to ensure the required specifications in simulation. The strategy has been also validated on vehicle during track trials

Un système embarqué est un système électronique et informatique autonome dédié à une tâche précise. Dans le secteur de l’automobile, le nombre de systèmes embarqués dans les voitures a considérablement augmenté au cours de ces dernières années et va certainement continuer à augmenter. Ces systèmes sont dédiés entre autres, à la sécurité, au confort de conduite,et à l’assistance à la conduite. Cette croissance des systèmes est associée avec une croissance en taille des logiciels qui les contrôlent. En conséquence, leur gestion(système et logiciel) devient de plus en plus complexe et problématique. Par ailleurs, la concurrence dans le secteur automobile est très féroce et les temps de mise sur le marché sont de plus en plus courts. Ainsi, pour garantir le bon fonctionnement des systèmes en général et du logiciel en particulier, étant donné leur complexité,et aussi les délais courts de mise sur le marché des produits automobiles, de nouvelles méthodes de développement doivent être considérées. Ainsi, de nombreuses méthodes de développement, incluant de nouveaux standards (de développement) et approches automatiques ont émergé au cours de ces dernières années. Dans le cas particulier de la vérification et validation de logiciel, une des activités critiques qui a connu une avancée significative est la génération de cas de test, avec l’avènement d’approches automatiques.Malgré cela, ces approches peinent souvent à s’imposer en milieu industriel. Une des raisons est que celles ci sont souvent peu adaptées ou peu utilisées dans un contexte industriel.Dans ce contexte, cette thèse vise à proposer une approche de vérification et de validation de logiciels embarqués, basée sur la génération automatique de cas de test. Pour cela, nous avons mis en place une approche permettant de représenter sous forme de modèles abstraits les spécifications d’un logiciel, puis de générer à partir de ces modèles un ensemble de cas de test en considérant en particulier le critère de couverture MC/DC
An embedded system is a system that performs a specific task and has a computer embedded inside. In the automotive sector, the amount of embedded systems in the vehicle has risen dramatically in recent years and is set to increase. They deal essentially with safety, comfort, and driving assistance. Furthermore, the increase in number and complexity of the systems is associated with a growth in software. As a consequence, their management (system and software) have become more and more complex and problematic. Also, the competition and time-to-market in the automotive industry are very tough. Thus, to guarantee the efficiency and reliability of the embedded systems in the vehicle in general and the software in particular, in view of the complexity as well as the competition and time-to-market law, new development methods should be considered. Therefore, new development methods including new standards, and automatic approaches have emerged over the last years. In the particular case of embedded software verification and validation, one of the most critical activities that has experienced a significant progress is test case generation with the advent of automatic approaches. Despite this, these approaches are not widely used or are not well adapted in industrial context. In that context, our goal in this PhD. thesis is to propose a new verification and validation approach, based on automatic test case generation of embedded embedded. Thus, we have set up an approach that automatically generates test cases, with respect to the MC/DC criterion, from abstract models of the software specifications expressed in the form of state-transition models