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.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.

Property Value
dbo:abstract
  • 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.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. (fr)
  • 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.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. (fr)
dbo:country
dbo:developer
dbo:license
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 4378770 (xsd:integer)
dbo:wikiPageLength
  • 2922 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 180687681 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:développeur
prop-fr:fondateur
  • Mario Aldea-Rivas et Michael González Harbour (fr)
  • Mario Aldea-Rivas et Michael González Harbour (fr)
prop-fr:langues
prop-fr:nom
  • MaRTE OS (fr)
  • MaRTE OS (fr)
prop-fr:platesFormesPossibles
prop-fr:siteWeb
prop-fr:typeDeNoyau
  • Noyaux temps réel (fr)
  • Noyaux temps réel (fr)
prop-fr:wikiPageUsesTemplate
prop-fr:écritEn
  • Ada, C et Assembleur (fr)
  • Ada, C et Assembleur (fr)
prop-fr:étatDuProjet
  • Disponible (fr)
  • Disponible (fr)
dct:subject
rdfs:comment
  • 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.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. (fr)
  • 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.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. (fr)
rdfs:label
  • MaRTE OS (fr)
  • MaRTE OS (es)
  • MaRTE OS (fr)
  • MaRTE OS (es)
owl:sameAs
prov:wasDerivedFrom
foaf:homepage
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of