| dbo:abstract |
El perfil Ravenscar és un conjunt de restriccions inicialment per al llenguatge de programació Ada per ajustar les capacitats del llenguatge als condicionants dels sistemes de temps real de . Aquest perfil ha estat darrerament adaptat al llenguatge Java en la plataforma Java de Temps Real (ca) El perfil de Ravenscar es un subconjunto del lenguaje de programación Ada especialmente pensado para los sistemas de tiempo real. Impone ciertas restricciones a la parte concurrente del lenguaje para poder realizar análisis temporales y permitir una implementación eficiente del núcleo de ejecución. (es) Le profil Ravenscar est un sous-ensemble du langage Ada dédié aux systèmes temps réel nécessitant une grande sûreté de fonctionnement.Il ne restreint que les fonctionnalités liées au parallélisme. L'idée est de permettre de prouver formellement les propriétés temps-réel des programmes écrits selon ce profil. Le profil Ravenscar, en interdisant un certain nombre de caractéristiques du langage Ada, permet de rendre applicables les outils de preuve de programme. Les restrictions apportées permettent également de réaliser des exécutifs plus simples, et donc eux-mêmes certifiables. Ce profil a aussi été appliqué à la spécification temps réel du langage Java. (fr) The Ravenscar profile is a subset of the Ada tasking features designed for safety-critical hard real-time computing. It was defined by a separate technical report in Ada 95; it is now part of the Ada 2012 Standard. It has been named after the English village of Ravenscar, the location of the 8th International Real-Time Ada Workshop (IRTAW 8). (en) Il profilo Ravenscar (Ravenscar profile) è un sottoinsieme delle funzionalità del linguaggio Ada progettato per sistemi critici, che fornisce garanzie hard real-time per i programmi implementati conformemente ad esso. Fu definito in un rapporto tecnico seguente la definizione dello standard Ada 95, e divenne parte dello standard Ada 2012. Prende il nome dal villaggio inglese di Ravenscar, sede dell'ottavo International Real-Time Ada Workshop (IRTAW 8). (it) |
| dbo:wikiPageExternalLink |
https://www.adaformicrocontrollers.com/ http://www.ada-auth.org/standards/2xrm/html/RM-D-13.html https://www.sigada.org/ada_letters/jun2004/ravenscar_article.pdf http://i12www.ira.uka.de/~engelc/lehre/seminarSS07/material/RP_spec.pdf http://sourceforge.net/projects/arm-ada/ https://www.iso.org/standard/38828.html |
| dbo:wikiPageID |
1938385 (xsd:integer) |
| dbo:wikiPageLength |
3506 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1072391966 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbc:Ada_programming_language_family dbr:SPARK_(programming_language) dbr:Ada_(programming_language) dbr:Directive_(programming) dbr:Real-time_computing dbc:Ada_(programming_language) dbr:High_integrity_software dbr:Ravenscar,_North_Yorkshire dbr:Safety-critical dbr:ACM_SIGAda_Ada_Letters |
| dbp:wikiPageUsesTemplate |
dbt:Cite_techreport dbt:Cite_journal dbt:Prog-lang-stub |
| dcterms:subject |
dbc:Ada_programming_language_family dbc:Ada_(programming_language) |
| gold:hypernym |
dbr:Subset |
| rdf:type |
owl:Thing dbo:Language schema:Language wikidata:Q315 wikidata:Q9143 yago:Abstraction100002137 yago:ArtificialLanguage106894544 yago:Communication100033020 yago:Language106282651 yago:ProgrammingLanguage106898352 dbo:ProgrammingLanguage yago:WikicatProgrammingLanguages |
| rdfs:comment |
El perfil Ravenscar és un conjunt de restriccions inicialment per al llenguatge de programació Ada per ajustar les capacitats del llenguatge als condicionants dels sistemes de temps real de . Aquest perfil ha estat darrerament adaptat al llenguatge Java en la plataforma Java de Temps Real (ca) El perfil de Ravenscar es un subconjunto del lenguaje de programación Ada especialmente pensado para los sistemas de tiempo real. Impone ciertas restricciones a la parte concurrente del lenguaje para poder realizar análisis temporales y permitir una implementación eficiente del núcleo de ejecución. (es) The Ravenscar profile is a subset of the Ada tasking features designed for safety-critical hard real-time computing. It was defined by a separate technical report in Ada 95; it is now part of the Ada 2012 Standard. It has been named after the English village of Ravenscar, the location of the 8th International Real-Time Ada Workshop (IRTAW 8). (en) Il profilo Ravenscar (Ravenscar profile) è un sottoinsieme delle funzionalità del linguaggio Ada progettato per sistemi critici, che fornisce garanzie hard real-time per i programmi implementati conformemente ad esso. Fu definito in un rapporto tecnico seguente la definizione dello standard Ada 95, e divenne parte dello standard Ada 2012. Prende il nome dal villaggio inglese di Ravenscar, sede dell'ottavo International Real-Time Ada Workshop (IRTAW 8). (it) Le profil Ravenscar est un sous-ensemble du langage Ada dédié aux systèmes temps réel nécessitant une grande sûreté de fonctionnement.Il ne restreint que les fonctionnalités liées au parallélisme. L'idée est de permettre de prouver formellement les propriétés temps-réel des programmes écrits selon ce profil. Le profil Ravenscar, en interdisant un certain nombre de caractéristiques du langage Ada, permet de rendre applicables les outils de preuve de programme. Les restrictions apportées permettent également de réaliser des exécutifs plus simples, et donc eux-mêmes certifiables. (fr) |
| rdfs:label |
Perfil Ravenscar (ca) Perfil de Ravenscar (es) Profil Ravenscar (fr) Profilo Ravenscar (it) Ravenscar profile (en) |
| owl:sameAs |
freebase:Ravenscar profile yago-res:Ravenscar profile wikidata:Ravenscar profile dbpedia-ca:Ravenscar profile dbpedia-es:Ravenscar profile dbpedia-fr:Ravenscar profile dbpedia-it:Ravenscar profile https://global.dbpedia.org/id/38ves |
| prov:wasDerivedFrom |
wikipedia-en:Ravenscar_profile?oldid=1072391966&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-en:Ravenscar_profile |
| is dbo:wikiPageDisambiguates of |
dbr:Ravenscar |
| is dbo:wikiPageWikiLink of |
dbr:Lego_Mindstorms_NXT dbr:Ada_(programming_language) dbr:European_Cooperation_for_Space_Standardization dbr:Ravenscar dbr:Real-time_computing dbr:Alan_Burns_(professor) dbr:LEON dbr:PikeOS |
| is dbp:dialects of |
dbr:Ada_(programming_language) |
| is foaf:primaryTopic of |
wikipedia-en:Ravenscar_profile |