Le test des systèmes temps-réel paramétrés : application à la conception d'architectures avioniques
Les systèmes embarqués critiques doivent être soumis à une validation rigoureuse afin d'assurer leurs performances et leur sûreté de fonctionnement. Le test de conformité est l'activité permettant de s'assurer que le produit final correspond aux attentes de la spécification. Dans le c...
Enregistré dans:
Auteur principal : | |
---|---|
Collectivités auteurs : | , , |
Autres auteurs : | , |
Format : | Thèse ou mémoire |
Langue : | français |
Titre complet : | Le test des systèmes temps-réel paramétrés : application à la conception d'architectures avioniques / Armelle Prigent; sous la dir. d'Olivier Roux; co-encadrant Philippe Dhaussy |
Publié : |
[S.l.] :
[s.n.]
, 2003 |
Description matérielle : | 1 vol. (158 p.) |
Note de thèse : | Thèse doctorat : Informatique : Nantes : 2003 |
Disponibilité : | Publication autorisée par le jury |
Sujets : |
LEADER | 02797cam a2200409 4500 | ||
---|---|---|---|
001 | PPN077773624 | ||
003 | http://www.sudoc.fr/077773624 | ||
005 | 20240531154500.0 | ||
029 | |a FR |b 2003NANT2097 | ||
035 | |a (OCoLC)492979378 | ||
100 | |a 20040430d2003 k y0frey0103 ba | ||
101 | 0 | |a fre |d fre |d eng | |
102 | |a FR | ||
105 | |a y m 00|yy | ||
106 | |a r | ||
200 | 1 | |a Le test des systèmes temps-réel paramétrés |b Texte imprimé |e application à la conception d'architectures avioniques |f Armelle Prigent |g sous la dir. d'Olivier Roux |g co-encadrant Philippe Dhaussy | |
210 | |a [S.l.] |c [s.n.] |d 2003 | ||
215 | |a 1 vol. (158 p.) |d 30 cm | ||
310 | |a Publication autorisée par le jury | ||
320 | |a Bibliogr. p. 155-158 | ||
328 | |b Thèse doctorat |c Informatique |e Nantes |d 2003 | ||
330 | |a Les systèmes embarqués critiques doivent être soumis à une validation rigoureuse afin d'assurer leurs performances et leur sûreté de fonctionnement. Le test de conformité est l'activité permettant de s'assurer que le produit final correspond aux attentes de la spécification. Dans le cas des systèmes temps-réel, il est important de tester la conformité en prenant en considération les contraintes temporelles du modèle. Cette thèse propose une approche de génération de tests pour des systèmes d'automates temporisés paramétrés. L'algorithme de construction des tests utilise un objectif de test pour sélectionner les comportements à tester. Les tests sont construits grâce à une analyse d'accessibilité symbolique des états du modèle, et une représentation des contraintes d'horloges par une extension paramétrée des diagrammes différentiels d'horloges Clock difference diagrams. Au cours de ce travail, nous avons développé un outil de génération de tests: RTT (Real Time Test Generator | ||
606 | |3 PPN050702858 |a Méthodes formelles (informatique) |3 PPN027253139 |x Thèses et écrits académiques |2 rameau | ||
606 | |3 PPN027333930 |a Temps réel (informatique) |3 PPN028661478 |x Certification |3 PPN027253139 |x Thèses et écrits académiques |2 rameau | ||
686 | |a 004 |2 TEF | ||
700 | 1 | |3 PPN077772598 |a Prigent |b Armelle |f 1976-... |4 070 | |
702 | 1 | |3 PPN066922836 |a Roux |b Olivier Henri |f 19..-.... |c professeur des universités IRCCyN |4 727 | |
702 | 1 | |3 PPN077773136 |a Dhaussy |b Philippe |f 1953-.... |4 727 | |
712 | 0 | 2 | |3 PPN026403447 |a Université de Nantes |c 1962-2021 |4 295 |
712 | 0 | 2 | |3 PPN03063525X |a Centrale Nantes |c 1991-.... |4 985 |
712 | 0 | 2 | |3 PPN068720513 |a École doctorale sciences et technologies de l'information et des matériaux |c Nantes |4 996 |
801 | 3 | |a FR |b Abes |c 20171204 |g AFNOR | |
979 | |a ECN | ||
979 | |a SCI | ||
930 | |5 441092104:201776138 |b 441092104 |j u | ||
930 | |5 441092306:217941370 |b 441092306 |a TH 2013 |j u | ||
998 | |a 378562 |