Simulation efficace d architectures opérationnelles

Simulation efficace d architectures opérationnelles

Le travail de cette thèse s inscrit dans le contexte des systèmes embarqués temps réel. Ces systèmes exigent d importants efforts pour leur validation et leur vérification. Dans le cadre de cette thèse, nous nous intéressons plus particulièrement à la validation par simulation. Celle-ci peut se fair...

Description complète

Détails bibliographiques
Auteurs principaux : Bullich Adrien (Auteur), Trinquet Yvon (Directeur de thèse), Julien Nathalie (Président du jury de soutenance, Membre du jury), Auguin Michel (Rapporteur de la thèse, Membre du jury), Sainrat Pascal (Rapporteur de la thèse, Membre du jury)
Collectivités auteurs : Université de Nantes 1962-2021 (Organisme de soutenance), Université de Nantes Faculté des sciences et des techniques (Organisme de soutenance), École doctorale Sciences pour l'ingénieur, Géosciences, Architecture Nantes (Organisme de soutenance), Institut de recherche en communications et cybernétique Nantes 1958-2017 (Laboratoire associé à la thèse)
Format : Thèse ou mémoire
Langue : français
anglais
Titre complet : Simulation efficace d architectures opérationnelles / Adrien Bullich; sous la direction de Yvon Trinquet
Publié : [Lieu de publication inconnu] : [éditeur inconnu] , 2014
Description matérielle : 1 vol. (107 p.)
Accès en ligne : Accès Nantes Université
Note de thèse : Thèse de doctorat : Informatique et applications : Nantes : 2014
Sujets :
Temps réel (informatique)
Architectures matérielles
Simulation compilée
Cycle Accurate Simulation
Thèses et écrits académiques
Documents associés : Reproduction de: Simulation efficace d architectures opérationnelles
Table des matières indisponible