{{trail toc="Electronique"}}
-----
{{trail toc="OS"}}
-----
{{trail toc="Devel"}}
-----
{{trail toc="OSEmbarque"}}
-----

====== Temps réel, électronique et informatique ======

http://fr.wikipedia.org/wiki/Syst%C3%A8me_temps_r%C3%A9el
http://en.wikipedia.org/wiki/Real-time_operating_system (RTOS)

http://systeme.developpez.com/cours/ Cours sur les systèmes temps réel

""FreeRTOS"" http://www.freertos.org
""SafeRTOS"" http://www.highintegritysystems.com/safertos.html
""eCos"" http://ecos.sourceware.org/

http://www.ucos-ii.com
http://barello.net/avrx
http://www.sics.se/~adam/contiki
http://www.shift-right.com/xmk
RTLinux http://www.fsmlabs.com
RTAI http://www.rtai.org
http://www.micrium.com/atmel/index.html
http://www.virtuallogix.com (""VirtualLogix"" ex Jaluna)

http://www.uclinux.org

SEGGER embOS http://www.segger.com/embos.html

http://www.real-time.org
http://www.realtime-info.be

http://www.xenomai.org

Linux/uClinux : voir LinuxHandhelds
VxWorks http://www.windriver.com/vxworks
ThreadX http://www.rtos.com
Nucleus http://www.mentor.com/products/embedded_software
uC/OS-II http://www.micrium.com
pSOS (plug-in Silicon Operating System) (abandonné et remplacé par VxWorks)
OSE http://www.enea.com
QNX http://www.qnx.com
RTX
VRTX
OS20/0S21

Projets universitaires
http://cleopatre.rts-software.org (voir aussi http://cleopatre.rts-software.org/Telechargement/these.pdf )

Chorus -> Sun Jaluna

===== Concepts / mots clés =====
Mutex (exclusion mutuelle) ; spinlock ; real time
temps réel mou, dur, semi-dur...
preemption-on-acid

===== Méthodes pour le temps réel =====
Méthode DARTS
DARTVIEW pour [[LabVIEW]]

===== Outils pour le temps réel / les systèmes critiques =====
Topcased : Toolkit in Open Source for Critical Applications & Systems Development
http://topcased.gforge.enseeiht.fr
http://www.tectosages.com Ingénierie des modèles MDE Model Driven Engineering

===== Voir aussi =====
- [[LinuxHandhelds]]
- [[OSEmbarque]]
- [[Embarque]]