Remarque
sur les formats :
les fichiers pdf résultent souvent de traductions de fichiers powerpoint
avec animations.
Cette traduction multiplie le nombre de pages vues par le
format pdf. Pour obtenir les effets d'animation en pdf,
appuyez sur le bouton 
ou sur la touche "Entrée".
Les documents seront rendus
disponibles en fonction du calendrier des enseignements.
Programmation
Réactive (EPU - électronique)
- 2007-2008
Cours
- Introduction Systèmes
réactifs et systèmes temps réel (pdf,
550 kB, 54 slides)
- LUSTRE: Langage déclaratif
synchrone (pdf, 239 kB, 74 slides)
- ESTEREL: Langage impératif
synchrone (pdf, 174 kB, 67 slides, 17 p.)
- ESTEREL: plate-forme
(pdf, 384kB,48 slides)
- SyncCharts (pdf,
146 kB, 19 slides)
TD
- Lustre 1 (pdf,
124 kB) (tgz, 195 kB)
- Lustre 2 (pdf,
155 kB) (tgz, 65 kB)
- Esterel 1 (pdf,
49 kB, 6p.) (zip, 28 kB)
- Esterel 2 (pdf,
36kB, 3p.), fichiers (zip, 22 kB)
- SyncCharts (pdf,
149kB, 4 p.), fichiers (zip, 90 kB)
- Labs (provided by Esterel-Technologies,
zip, 1656kB)
Documents
- LUSTRE - Syntaxe (pdf,
144 kB, 2 p.)
- LUSTRE - User's Manual
(pdf, 384 kB, 37 p.)
- LUSTRE - Exercices complémentaires
(pdf, 52 kB, 13 slides, 4 p.)
- ESTEREL - V5 - Reference
Card (pdf, 31 kB, 3 p.)
- ESTEREL - V7 - Reference
Card (pdf, 211 kB, 2 p.)
- Comparaison des styles
de programmation synchrone
(pdf, 690k, 30 pages)
- Contrôle (archive)
( sujet, pdf, 24kB)
- Programmes Lustre complémentaires
(pdf, 86kB)
Unified
Modeling Language (EPU - électronique)
- 2007-2008
Cours
- Ingénierie dirigée
par les modèles (pdf, 311 kB, 14 slides)
- UML & Diagrammes
de classes (pdf, 814 kB, 51 slides)
- Package diagrams (pdf,
44 kB, 5 slides)
- Composite structures
(pdf, 432 kB, 29 slides)
- Object Constraint Language
(OCL) (pdf,153KB, 27 slides)
- Use Case (pdf,
118kB, 14 slides)
- State Machines (pdf,
201kB, 17 slides)
- Interactions (pdf,
244kB,22 slides)
- Systems Engineering (pdf,
541kB, 27 slides)
- Activities (pdf,
298kB, 26 slides)
- Profiles (pdf,102kB,8
slides)
- SysML (pdf,
6254kB, 43 slides)
TD
- Diagrammes de classes
+ usage de Papyrus (umlTD1, zip, 4411 kB)
- Exprimer les contraintes
du TD1 dans le modèle Papyrus.
- Use cases & State
Machines (umlTD2, pdf, 78kB, 5p.) + Complements
on StateMachines (pdf, 99kB,
6 slides)
- Modélisation UML
du mondial de rugby 2007.
- chercher de la documentation
pertinent sur le web
- modéliser
en UML
- utiliser l'environnement
papyrus (//www.papyrusuml.org)
- Meta modeling + OCL constraints
umlTD3, pdf,70kB,3 p.)+ Complements on Class
Diagrams (pdf, 69kB, 5 slides)
Documents
- OCL manual (short) (pdf,
80kB, 7 pages; extended version, pdf,457kB,31
p.)
- UML superstructure (OMG-formal/2007-02-03,
pdf, 5235kB ,732p)
- SysML specifications
(OMG-formal/2007-09-01,
pdf, 3326kB ,258p)
SF7
(EPU - SI) - E2 (Master STIC 2) - 2007-2008
Lectures
- Prologue (pdf,
72k, 11 slides)
- Reactive & real-time
systems (pdf, 137k, 26 slides)
- Synchronous hypotheses
(pdf, 126k, 23 slides)
- The Lustre Language (pdf,
274k, 77 slides)
- The Esterel Language
(pdf, 273k, 65 slides)
- The Esterel Software
Environment (pdf, 324k, 48 slides)
- Esterelv7 additional
programs (pdf, 70kB, 22 slides)
- Graphic Synchronous Formalisms:
SyncCharts (pdf, 191k, 32 slides)
- The logical semantics
of Esterel (pdf, 137k, 53 slides)
Labs
- Lab1 - Lustre (Part I)
(pdf,93kB, tgz,
165kB, zip, 173kB) + environment
settings (1 kB)
- Lab2 - Lustre (Part II)
(pdf, 43kB, zip,
28kB)
- Lab3 - Esterel (Part
I) (pdf, 308kB, zip,
223kB, version Esterelv5 zip, 222kB)
+environment
settings (1kB) +
time specification (jpeg,100kB)
- Lab4 - Esterel (Part
II) (pdf, 127kB, zip,
102kB)
Documents
- Lustre ref-card (pdf,
144k, 2 pages)
- Esterel v7 ref-card (pdf,
211k, 2 pages)
- Esterel semantic rules
(pdf, 37k, 3 slides, 3 pages)
Software
- Lustre (lustre-v4-II.h-linux,
tgz (15735kB); lustre-v4-II.i-linux,
tgz (10521kB)
- Esterel v7 - Installation
(pdf - 76kB); simulator script (esEPU.bat,
2kB)
UML
for Real-Time & Embedded Systems (EPU - informatique) - 2007-2008
Cours
- Ingénierie dirigée
par les modèles (pdf, 311 kB, 14 slides)
- UML & Diagrammes
de classes (pdf, 814 kB, 51 slides)
- Package diagrams (pdf,
44 kB, 5 slides)
- Composite structures
(pdf, 432 kB, 29 slides)
- Object Constraint Language
(OCL) (pdf,153KB, 27 slides)
- Use Case (pdf,
118kB, 14 slides)
- State Machines (pdf,
201kB, 17 slides)
- Interactions (pdf,
244kB,22 slides)
- Activities (pdf,
298kB, 26 slides)
- Systems Engineering (pdf,
541kB, 27 slides)
- Profiles (pdf,102kB,8
slides)
- SysML (pdf,
6254kB, 43 slides)
TD
- Diagrammes de classes
+ usage de Papyrus (umlTD1, zip, 4411 kB)
- Exprimer les contraintes
du TD1 dans le modèle Papyrus.
- Use cases & State
Machines (umlTD2, pdf, 78kB, 5p.) + Complements
on StateMachines (pdf, 99kB,
6 slides)
- Sujet d'examen de 2007
(pdf, 145kB, 5 p.). Ce document (pdf,
535kB, 31p.), extrait des spécifications de SysML, avait été
distribué 2 semaines avant l'examen, pour analyse.
Documents
- OCL manual (short) (pdf,
80kB, 7 pages; extended version, pdf,457kB,31
p.)
- UML superstructure (OMG-formal/2007-02-03,
pdf, 5235kB ,732p)
- SysML specifications
(OMG-formal/2007-09-01,
pdf, 3326kB ,258p)
I1
(Master STIC EEA) - 2007-2008
Cours
- Représentation
des fonctions booléennes (BDD) (pdf,
153k, 39 transparents, 20 pages)
- Machines
combinatoires et séquentielles (pdf,
108k, 15 transparents, 8 pages)
- Synthèse
de machines séquentielles (pdf, 67k,
19 transparents, 10 pages)
- Minimisation
des machines séquentielles (pdf,156k,
30 transparents, 15 pages)
- Réseaux
de Petri (pdf, 98kB, 23 transparents, 23p.), (pdf,
texte, 78kB)
- Développement
d'applications temps réel (pdf, 54kB,
17 transparents)
- Statecharts
(pdf, 944kB, 24 transparents)
- RTOS
(pdf, 77k, 25p.)
, SCEPTRE primitives (pdf,
44kB)
- Ordonnancement
Temps réel (pdf, 145k, 28p.)
- Aritmétique
en virgule fixe (pdf, 68kB, 14p.)
- Entrées/sorties
analogiques (pdf, 85kB, 15 p.)
TD
- TD1 BDD (pdf,
46 kB)
- TD2 Synthèse
d'un détecteur de séquence (pdf, 27
kB)
- TD3 Minimisation de
machines séquentielles (pdf, 62 kB)
- TD4 Synthèse d'un
encodeur (pdf, 92kB)
- TD5 Réseaux de
Petri (pdf, 98kB)
- TD6 Programmation multitâche
(pdf, 36kB)
- TD7 Programmation de
FSM en C (pdf, 73kB)
- TD8 Ordonnancement (pdf,
35kB)
- TD9 Utilisation de l'arithmétique
en virgule fixe (pdf, 19kB)
TP
- TP1
: BDD (pdf,78kB)
- TP2
: Réseaux de Petri (zip, 116kB)
Software
M2
(Master STIC EEA) - 2007-2008
Cours
Architecture
- Introduction
(pdf, 121k, 8 slides)
- CPU (pdf,
216k, 34 slides)
- Memory (pdf,
491k, 48 slides)
- Pipeline (pdf,
142k, 28 slides)
- RISC and SuperScalars
(pdf, 63k, 20 slides)
- DSP (introduction) (pdf,
1528 kB, 28 slides)
- DSP (C6711 - VLIW) (pdf,
344 kB, 38 slides)
VHDL
- VHDL (pdf,
1751kB, 135 slides)
TD
VHDL
- TD1 (pdf,
83k, 4 pages) solution (pdf)
- TD2
(pdf, 123k, 3 pages) solution (pdf)
- TD3 (pdf,
84kB, 4 pages) solution (pdf)
TP
VHDL
Systèmes
numériques (L3 STIC EEA) - 2007-2008
Cours
- Introduction
aux architectures des ordinateurs (pdf, 155k,
11 transparents)
- Jeu d'instructions
(pdf, 186k, 32 transparents)
- Langages
d'assemblage (pdf, 131k, 27 transparents)
Compléments
- Machine
à pile (pdf,88k, 8 transparents)
- Structures
de contrôle (pdf, 42kB, 15 transparents)
TER Master
STIC 1 - EEA 2007-2008
sujet proposé:
- nesC:
A Programming Language for Deeply Networked Systems (
html )
Sert également de
stage en laboratoire (Laboratoire I3S, projet AOSTE)
Miscelaneous
Dernière
mise à jour : March 20, 2008
