MaRTE OS
| MaRTE OS | |
| Langues | Anglais |
|---|---|
| Type de noyau | Noyaux temps réel |
| État du projet | Disponible |
| Plates-formes | x86 ARM (sur Raspberry Pi) |
| Entreprise / Fondateur |
Mario Aldea-Rivas et Michael González Harbour |
| Entreprise / Développeur |
Université de Cantabrie |
| Licence | Licence publique générale GNU version 2 |
| Écrit en | Ada, C et Assembleur |
| Site web | http://marte.unican.es |
modifier  |
|
MaRTE OS est un système temps réel écrit en Ada qui suit les recommandations d'un sous-ensemble de la norme POSIX.13. Il permet d'exécuter des applications embarquées écrites en Ada ou en C[1]. Voici ses principales caractéristiques :
- fondé sur la "toolchain" AdaCore GNU.
- implémente l'annexe temps-réel de Ada2005 :
- pthreads, mutex, condvars...
- tous ces services ont un temps de réponse défini (y compris l'allocation de mémoire avec TLSF).
- disponible sous la licence GNU General Public License 2.
Ce système d'exploitation fonctionne soit directement sur PC soit sous émulateur.
Notes et références[modifier | modifier le code]
- (en) Mario Aldea Rivas et Michael González Harbour,, « MaRTE OS: An Ada Kernel for Real-Time Embedded Applications », Proceedings of the International Conference on Reliable Software Technologies, Ada-Europe-2001, (lire en ligne)
