Références bibliographiques Fichier

Systèmes Temps Réels
Bibliographie
[email protected]
C. Baron
INSA Département GEI
Introduction aux systèmes temps réell
1
Bibliographie
•
Systèmes d'exploitation temps réel, Y. Trinquet et J-P. Elloy, dans "Techniques de
l'Ingénieur", traité "Mesures et contrôles" (1999)
•
Introduction aux systèmes temps réel, C. Bonnet, Y. Demeure, Hermes (1999)
•
Ordonnancement temps réel, F. Cottet et al., Hermes (2000)
•
Hard real-time computing systems, G. Buttazzo, Kluwer (2002)
•
Programmation système en C sous Linux, Ch. Blaess, Eyrolles (2005)
•
Real Time Systems, J.W.S Liu, Prentice Hall (2000)
•
Real-Time concepts for embedded systems, Q. Li et C. Yao, CMP Books (2003)
•
Pthreads programming, B. Nichols, D. Buttlar, J. Proulx Farrel, O'Reilly (1996)
•
Programming for the Real world, POSIX.4, B.O. Gallmeister, O'Reilly (1995)
•
Le bus CAN, applications, D. Paret, Dunod (1999)
•
Le bus de terrain CAN (cours à l'ENSEIRB de P. Kadionik)
•
Le bus industriel VME (cours à l'ENSEIRB de P. Kadionik)
C. Baron
INSA Département GEI
Introduction aux systèmes temps réell
2
Bibliographie
•
Esterel V5 primer, G. Berry (2000) pdf
•
The Constructive Semantics of Pure Esterel, G. Berry (1999) pdf
•
A Tutorial of Lustre , N. Halbwachs, P. Raymond (2007) pdf
•
The synchronous dataflow programming language LUSTRE, N. Halbwachs, P.
Caspi, P. Raymond, D. Pilaud pdf
•
Langages synchrones, E. Encrenaz-Tiphene, cours à l’UPMC Paris
•
Les langages synchrones Lustre et Esterel pour la programmation des systèmes
temps réel, cours à l’ENSEEIHT Toulouse
•
SCADE 6 A Model Based Solution For Safety Critical Software Development, F-X.
Dormoy pdf
•
How to meet EUROCAE ED-12B / RTCA DO-178B international software safety
regulation for airborne systems while reducing development cost, B. Dion, pdf
•
SCADE Suite in space applications at EADS Astrium Space Transportation, D.
Lesens pdf
•
Real Time systems and programming languages, A. Burns et A. Welling, Addison
Wesley (2001)
C. Baron
INSA Département GEI
Introduction aux systèmes temps réell
3