The Ravenscar Profile

Authors:
Alan Burns
Affiliations:
Real-Time Systems Research Group, Department of Computer Science, University o f York, UK
Venue:
ACM SIGAda Ada Letters
Year:
1999

Citing 0
Cited 36

A case for exceptions

ACM SIGAda Ada Letters - Exception handling for a 21st century programming language proceedings
An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK

Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements

Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Implementing Ada.Real_Time.Clock and Absolute Delays in Real-Time Kernels

Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Using Object Orientation in High Integrity Applications: A Case Study

Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
Engineering software reuse for on-board embedded real-time systems

Software—Practice & Experience
Schedulability analysis with UML

UML for real
An invitation to Ada 2005

ACM SIGAda Ada Letters
Is Java augmented with the RTSJ a better real-time systems implementation technology than Ada 95?

IRTAW '03 Proceedings of the 12th international workshop on Real-time Ada
Task attribute-based scheduling: extending Ada's support for scheduling

IRTAW '03 Proceedings of the 12th international workshop on Real-time Ada
Execution-time clocks and Ravenscar kernels

IRTAW '03 Proceedings of the 12th international workshop on Real-time Ada
Guide for the use of the Ada Ravenscar Profile in high integrity systems

ACM SIGAda Ada Letters
On the dynamic semantics and the timing behavior of Ravenscar kernels

Real-Time Systems
Cost enforcement in the real-time specification for Java

Real-Time Systems
Towards hard real-time erlang

ERLANG '07 Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop
A buffer container class hierarchy using Ada 2005

Proceedings of the 2008 ACM annual international conference on SIGAda annual international conference
Anima: a Ada derived programming language for real-time embedded software development

Proceedings of the 2008 ACM annual international conference on SIGAda annual international conference
Complementing Ada with other programming languages

Proceedings of the ACM SIGAda annual international conference on Ada and related technologies
An invitation to ada 2005

Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
Running Ada on real-time linux

Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
Developing safety critical Java applications with oSCJ/L0

Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems
Implementing the new Ada 2005 timing event and execution time control features on the AVR32 architecture

Journal of Systems Architecture: the EUROMICRO Journal
An efficient and deterministic multi-tasking run-time environment for Ada and the Ravenscar profile on the Atmel AVR®32 UC3 microcontroller

Proceedings of the Conference on Design, Automation and Test in Europe
A deterministic run-time environment for Ada-05 on the ATmega16 microcontroller

Proceedings of the ACM SIGAda annual international conference on SIGAda
Real-time system development in ada using LEGO® mindstorms® NXT

Proceedings of the ACM SIGAda annual international conference on SIGAda
The safety-critical Java memory model: a formal account

FM'11 Proceedings of the 17th international conference on Formal methods
Safety-critical Java in Circus

Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems
The safety-critical java mission model: a formal account

ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Static detection of access anomalies in ada95

Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
A comparison of the mutual exclusion features in ada and the real-time specification for JavaTM

Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
Non-intrusive system level fault-tolerance

Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
Real-Time operating systems

Embedded Systems Design
The cardiac pacemaker case study and its implementation in safety-critical Java and Ravenscar Ada

Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
Towards harnessing theories through tool support for hard real-time Java programming

Innovations in Systems and Software Engineering
An EDF run-time profile based on ravenscar

ACM SIGAda Ada Letters
Safety-critical Java programs from Circus models

Real-Time Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Ravenscar profile is described. All its features and restrictions are noted. Also, the means of designating the profile is presented. Detailed motivations for the profile are not given. The aim of the paper is to summarize the outcome of deliberations at the 8th and 9th International Workshops on Real-Time Ada Issues.