Skip to search formSkip to main contentSkip to account menu

Ravenscar profile

Known as: Ravenscar 
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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

6 relations

Broader (1)

Ada
Alan Burns (professor)Directive (programming)LEONReal-time computing

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Checking memory safety of level 1 safety-critical Java programs using static-analysis without annotations
Safety-Critical Java (SCJ) has been designed specifically to ring performance and reliability to the development of safety… 
2013
2013
Programming language vulnerabilities: proposals to include concurrency paradigms
The vulnerability methodology of the ISO/IEC/JTC 1/ SC 22/ WG 23 Programming Language Vulnerabilities Working Group is applied to… 
2013
2013
Adapting the end-to-end flow model for distributed Ada to the ravenscar profile
This paper presents a proposal to develop High-integrity Distributed Real-Time (HDRT) systems by integrating the real-time end-to… 
Review
2013
Review
2013
The AADL Constraint Annex
The SAE Architecture Analysis and Design Language -- AADL has been defined with a strong focus on the careful modeling of… 
2010
2010
Experience in programming device drivers with the Ravenscar profile
The Ravenscar profile defines a subset of Ada tasking that can be statically analysable for real-time properties. The… 
2008
2008
Automatic framework generation for hard real-time applications
The communication and tasking infrastructure of a real-time application makes up a significant portion of any modern embedded… 
2005
2005
Component-based approach to run-time kernel specification and verification
The traditional approach to high-integrity embedded system development has been to develop and verify the application with the… 
2003
2003
Session: status and future of the Ravenscar profile
Five position papers were input to this session [1, 2, 3, 4, 5], covering such topics as user experience, design patterns, and… 
2000
2000
Caractérisation et interprétation de la variabilité chimique et minéralogique des grès réservoirs. Implications pour la modélisation numérique de la diagenèse minérale des grès du Ravenscar Group…
Les gres presentent un interet particulier en geologie petroliere car ils possedent generalement des gammes de porosite et de… 
1982
1982
Diagenetic modelling in Middle Jurassic clastic sediments from the Ravenscar group, Yorkshire, and the Brent group, northern North Sea
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)