| http://dbpedia.org/ontology/abstract
|
MaRTE OS est un système temps réel écrit e … 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.it directement sur PC soit sous émulateur.
|
| http://dbpedia.org/ontology/country
|
http://fr.dbpedia.org/resource/Espagne +
|
| http://dbpedia.org/ontology/developer
|
http://fr.dbpedia.org/resource/Universit%C3%A9_de_Cantabrie +
|
| http://dbpedia.org/ontology/license
|
http://fr.dbpedia.org/resource/GPLv2 +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://marte.unican.es/ +
, http://marte.unican.es/index.htm +
|
| http://dbpedia.org/ontology/wikiPageID
|
4378770
|
| http://dbpedia.org/ontology/wikiPageLength
|
2922
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
180687681
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://fr.dbpedia.org/resource/Architecture_ARM +
, http://fr.dbpedia.org/resource/C_%28langage%29 +
, http://fr.dbpedia.org/resource/Universit%C3%A9_de_Cantabrie +
, http://fr.dbpedia.org/resource/X86 +
, http://fr.dbpedia.org/resource/Ada_%28langage%29 +
, http://fr.dbpedia.org/resource/Assembleur +
, http://fr.dbpedia.org/resource/POSIX +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Syst%C3%A8me_d%27exploitation_temps_r%C3%A9el_libre +
, http://fr.dbpedia.org/resource/Anglais +
, http://fr.dbpedia.org/resource/Raspberry_Pi +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Logiciel_libre_sous_licence_GPL +
, http://fr.dbpedia.org/resource/Syst%C3%A8me_temps_r%C3%A9el +
|
| http://fr.dbpedia.org/property/développeur
|
http://fr.dbpedia.org/resource/Universit%C3%A9_de_Cantabrie +
|
| http://fr.dbpedia.org/property/fondateur
|
Mario Aldea-Rivas et Michael González Harbour
|
| http://fr.dbpedia.org/property/langues
|
http://fr.dbpedia.org/resource/Anglais +
|
| http://fr.dbpedia.org/property/nom
|
MaRTE OS
|
| http://fr.dbpedia.org/property/platesFormesPossibles
|
http://fr.dbpedia.org/resource/X86 +
, ARM
|
| http://fr.dbpedia.org/property/siteWeb
|
http://marte.unican.es/index.htm +
|
| http://fr.dbpedia.org/property/typeDeNoyau
|
Noyaux temps réel
|
| http://fr.dbpedia.org/property/wikiPageUsesTemplate
|
http://fr.dbpedia.org/resource/Mod%C3%A8le:Officiel +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Infobox_Syst%C3%A8me_d%27exploitation +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:R%C3%A9f%C3%A9rences +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Portail +
|
| http://fr.dbpedia.org/property/écritEn
|
Ada, C et Assembleur
|
| http://fr.dbpedia.org/property/étatDuProjet
|
Disponible
|
| http://purl.org/dc/terms/subject
|
http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Syst%C3%A8me_d%27exploitation_temps_r%C3%A9el_libre +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Logiciel_libre_sous_licence_GPL +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://fr.wikipedia.org/wiki/MaRTE_OS?oldid=180687681&ns=0 +
|
| http://xmlns.com/foaf/0.1/homepage
|
http://marte.unican.es/index.htm +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://fr.wikipedia.org/wiki/MaRTE_OS +
|
| owl:sameAs |
http://www.wikidata.org/entity/Q3273418 +
, http://es.dbpedia.org/resource/MaRTE_OS +
, http://fr.dbpedia.org/resource/MaRTE_OS +
, http://g.co/kg/g/122y5q_b +
|
| rdfs:comment |
MaRTE OS est un système temps réel écrit e … 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.it directement sur PC soit sous émulateur.
|
| rdfs:label |
MaRTE OS
|
