Article

The Ravenscar Tasking Profile for High Integrity Real-Time Programs

Authors:

Alan Burns,

Brian Dobbing,

G. RomanskiAuthors Info & Claims

Ada-Europe '98: Proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies

Pages 263 - 275

Published: 08 June 1998 Publication History

Abstract

No abstract available.

Cited By

View all

Abdullah JMohaqeqi MYi WShin SShin DLencastre M(2017)Synthesis of ada code from graph-based task modelsProceedings of the Symposium on Applied Computing10.1145/3019612.3019681(1467-1472)Online publication date: 3-Apr-2017
https://dl.acm.org/doi/10.1145/3019612.3019681
Garrido JZamorano Jde la Puente J(2015)ARINC-653 Inter-partition Communications and the Ravenscar ProfileACM SIGAda Ada Letters10.1145/2870544.287055035:1(38-45)Online publication date: 28-Dec-2015
https://dl.acm.org/doi/10.1145/2870544.2870550
Strøm TSchoeberl MZiarek L(2015)Multiprocessor Priority Ceiling Emulation for Safety-Critical JavaProceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems10.1145/2822304.2822308(1-10)Online publication date: 7-Oct-2015
https://dl.acm.org/doi/10.1145/2822304.2822308
Show More Cited By

Recommendations

The Ravenscar tasking profile for high integrity real-time programs
The Ravenscar tasking profile for high integrity real-time programs
SIGAda '98: Proceedings of the 1998 annual ACM SIGAda international conference on Ada
The Ravenscar profile for high-integrity Java programs?
IRTAW '00: Proceedings of the 10th international workshop on Real-time Ada workshop

The Ravenscar Profile was a major output of the 8^th International Real-Time Ada Workshop. The profile defines a subset of the Ada95 tasking constructs that matches the requirements of Safety Critical, High Integrity and Hard Real-Time systems by ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Ada-Europe '98: Proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies

June 1998

297 pages

ISBN:3540645365

Editor:
Lars Asplund

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 08 June 1998

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

50
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 02 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Abdullah JMohaqeqi MYi WShin SShin DLencastre M(2017)Synthesis of ada code from graph-based task modelsProceedings of the Symposium on Applied Computing10.1145/3019612.3019681(1467-1472)Online publication date: 3-Apr-2017
https://dl.acm.org/doi/10.1145/3019612.3019681
Garrido JZamorano Jde la Puente J(2015)ARINC-653 Inter-partition Communications and the Ravenscar ProfileACM SIGAda Ada Letters10.1145/2870544.287055035:1(38-45)Online publication date: 28-Dec-2015
https://dl.acm.org/doi/10.1145/2870544.2870550
Strøm TSchoeberl MZiarek L(2015)Multiprocessor Priority Ceiling Emulation for Safety-Critical JavaProceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems10.1145/2822304.2822308(1-10)Online publication date: 7-Oct-2015
https://dl.acm.org/doi/10.1145/2822304.2822308
Zhao SWellings AKorsholm SZiarek L(2015)Supporting Multiprocessors in the Icecap Safety-Critical Java Run-Time EnvironmentProceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems10.1145/2822304.2822305(1-10)Online publication date: 7-Oct-2015
https://dl.acm.org/doi/10.1145/2822304.2822305
Schoeberl MDalsgaard AHansen RKorsholm SRavn ARivas JStrøm TSøndergaard HPuffitsch W(2014)Certifiable Java for Embedded SystemsProceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems10.1145/2661020.2661025(10-19)Online publication date: 13-Oct-2014
https://dl.acm.org/doi/10.1145/2661020.2661025
Gaudel VSinghoff FPlantec ADissaux PLegrand J(2014)Composition of design patternsACM SIGBED Review10.1145/2597457.259746311:1(44-49)Online publication date: 1-Feb-2014
https://dl.acm.org/doi/10.1145/2597457.2597463
Zamorano Jde la Puente J(2013)On real-time partitioned multicore systemsACM SIGAda Ada Letters10.1145/2552999.255300333:2(33-39)Online publication date: 8-Nov-2013
https://dl.acm.org/doi/10.1145/2552999.2553003
Strøm TPuffitsch WSchoeberl MSiebert FNilsen K(2013)Chip-multiprocessor hardware locks for safety-critical JavaProceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems10.1145/2512989.2512995(38-46)Online publication date: 9-Oct-2013
https://dl.acm.org/doi/10.1145/2512989.2512995
Panunzio MVardanega T(2013)Charting the evolution of the Ada Ravenscar code archetypesACM SIGAda Ada Letters10.1145/2492312.249232033:1(64-83)Online publication date: 11-Jun-2013
https://dl.acm.org/doi/10.1145/2492312.2492320
Burns A(2013)An EDF run-time profile based on ravenscarACM SIGAda Ada Letters10.1145/2492312.249231633:1(24-31)Online publication date: 11-Jun-2013
https://dl.acm.org/doi/10.1145/2492312.2492316
Show More Cited By

View Options

View options

Get Access

Login options

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

Abstract

Cited By

Recommendations

The Ravenscar tasking profile for high integrity real-time programs

The Ravenscar tasking profile for high integrity real-time programs

The Ravenscar profile for high-integrity Java programs?

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations