MaRTE OS
Apparence
MaRTE OS | |
Langues | Anglais |
---|---|
Type denoyau | Noyaux temps réel |
État du projet | Disponible |
Plates-formes | x86 ARM(surRaspberry 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,CetAssembleur |
Site web | http://marte.unican.es |
modifier |
MaRTE OSest unsystème temps réelécrit enAdaqui suit les recommandations d'un sous-ensemble de la normePOSIX.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)