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

Full description

Saved in:
Bibliographic Details
Main Authors : 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)
Corporate Authors : 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 : Thesis
Language : français
anglais
Title statement : Simulation efficace d architectures opérationnelles / Adrien Bullich; sous la direction de Yvon Trinquet
Published : [Lieu de publication inconnu] : [éditeur inconnu] , 2014
Physical Description : 1 vol. (107 p.)
Online Access : Via Nantes Université network
Note de thèse : Thèse de doctorat : Informatique et applications : Nantes : 2014
Subjects :
Temps réel (informatique)
Architectures matérielles
Simulation compilée
Cycle Accurate Simulation
Thèses et écrits académiques
Related Items : Is reproduction of: Simulation efficace d architectures opérationnelles

Internet

https://archive.bu.univ-nantes.fr/pollux/show/show?id=6110934b-df98-4496-9e94-de1d973ff69c