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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
This paper discusses different approaches for implementing an EEPROM memory driver which is part of the UPMSat2 satellite on… (More)
Is this relevant?
2010
2010
Modern methodologies for the development of high-integrity real-time systems build on abstract representations or models instead… (More)
  • table 1
  • table 2
  • figure 1
  • table 3
Is this relevant?
2006
2006
This paper presents an implementation of the Ravenscar-Java profile. While most implementations of the profile are reference… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Is this relevant?
Highly Cited
2005
Highly Cited
2005
For many, Java is the antithesis of a high integrity programming language. Its combination of object-oriented programming… (More)
  • figure 1
  • figure 14
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Guide for the use of the Ada Ravenscar Profile in high integrity systems ii Acknowledgements This report is the result of input… (More)
  • figure 1
  • table 1
  • figure 2
  • figure 3
Is this relevant?
2002
2002
There is significant industry interest in the use of the Ravenscar Tasking profile for high performance and high integrity… (More)
Is this relevant?
2001
2001
The GNAT/ORK cross-compilation system was designed to support the Ravenscar profile semantics in a simple and efficient way. The… (More)
Is this relevant?
2001
2001
The Ravenscar Profile emerged in 1997 as a most promising approach to bringing mature, predictable and efficient concurrency into… (More)
Is this relevant?
2001
2001
The Ravenscar Profile was a major output of the 8th International Real-Time Ada Workshop. The profile defines a subset of the… (More)
Is this relevant?
Highly Cited
1999
Highly Cited
1999
The Ravenscar profile is described. All its features and restrictions are noted. Also, the means of designating the profile is… (More)
Is this relevant?