Electronique


OS


Devel


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

There are no comments on this page. [Add comment]

Valid XHTML 1.0 Transitional :: Valid CSS :: Powered by WikkaWiki