Abstract
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.
- Garrido J., Lacruz B., Zamorano J., de La Puente J.A., "In Support of Extending the Ravenscar Profile", this publication.Google Scholar
- ISO IEC 8652 "Information Technology -- Programming Languages -- Ada", International Standards Organization, Geneva, Switzerland, 2102.Google Scholar
- AdaCore, Gnat Pro, Runtime Profiles, http://www.adacore.com/gnatpro/toolsuite/runtimes/Google Scholar
- P. Rogers, J. Ruiz, T. Gingold. "Toward Extensions to the Ravenscar Profile", Proceedings of the 17th International Real-Time Ada Workshop, April 2015, Ada Letters 35(1):32--37, ACM New York NY 2015. Google Scholar
Digital Library
Recommendations
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 AdaThe 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 ...
Status and future of the Ravenscar profile session summary
IRTAW '00: Proceedings of the 10th international workshop on Real-time Ada workshopThe 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