Le test des systèmes temps-réel paramétrés : application à la conception d'architectures avioniques

par Armelle Prigent

Thèse de doctorat en Informatique

Sous la direction de Olivier Henri Roux et de Philippe Dhaussy.

Soutenue en 2003

à Nantes , en partenariat avec École centrale de Nantes (autre partenaire) .

mots clés

• Méthodes formelles (informatique)
• Temps réel (informatique) -- Certification

Résumé

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

Pas de résumé disponible.