article

Session summary: future of the Ada language and language changes such as the Ravenscar profile

Authors:

Alan Burns,

Ben BrosgolAuthors Info & Claims

ACM SIGAda Ada Letters, Volume XXII, Issue 4

Pages 113 - 119

https://doi.org/10.1145/584417.584432

Published: 08 April 2002 Publication History

Get Access

Cited By

View all

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
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
Show More Cited By

Session summary: future of the Ada language and language changes such as the Ravenscar profile
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages

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.
Tasking profiles (session summary)

The objective of this session was to identify one or more restricted tasking profiles that would satisfy the certification requirements of high-integrity (safety-critical) real-time systems. Such a profile would also be likely to offer improved ...
Tasking profiles (session summary)
IRTAW '97: Proceedings of the eighth international workshop on Real-Time Ada

The objective of this session was to identify one or more restricted tasking profiles that would satisfy the certification requirements of high-integrity (safety-critical) real-time systems. Such a profile would also be likely to offer improved ...

Comments

Information & Contributors

Information

Published In

ACM SIGAda Ada Letters Volume XXII, Issue 4

December 2002

122 pages

ISSN:1094-3641

DOI:10.1145/584417

Issue’s Table of Contents

IRTAW '02: Proceedings of the 11th international workshop on Real-time Ada workshop
April 2002
139 pages
ISBN:9781450373616
DOI:10.1145/584418
Conference Chair:
Currie Colket
The MITRE Corporation, McLean, Virginia

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: 08 April 2002

Published in SIGADA Volume XXII, Issue 4

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
180
Total Downloads

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

Reflects downloads up to 04 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

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
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
Burns ALin T(2003)Adding Temporal Annotations and Associated Verification to the Ravenscar ProfileReliable Software Technologies — Ada-Europe 200310.1007/3-540-44947-7_5(80-91)Online publication date: 18-Jun-2003
https://doi.org/10.1007/3-540-44947-7_5

View Options

Login options

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

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Cited By

Recommendations

Session Summary: Ada Language Profiles

Tasking profiles (session summary)

Tasking profiles (session summary)

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations