Article

Free access

The Ravenscar Profile and implementation issues (session summary)

Chairman:

Alan BurnsAuthors Info & Claims

IRTAW '99: Proceedings of the ninth international workshop on Real-time Ada

Pages 12 - 14

https://doi.org/10.1145/329607.334728

Published: 01 June 1999 Publication History

PDF eReader

Cited By

View all

Urueña SZamorano J(2019)Building high-integrity distributed systems with Ravenscar restrictionsACM SIGAda Ada Letters10.1145/1316002.1316008XXVII:2(29-36)Online publication date: 27-Feb-2019
https://dl.acm.org/doi/10.1145/1316002.1316008
Lundqvist KAsplund L(2019)A Ravenscar-Compliant Run-time Kernel for Safety-Critical Systems*Real-Time Systems10.1023/A:102170122184724:1(29-54)Online publication date: 1-Jun-2019
https://dl.acm.org/doi/10.1023/A%3A1021701221847
Urueña SZamorano Jde la Puente J(2007)Building high-integrity distributed systems with Ravenscar restrictionsProceedings of the 13th international workshop on Real-time Ada10.1145/1316003.1316008(29-36)Online publication date: 17-Apr-2007
https://dl.acm.org/doi/10.1145/1316003.1316008
Show More Cited By

Index Terms

The Ravenscar Profile and implementation issues (session summary)
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Software implementation planning
        Software design techniques
    2. Software development process management

Recommendations

Status and future of the Ravenscar profile session summary
IRTAW '00: Proceedings of the 10th international workshop on Real-time Ada workshop

The session was chaired by Alan Burns who indicated that there had been several position papers received addressing various aspects of the Ravenscar Profile (RP). Based on the material presented in these papers, he suggested that the session consider the ...
A Ravenscar-Java profile implementation
JTRES '06: Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems

This paper presents an implementation of the Ravenscar-Java profile. While most implementations of the profile are reference-implementations showing that it is possible to implement the profile, our implementation is aimed at industrial applications. It ...
Status and future of the Ravenscar profile session summary

The session was chaired by Alan Burns who indicated that there had been several position papers received addressing various aspects of the Ravenscar Profile (RP). Based on the material presented in these papers, he suggested that the session consider ...

Comments

Information & Contributors

Information

Published In

IRTAW '99: Proceedings of the ninth international workshop on Real-time Ada

June 1999

105 pages

ISBN:1581131771

DOI:10.1145/329607

Chairman:
Alan Burns
Univ. of York, York, UK

ACM SIGAda Ada Letters Volume XIX, Issue 2
June 1999
94 pages
ISSN:1094-3641
DOI:10.1145/334725
Editor:
Alan Burns
Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 1999

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

13
Total Citations
View Citations
216
Total Downloads

Downloads (Last 12 months)45
Downloads (Last 6 weeks)15

Reflects downloads up to 04 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Urueña SZamorano J(2019)Building high-integrity distributed systems with Ravenscar restrictionsACM SIGAda Ada Letters10.1145/1316002.1316008XXVII:2(29-36)Online publication date: 27-Feb-2019
https://dl.acm.org/doi/10.1145/1316002.1316008
Lundqvist KAsplund L(2019)A Ravenscar-Compliant Run-time Kernel for Safety-Critical Systems*Real-Time Systems10.1023/A:102170122184724:1(29-54)Online publication date: 1-Jun-2019
https://dl.acm.org/doi/10.1023/A%3A1021701221847
Urueña SZamorano Jde la Puente J(2007)Building high-integrity distributed systems with Ravenscar restrictionsProceedings of the 13th international workshop on Real-time Ada10.1145/1316003.1316008(29-36)Online publication date: 17-Apr-2007
https://dl.acm.org/doi/10.1145/1316003.1316008
de la Puente JZamorano JVardanega T(2003)Execution-time clocks and Ravenscar kernelsProceedings of the 12th international workshop on Real-time Ada10.1145/959222.959237(82-86)Online publication date: 15-Sep-2003
https://dl.acm.org/doi/10.1145/959222.959237
de la Puente JZamorano J(2003)Execution-time clocks and Ravenscar kernelsACM SIGAda Ada Letters10.1145/959221.959237XXIII:4(82-86)Online publication date: 15-Sep-2003
https://dl.acm.org/doi/10.1145/959221.959237
Zamorano Jde la Puente JColket C(2002)Precise response time analysis for Ravenscar kernelsProceedings of the 11th international workshop on Real-time Ada workshop10.1145/584418.584425(53-57)Online publication date: 8-Apr-2002
https://dl.acm.org/doi/10.1145/584418.584425
Zamorano Jde la Puente J(2002)Precise response time analysis for Ravenscar kernelsACM SIGAda Ada Letters10.1145/584417.584425XXII:4(53-57)Online publication date: 8-Apr-2002
https://dl.acm.org/doi/10.1145/584417.584425
Asplund LLundqvist K(2000)Safety critical systems based on formal modelsACM SIGAda Ada Letters10.1145/369264.369267XX:4(32-39)Online publication date: 1-Dec-2000
https://dl.acm.org/doi/10.1145/369264.369267
Burns ADobbing BVardanega T(2004)Guide for the use of the Ada Ravenscar Profile in high integrity systemsACM SIGAda Ada Letters10.1145/997119.997120XXIV:2(1-74)Online publication date: 1-Jun-2004
https://dl.acm.org/doi/10.1145/997119.997120
Burns ALin T(2003)Adding temporal annotations and associated verification to the Ravenscar profileProceedings of the 8th Ada-Europe international conference on Reliable software technologies10.5555/1757068.1757075(80-91)Online publication date: 16-Jun-2003
https://dl.acm.org/doi/10.5555/1757068.1757075
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Status and future of the Ravenscar profile session summary

A Ravenscar-Java profile implementation

Status and future of the Ravenscar profile session summary

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Other Metrics

Article Metrics

Other Metrics

Cited By

PDF

eReader

Login options

Full Access

Cited By

Index Terms

Recommendations

Status and future of the Ravenscar profile session summary

A Ravenscar-Java profile implementation

Status and future of the Ravenscar profile session summary

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Share

Share this Publication link

Share on social media

Affiliations