article

Ravenscar design patterns?: reflections on use of the Ravenscar profile

Author:

Tullio VardanegaAuthors Info & Claims

ACM SIGAda Ada Letters, Volume XXIII, Issue 4

Pages 65 - 73

https://doi.org/10.1145/959221.959235

Published: 15 September 2003 Publication History

Get Access

Abstract

Industrial developers have started to use the Ravenscar Profile in challenging application domains. The thorough feedback that begins to emerge from these experiences is of great interest to the community (i.e. the IRTAW group) that rst conceived and promoted the Pro le. This paper undertkes a rst analysis of a specific experience report to which the author had early and privileged access.

References

[1]

A. Burns, B. Dobbing, and T. Vardanega. Guide for the use of the Ada Ravenscar Profile in high integrity systems. Technical Report YCS-2003-348, University of York, 2003. http://www.cs.york.ac.uk/ftpdir/reports/YCS-2003-348.pdf.

Google Scholar

[2]

A. Burns and A. Wellings. HRT-HOOD: A Structured Design Method for Hard Real-Times Systems. Elsevier Science, Amsterdam, NL, 1995. ISBN 0-444-82164-3.

Google Scholar

[3]

2nd Int'l Workshop on Worst-Case Execution Time Analysis. http://www.cs.york.ac.uk/rts/wcet2002, June 2002. Euromicro.

Google Scholar

[4]

E. Gamma, R. Helm, R. Johnson, and J. Vlissideds. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1999.

Digital Library

Google Scholar

[5]

N. Holsti and T. Langbacka. Impact of a Restricted Tasking Profile: The Case of the GOCE Platform Application Software. In J.-P. Rosen and A. Strohmeier, editors, Reliable Software Technologies --- Ada Europe 2003, LNCS 2655, pages 92--101. Springer-Verlag, June 2003.

Digital Library

Google Scholar

[6]

S. Mazzini, M. D'Alessandro, M. Di Natale, A. Dominici, G. Lipari, and T. Vardanega. HRT-UML: Taking HRT-HOOD onto UML. In J. P.Rosen and A. Strohmeier, editors, Proceedings 8th International Conference on Reliable Software Technologies --- Ada Europe 2003, LNCS 2655, pages 405--416. Springer-Verlag, June 2003.

Digital Library

Google Scholar

[7]

S. Mazzini, M. D'Alessandro, M. Di Natale, G. Lipari, and T. Vardanega. Issue in Mapping HRT-HOOD to UML. In G. Buttazzo, editor, Proceedings 15th Euromicro Conference on Real-Time Systems, pages 221--228. IEEE, July 2003.

Crossref

Google Scholar

[8]

Bound-T Execution Time Analyzer, Home Page. http://www.bound-t.com, June 2003.

Google Scholar

[9]

T. Vardanega. Development of On-Board Embedded Real-Time Systems: An Engineering Approach. Technical Report ESA STR-260, European Space Agency, 1999. ISBN 90-9092-334-2

Google Scholar

[10]

T. Vardanega and G. Caspersen. Engineering Reuse for On board Embedded Real-Time Systems. Software - Practice and Experience, 32(3):233--264, 2002. John Wiley & Sons.

Digital Library

Google Scholar

[11]

T. Vardanega, J. Zamorano, and J. de la Puente. On the Dynamic Semantics and the Timing Behaviour of Ravenscar Kernels. Real-Time Systems, 2003. To appear.

Digital Library

Google Scholar

Cited By

View all

Burns AWellings AMalik A(2013)TTF-ravenscarACM SIGAda Ada Letters10.1145/2492312.249231533:1(15-23)Online publication date: 11-Jun-2013
https://dl.acm.org/doi/10.1145/2492312.2492315
Pulido JUrueña SZamorano Jde la Puente J(2007)Handling temporal faults in Ada 2005Proceedings of the 12th international conference on Reliable software technologies10.5555/1769168.1769170(15-28)Online publication date: 25-Jun-2007
https://dl.acm.org/doi/10.5555/1769168.1769170
Dobbing Bde la Puente JVardanega T(2003)SessionProceedings of the 12th international workshop on Real-time Ada10.1145/959222.959233(55-57)Online publication date: 15-Sep-2003
https://dl.acm.org/doi/10.1145/959222.959233
Show More Cited By

Recommendations

Comments

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

4
Total Citations
View Citations
267
Total Downloads

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

Reflects downloads up to 23 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Burns AWellings AMalik A(2013)TTF-ravenscarACM SIGAda Ada Letters10.1145/2492312.249231533:1(15-23)Online publication date: 11-Jun-2013
https://dl.acm.org/doi/10.1145/2492312.2492315
Pulido JUrueña SZamorano Jde la Puente J(2007)Handling temporal faults in Ada 2005Proceedings of the 12th international conference on Reliable software technologies10.5555/1769168.1769170(15-28)Online publication date: 25-Jun-2007
https://dl.acm.org/doi/10.5555/1769168.1769170
Dobbing Bde la Puente JVardanega T(2003)SessionProceedings of the 12th international workshop on Real-time Ada10.1145/959222.959233(55-57)Online publication date: 15-Sep-2003
https://dl.acm.org/doi/10.1145/959222.959233
Dobbing Bde la Puente J(2003)SessionACM SIGAda Ada Letters10.1145/959221.959233XXIII:4(55-57)Online publication date: 15-Sep-2003
https://dl.acm.org/doi/10.1145/959221.959233

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

Pro JavaScript Design Patterns

Django Design Patterns and Best Practices

Vue.js 2 Design Patterns and Best Practices: Build enterprise-ready, modular Vue.js applications with Vuex and Nuxt