Spécifications robustes du système de pilotage d'une fonction électronique automobile
Certains dysfonctionnements du système de pilotage des fonctions véhicule qui peuvent être observés ou qui sont redoutés actuellement peuvent avoir pour origine l'incomplétude de leurs spécifications. Par complétude de la spécification d'un système, on entend couverture de la réalisation d...
Saved in:
Main Author : | |
---|---|
Corporate Authors : | , , , |
Other Authors : | , |
Format : | Thesis |
Language : | français |
Title statement : | Spécifications robustes du système de pilotage d'une fonction électronique automobile / Eva Rakotomalala; sous la direction de Jean-Pierre Elloy; co-encadrant Pierre Molinaro |
Published : |
[S.l.] :
[s.n.]
, 2005 |
Physical Description : | 1 vol. (159 f.) |
Note de thèse : | Thèse doctorat : Automatique et informatique appliquée : Nantes : 2005 |
Availability : | Publication autorisée par le jury |
Subjects : |
LEADER | 03484cam a2200409 4500 | ||
---|---|---|---|
001 | PPN098830422 | ||
005 | 20240425055200.0 | ||
029 | |a FR |b 2005NANT2099 | ||
100 | |a 20060403d2005 k y0frey0103 ba | ||
101 | 0 | |a fre |d fre |d eng | |
102 | |a FR | ||
105 | |a a m 001yy | ||
106 | |a r | ||
200 | 1 | |a Spécifications robustes du système de pilotage d'une fonction électronique automobile |b Texte imprimé |f Eva Rakotomalala |g sous la direction de Jean-Pierre Elloy |g co-encadrant Pierre Molinaro | |
210 | |a [S.l.] |c [s.n.] |d 2005 | ||
215 | |a 1 vol. (159 f.) |c ill. |d 30 cm | ||
310 | |a Publication autorisée par le jury | ||
320 | |a Bibliogr. f. 153-158. Index | ||
328 | |b Thèse doctorat |c Automatique et informatique appliquée |e Nantes |d 2005 | ||
330 | |a Certains dysfonctionnements du système de pilotage des fonctions véhicule qui peuvent être observés ou qui sont redoutés actuellement peuvent avoir pour origine l'incomplétude de leurs spécifications. Par complétude de la spécification d'un système, on entend couverture de la réalisation de ce système vis-à-vis de toutes les valeurs possibles de ses entrées en tout état. Obtenir cette complétude garantit la robustesse de la solution vis-à-vis de l'occurrence d'évènements rares ou inobservés et qui résultent de combinaisons de circonstances qu'il était quasi-impossible à envisager lors de l'établissement du cahier des charges. Ces cas surviennent particulièrement lors de la réutilisation de fonctionnalités dans des versions différentes d'une gamme de véhicules, ou lors de la construction de prestations inter-systèmes émettant de nouvelles séquences de signaux aux fonctionnalités qu'elles associent. La contribution de notre thèse est de proposer une démarche et un outil qui permettent d'identifier, dès la conception d'un système, toutes les situations qui peuvent produire des dysfonctionnements ayant comme origine l'incomplétude de ses spécifications, et ce sur la base d'une modélisation à états finis du comportement de ce système et de l'abstraction booléenne de ses valeurs d'entrées et sorties. Dans le cadre de cette démarche, notre contribution porte sur le développement d'une technique d'analyse de la complétude ainsi que d'une technique de réalisation de la consistance de la spécification. | ||
541 | | | |a Robust specifications of automotive control systems |z eng | |
606 | |3 PPN027426297 |a Automobiles |x Conception et construction |3 PPN027253139 |x Thèses et écrits académiques |2 rameau | ||
606 | |3 PPN027330362 |a Fiabilité |3 PPN027253139 |x Thèses et écrits académiques |2 rameau | ||
606 | |3 PPN027296652 |a Automobiles |x Équipement électronique |3 PPN027253139 |x Thèses et écrits académiques |2 rameau | ||
700 | 1 | |3 PPN098829793 |a Rakotomalala |b Eva |f 1978-... |4 070 | |
702 | 1 | |3 PPN060651911 |a Elloy |b Jean-Pierre |4 727 | |
702 | 1 | |3 PPN08696237X |a Molinaro |b Pierre |4 727 | |
712 | 0 | 2 | |3 PPN026403447 |a Université de Nantes |c 1962-2021 |4 295 |
712 | 0 | 2 | |3 PPN033124884 |a Université de Nantes |b Faculté des sciences et des techniques |4 295 |
712 | 0 | 2 | |3 PPN068720513 |a École doctorale sciences et technologies de l'information et des matériaux |c Nantes |4 295 |
712 | 0 | 2 | |3 PPN03063525X |a Centrale Nantes |c 1991-.... |4 295 |
801 | 3 | |a FR |b Abes |c 20080212 |g AFNOR | |
930 | |5 441092104:265051355 |b 441092104 |a 2005 NANT 2099 |j u | ||
930 | |5 441092306:266271383 |b 441092306 |a TH 2128 |j u | ||
979 | |a ECN | ||
979 | |a SCI | ||
998 | |a 459319 |