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

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...

Description complète

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Prigent Armelle (Auteur), Roux Olivier-Henri (Directeur de thèse), Dhaussy Philippe (Directeur de thèse)
Collectivités auteurs : Université de Nantes 1962-2021 (Organisme de soutenance), Centrale Nantes 1991-.... (Autre partenaire associé à la thèse), École doctorale sciences et technologies de l'information et des matériaux Nantes (Ecole doctorale associée à la thèse), École nationale supérieure des ingénieurs des études et techniques d'armement 1971-2010 (Autre partenaire associé à la thèse)
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é : 2003
Description matérielle : 1 vol. (158 p.)
Condition d'utilisation et de reproduction : Publication autorisée par le jury
Note de thèse : Thèse doctorat : Informatique : Nantes : 2003
Sujets :
Méthodes formelles (informatique)
Temps réel (informatique) > Certification
Thèses et écrits académiques
Documents associés : Reproduit comme: Le test des systèmes temps-réel paramétrés
Particularités de l'exemplaire : BU Sciences, Ex. 1 :
Titre temporairement indisponible à la communication
Table des matières indisponible