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 2Voir et modifier les données sur Wikidata
É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

  1. ↑ (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)

Liens externes