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
Component-Based Modeling and Observer-Based Verification for Railway Safety-Critical Applications
One of the challenges that engineers face, during the development process of safety-critical systems, is the verification of… 
2010
2010
Preservation of Timing Properties with the Ada Ravenscar Profile
Modern methodologies for the development of high-integrity real-time systems leverage forms of static analysis that gather… 
2009
2009
An efficient and deterministic multi-tasking run-time environment for Ada and the Ravenscar profile on the Atmel AVR®32 UC3 microcontroller
This paper describes how an efficient and deterministic multitasking run-time environment supporting the Ravenscar tasking model… 
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
Automated model-based generation of Ravenscar-compliant source code
Graphical languages of various sorts are increasingly used for the specification and the design of high-integrity real-time… 
Highly Cited
2004
Highly Cited
2004
Guide for the use of the Ada Ravenscar Profile in high integrity systems
Tombs and the permission by Aonix Inc. to use sections of their cross-development guide for the ObjectAda/Raven® product as the… 
Highly Cited
2002
Highly Cited
2002
Ravenscar‐Java: a high‐integrity profile for real‐time Java
For many, Java is the antithesis of a high‐integrity programming language. Its combination of object‐oriented programming… 
Highly Cited
1999
Highly Cited
1999
The Ravenscar Profile
The Ravenscar profile is described. All its features and restrictions are noted. Also, the means of designating the profile is… 
Highly Cited
1998
Highly Cited
1998
The Ravenscar tasking profile for high integrity real-time programs
The Ravenscar profile defines a simple subset of the tasking features of Ada in order to support efficient, high integrity… 
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)