article

Session: status and future of the Ravenscar profile

Authors:

Brian Dobbing,

Juan Antonio de la PuenteAuthors Info & Claims

ACM SIGAda Ada Letters, Volume XXIII, Issue 4

Pages 55 - 57

https://doi.org/10.1145/959221.959233

Published: 15 September 2003 Publication History

Get Access

References

[1]

Tullio Vardanega, "Ravenscar Design Patterns? Reflections on use of the Ravenscar profile," in Proceedings of the 12th International Ada Real-Time Workshop (IRTAW12), September 2003.

Digital Library

Google Scholar

[2]

Ricardo Barbosa, Ricardo Maia, and Luís Miguel Pinho, "Verifying, Validating and Monitoring the Open Ravenscar Real Time Kernel," in Proceedings of the 12the International Ada Real-Time Workshop (IRTAW12), September 2003.

Digital Library

Google Scholar

[3]

Juan A. de la Puente and Juan Zamorano, "Execution-time clocks and Ravenscar kernels," in Proceedings of the 12th International Ada Real-Time Workshop (IRTAW12), September 2003.

Digital Library

Google Scholar

[4]

Peter Amey and Brian Dobbing, "Static analysis of Ravenscar programs," in Proceedings of the 12th International Ada Real-Time Workshop (IRTAW12), September 2003.

Digital Library

Google Scholar

[5]

Douglas J. Howe and Stephen Michell, "An approach to formal verification of real time concurrent Ada programs," in Proceedings of the 12th International Ada Real-Time Workshop (IRTAW12), September 2003.

Digital Library

Google Scholar

[6]

Alan Burns, Brian Dobbing, and Tullio Vardanega, "Guide for the use of the Ada Ravenscar profile in high integrity systems," Tech. Rep. YCS-2003-348, University of York, 2003.

Google Scholar

[7]

Niklas Holsti and Thomas Langbacka, "Towards static verification of real-time performance: The case of the GOCE platform application software," in Reliable Software Technologies Ada-Europe 2003, Jean-Pierre Rosen and Alfred Strohmeier, Eds. 2003, number 2655 in LNCS, Springer-Verlag.

Google Scholar

Cited By

View all

Urueña SPulido JRedondo JZamorano Jde la Puente J(2007)Implementing the new Ada 2005 real-time features on a bare board kernelProceedings of the 13th international workshop on Real-time Ada10.1145/1316003.1316016(61-66)Online publication date: 17-Apr-2007
https://dl.acm.org/doi/10.1145/1316003.1316016
Pulido Jde la Puente JHugues JBordin MVardanega Tde la Puente J(2007)Ada 2005 code patterns for metamodel-based code generationProceedings of the 13th international workshop on Real-time Ada10.1145/1316003.1316013(53-58)Online publication date: 17-Apr-2007
https://dl.acm.org/doi/10.1145/1316003.1316013
Urueña SPulido JRedondo JZamorano J(2007)Implementing the new Ada 2005 real-time features on a bare board kernelACM SIGAda Ada Letters10.1145/1316002.1316016XXVII:2(61-66)Online publication date: 17-Apr-2007
https://dl.acm.org/doi/10.1145/1316002.1316016
Show More Cited By

Recommendations

Session Summary: Ada Language Profiles

This session of the 18th International Real Time Ada Workshop discussed the use of profiles in Ada, and the possibility and desirability of adding additional language profiles to Ada besides the Ravenscar Tasking Profile.
The effects of a computer mini-course in test-taking skills on student achievement in general mathematics
The impact of computer-assisted instruction on the mathematics achievement of elementary school children grades three through six

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM SIGAda Ada Letters Volume XXIII, Issue 4

December 2003

86 pages

ISSN:1094-3641

DOI:10.1145/959221

Issue’s Table of Contents

IRTAW '03: Proceedings of the 12th international workshop on Real-time Ada
September 2003
98 pages
ISBN:9781450374460
DOI:10.1145/959222
Program Chair:
Tullio Vardanega
University of Padua, Padua, Italy

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: 15 September 2003

Published in SIGADA Volume XXIII, Issue 4

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
217
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 05 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Urueña SPulido JRedondo JZamorano Jde la Puente J(2007)Implementing the new Ada 2005 real-time features on a bare board kernelProceedings of the 13th international workshop on Real-time Ada10.1145/1316003.1316016(61-66)Online publication date: 17-Apr-2007
https://dl.acm.org/doi/10.1145/1316003.1316016
Pulido Jde la Puente JHugues JBordin MVardanega Tde la Puente J(2007)Ada 2005 code patterns for metamodel-based code generationProceedings of the 13th international workshop on Real-time Ada10.1145/1316003.1316013(53-58)Online publication date: 17-Apr-2007
https://dl.acm.org/doi/10.1145/1316003.1316013
Urueña SPulido JRedondo JZamorano J(2007)Implementing the new Ada 2005 real-time features on a bare board kernelACM SIGAda Ada Letters10.1145/1316002.1316016XXVII:2(61-66)Online publication date: 17-Apr-2007
https://dl.acm.org/doi/10.1145/1316002.1316016
Pulido Jde la Puente JHugues JBordin MVardanega T(2007)Ada 2005 code patterns for metamodel-based code generationACM SIGAda Ada Letters10.1145/1316002.1316013XXVII:2(53-58)Online publication date: 17-Apr-2007
https://dl.acm.org/doi/10.1145/1316002.1316013
Zamorano JAlonso APulido Jde la Puente J(2004)Implementing Execution-Time Clocks for the Ada Ravenscar ProfileReliable Software Technologies - Ada-Europe 200410.1007/978-3-540-24841-5_10(132-143)Online publication date: 2004
https://doi.org/10.1007/978-3-540-24841-5_10
Urueña SPulido JRedondo JZamorano Jde la Puente J(2007)Implementing the new Ada 2005 real-time features on a bare board kernelProceedings of the 13th international workshop on Real-time Ada10.1145/1316003.1316016(61-66)Online publication date: 17-Apr-2007
https://dl.acm.org/doi/10.1145/1316003.1316016
Pulido Jde la Puente JHugues JBordin MVardanega Tde la Puente J(2007)Ada 2005 code patterns for metamodel-based code generationProceedings of the 13th international workshop on Real-time Ada10.1145/1316003.1316013(53-58)Online publication date: 17-Apr-2007
https://dl.acm.org/doi/10.1145/1316003.1316013
Urueña SPulido JRedondo JZamorano J(2007)Implementing the new Ada 2005 real-time features on a bare board kernelACM SIGAda Ada Letters10.1145/1316002.1316016XXVII:2(61-66)Online publication date: 17-Apr-2007
https://dl.acm.org/doi/10.1145/1316002.1316016
Pulido Jde la Puente JHugues JBordin MVardanega T(2007)Ada 2005 code patterns for metamodel-based code generationACM SIGAda Ada Letters10.1145/1316002.1316013XXVII:2(53-58)Online publication date: 17-Apr-2007
https://dl.acm.org/doi/10.1145/1316002.1316013

View Options

Login options

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

Cited By

Recommendations

Session Summary: Ada Language Profiles

The effects of a computer mini-course in test-taking skills on student achievement in general mathematics

The impact of computer-assisted instruction on the mathematics achievement of elementary school children grades three through six