Nantilus
Langage de description d'architecture matérielle pour les systèmes temps réel
Cette thèse propose un nouveau langage de description d'architecture matérielle HARMLESS (Hardware ARchitecture Modeling Language for Embedded Software Simulation). C'est un ADL mixte ; il permet de décrire d'une manière concise les differentes parties d'un processeur : le jeu d&...
Enregistré dans:
| Auteurs principaux : | , , , |
|---|---|
| Collectivités auteurs : | , , |
| Format : | Thèse ou mémoire |
| Langue : | français |
| Titre complet : | Langage de description d'architecture matérielle pour les systèmes temps réel / Rola Kassem; sous la direction de Yvon Trinquet ; co-encadrants Jean-Luc Béchennec, Mikaël Briday |
| Publié : |
[S.l.] :
[s.n.]
, 2010 |
| Accès en ligne : |
Accès Nantes Université
|
| Note de thèse : | Thèse de doctorat : Automatique et informatique appliquée : Nantes : 2010 |
| Sujets : | |
| Documents associés : | Reproduction de:
Langage de description d'architecture matérielle pour les systèmes temps réel |
| LEADER | 05088clm a2200457 4500 | ||
|---|---|---|---|
| 001 | PPN158782380 | ||
| 003 | http://www.sudoc.fr/158782380 | ||
| 005 | 20240829055200.0 | ||
| 029 | |a FR |b 2010NANT2081 | ||
| 035 | |a (OCoLC)1247753719 | ||
| 100 | |a 20120227d2010 k y|frey0103 ba | ||
| 101 | 0 | |a fre |d fre |d eng |2 639-2 | |
| 102 | |a FR | ||
| 105 | |a ||||v 00|yy | ||
| 135 | |a |r||||||||||| | ||
| 200 | 1 | |a Langage de description d'architecture matérielle pour les systèmes temps réel |b Ressource électronique |f Rola Kassem |g sous la direction de Yvon Trinquet ; co-encadrants Jean-Luc Béchennec, Mikaël Briday | |
| 210 | |a [S.l.] |c [s.n.] |d 2010 | ||
| 230 | |a Données textuelles | ||
| 320 | |a Références bibliographiques | ||
| 325 | 1 | |a La thèse papier est la seule version officielle | |
| 328 | |b Thèse de doctorat |c Automatique et informatique appliquée |e Nantes |d 2010 | ||
| 330 | |a Cette thèse propose un nouveau langage de description d'architecture matérielle HARMLESS (Hardware ARchitecture Modeling Language for Embedded Software Simulation). C'est un ADL mixte ; il permet de décrire d'une manière concise les differentes parties d'un processeur : le jeu d'instructions et la structure interne (les composants matériels et le pipeline). L'originalité de HARMLESS est le découplage de la description du jeu d'instructions de la spécification de la micro-architecture (pipeline et concurrences d'accès aux différents composants matériels). L'une des conséquences est de permettre la génération des deux types de simulateurs indépendamment et simultanément : le simulateur de jeu d'instructions (ISS) permettant la vérification fonctionnelle du processeur et le simulateur précis au cycle près (CAS) fournissant des informations temporelles (en nombre de cycles) sur l'exécution de ce dernier. Une autre conséquence est une construction incrémentale de la description : 4 vues séparées permettent de décrire d'une part le jeu d'instructions (3 vues pour la syntaxe, le format binaire et la sémantique) et d'autre part la micro-architecture (une vue) du processeur. Ceci facilite la réutilisation du code sur une nouvelle architecture cible (les jeux d'instructions évoluent beaucoup moins vite que la structure interne d'un processeur). De nombreuses descriptions de processeur ont été réalisées pour prouver la validité des concepts. | ||
| 330 | |a This thesis aims to propose a new hardware architecture description language HARMLESS (Hardware ARchitecture Modeling Language for Embedded Software Simulation). It is a mixed ADL; it allows to describe concisely the different parts of a processor : instruction set and internal structure (hardware components and pipeline). The originality of HARMLESS is the decoupling of the instruction set description from the micro-architecture description (pipeline and concurrency to access the different hardware devices). One consequence is to allow the generation of two types of simulators independently and simultaneously : the instruction set simulator (ISS) for the functional verification of processors and the cycle accurate simulator (CAS) providing temporal information (in cycles) on the performance of the latter. Another consequence is an incremental construction of description : 4 separate views to describe, one hand the instruction set (3 views for syntax, binary format and semantics) and other hand the processor microarchitecture (one view). This facilitates code reuse on a new target architecture (instruction set progresses much slower than the internal structure of a processor). Many processor descriptions were developed in order to prove the validity of the proposed concepts. | ||
| 455 | | | |0 15605082X |t Langage de description d'architecture matérielle pour les systèmes temps réel |f Rola Kassem |d 2010 |p 1 vol. (186 f.) | |
| 541 | | | |a Hardware architecture description language for real-time systems |z eng | |
| 606 | |3 PPN027333930 |a Temps réel (informatique) |2 rameau | ||
| 606 | |3 PPN027351572 |a Simulation par ordinateur |3 PPN027241408 |x Logiciels |2 rameau | ||
| 608 | |3 PPN027253139 |a Thèses et écrits académiques |2 rameau | ||
| 610 | 2 | |a Langage de description d'architecture matérielle (ADL) |a Simulateur de jeu d'instructions (ISS) |a Simulateur précis au cycle près (CAS) |a Processeur | |
| 700 | 1 | |3 PPN156049740 |a Kassem |b Rola |f 1983-.... |4 070 | |
| 701 | 1 | |3 PPN086974882 |a Béchennec |b Jean-Luc |4 727 | |
| 701 | 1 | |3 PPN077231686 |a Trinquet |b Yvon |4 727 | |
| 701 | 1 | |3 PPN086961691 |a Briday |b Mikaël |f 1978-... |4 727 | |
| 711 | 0 | 2 | |3 PPN033124884 |a Université de Nantes |b Faculté des sciences et des techniques |4 985 |
| 711 | 0 | 2 | |3 PPN026403447 |a Université de Nantes |c 1962-2021 |4 295 |
| 711 | 0 | 2 | |3 PPN134103211 |a École doctorale Sciences et technologies de l'information et mathématiques |c Nantes |4 996 |
| 801 | 3 | |a FR |b Abes |c 20230206 |g AFNOR | |
| 856 | 4 | |q PDF |u https://archive.bu.univ-nantes.fr/pollux/show/show?id=4d1f4963-7917-4f3c-953c-e3ecb7d4df65 |2 accès au texte intégral de la thèse | |
| 979 | |a SCI | ||
| 930 | |5 441092104:444815023 |b 441092104 |j g | ||
| 998 | |a 603769 | ||