Validation par simulation fine d'une architecture opérationnelle

Validation par simulation fine d'une architecture opérationnelle

La validation des systèmes temps réels est une activité indispensable car les conséquences d'une erreur peuvent être catastrophiques. L'approche choisie dans cette thèse se situe en fin du cycle de développement, lorsque le logiciel applicatif est disponible. L'objectif visé est la si...

Description complète

Enregistré dans:
Détails bibliographiques
Auteur principal : Briday Mikaël (Auteur)
Collectivités auteurs : Université de Nantes 1962-2021 (Organisme de soutenance), École doctorale sciences et technologies de l'information et des matériaux Nantes (Ecole doctorale associée à la thèse)
Autres auteurs : Trinquet Yvon (Directeur de thèse), Béchennec Jean-Luc (Directeur de thèse)
Format : Thèse ou mémoire
Langue : français
Titre complet : Validation par simulation fine d'une architecture opérationnelle / Mikaël Briday; sous la dir. d' Yvon Trinquet, co-encadrant Jean-Luc Béchennec et co-encadrant industriel Matthieu Peseux
Publié : [S.l.] : [s.n.] , 2004
Description matérielle : 171 p.
Note de thèse : Thèse doctorat : Automatique et informatique appliquée : Nantes : 2004
Disponibilité : Publication autorisée par le jury
Sujets :
Temps réel (informatique) > Thèses et écrits académiques
Traitement réparti > Thèses et écrits académiques
Analyse temporelle > Thèses et écrits académiques
CAN (réseau d'ordinateurs) > Thèses et écrits académiques
Table des matières indisponible