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
Auteur principal : Prigent Armelle (Auteur)
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)
Autres auteurs : Roux Olivier Henri (Directeur de thèse), Dhaussy Philippe (Directeur de 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é : [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 :
Méthodes formelles (informatique) > Thèses et écrits académiques
Temps réel (informatique) > Certification > Thèses et écrits académiques

BU Sciences

Informations d'exemplaires de BU Sciences
‌ Cote Prêt Statut
Magasin aérotherme 03 NANT 2097 Empruntable Disponible
Magasin aérotherme 03 NANT 2097 Exclu du prêt Disponible

Bib. Centrale Nantes

Informations d'exemplaires de Bib. Centrale Nantes
‌ Cote Prêt Statut
Magasin 3 TH 2013 bis Empruntable Disponible
Magasin 3 TH 2013 Exclu du prêt Disponible