| Property |
Value |
| dbo:abstract
|
- 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)
- 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)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 3515 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- 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)
- 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
|
- Profil Ravenscar (fr)
- Profilo Ravenscar (it)
- Profil Ravenscar (fr)
- Profilo Ravenscar (it)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
