Sign in
IRTAW
1987
1994
2000
2007
1987
2007
Keyphrases
Publications
2007
Mario Aldea Rivas
,
Michael González Harbour
Operating system support for execution time budgets for thread groups.
IRTAW
(2007)
Alan Burns
,
Andy J. Wellings
Introduction.
IRTAW
(2007)
Proceedings of the 13th International Workshop on Real-Time Ada, IRTAW 2007, Woodstock, Vermont, USA, April 17-19, 2007
IRTAW
(2007)
Juan Antonio de la Puente
,
Santiago Urueña
Summary.
IRTAW
(2007)
Santiago Urueña
,
Juan Zamorano
Building high-integrity distributed systems with Ravenscar restrictions.
IRTAW
(2007)
Andy J. Wellings
,
Alan Burns
Beyond Ada 2005: allocating tasks to processors in SMP systems.
IRTAW
(2007)
Alexandros Zerzelidis
,
Alan Burns
,
Andy J. Wellings
Correcting the EDF protocol in Ada 2005.
IRTAW
(2007)
Michael Ward
,
Neil C. Audsley
Suggestions for stream based parallel systems in Ada.
IRTAW
(2007)
Andy J. Wellings
,
Alan Burns
Integrating OOP and tasking: the missing requeue.
IRTAW
(2007)
Alan Burns
,
Andy J. Wellings
Programming execution-time servers in Ada 2005.
IRTAW
(2007)
Andy J. Wellings
,
Alan Burns
A framework for real-time utilities for Ada 2005.
IRTAW
(2007)
Ben Brosgol
,
Mario Aldea Rivas
Introduction.
IRTAW
(2007)
Santiago Urueña
,
José Antonio Pulido
,
José Redondo
,
Juan Zamorano
Implementing the new Ada 2005 real-time features on a bare board kernel.
IRTAW
(2007)
Michael González Harbour
,
J. Javier Gutiérrez
Introduction.
IRTAW
(2007)
Jorge Real
,
Stephen Michell
Introduction.
IRTAW
(2007)
Stephen Michell
Interfacing Ada to operating systems.
IRTAW
(2007)
José Antonio Pulido
,
Juan Antonio de la Puente
,
Jérôme Hugues
,
Matteo Bordin
,
Tullio Vardanega
Ada 2005 code patterns for metamodel-based code generation.
IRTAW
(2007)
Tullio Vardanega
,
José F. Ruiz
Introduction.
IRTAW
(2007)
2003
Brian Dobbing
,
Juan Antonio de la Puente
Session: status and future of the Ravenscar profile.
IRTAW
(2003)
Tullio Vardanega
,
Luís Miguel Pinho
Session summary: the future of IRTAW.
IRTAW
(2003)
Peter Amey
,
Brian Dobbing
Static analysis of Ravenscar programs.
IRTAW
(2003)
Alan Burns
,
Andy J. Wellings
,
Tullio Vardanega
Report of session: flexible scheduling in Ada.
IRTAW
(2003)
Javier Miranda
,
Edmond Schonberg
,
Miguel Masmano
,
Jorge Real
,
Alfons Crespo
Dynamic ceiling priorities in GNAT implementation report.
IRTAW
(2003)
Mario Aldea Rivas
,
Michael González Harbour
Application-defined scheduling in Ada.
IRTAW
(2003)
Michael González Harbour
,
Tullio Vardanega
Report of session: current real-time AIs.
IRTAW
(2003)
Ricardo Maia
,
Flávio Moreira
,
R. Barbosa
,
Diamantino Costa
,
Kjeld Hjortaes
,
Patricia Rodríguez
,
Luís Miguel Pinho
Verifying, validating and monitoring the open Ravenscar real time kernel.
IRTAW
(2003)
Alan Burns
,
Tullio Vardanega
Report of session: generating new AIs.
IRTAW
(2003)
Douglas J. Howe
,
Stephen Michell
An approach to formal verication of real time concurrent Ada programs.
IRTAW
(2003)
Tullio Vardanega
Ravenscar design patterns?: reflections on use of the Ravenscar profile.
IRTAW
(2003)
Alan Burns
,
Andy J. Wellings
Task attribute-based scheduling: extending Ada's support for scheduling.
IRTAW
(2003)
Joyce L. Tokar
,
Brian Dobbing
Session summary: new core language features.
IRTAW
(2003)
Joyce L. Tokar
Space & Time Partitioning with ARINC 653 and pragma profile.
IRTAW
(2003)
Andy J. Wellings
,
Joyce L. Tokar
Session summary: integration versus orthogonality (RTSJ scheduling policies versus Ada's).
IRTAW
(2003)
Juan Antonio de la Puente
,
Juan Zamorano
Execution-time clocks and Ravenscar kernels.
IRTAW
(2003)
Michael González Harbour
,
Mario Aldea Rivas
Managing multiple execution-time timers from a single task.
IRTAW
(2003)
Proceedings of the 12th International Workshop on Real-Time Ada, IRTAW 2003, Viana do Castelo, Portugal, September 15-19, 2003
IRTAW
(2003)
Andy J. Wellings
Is Java augmented with the RTSJ a better real-time systems implementation technology than Ada 95?
IRTAW
(2003)
2002
Alan Burns
,
Andy J. Wellings
Accessing delay queues.
IRTAW
(2002)
Stephen Michell
Practical implementations of embedded software using the Ravenscar Profile.
IRTAW
(2002)
Rodrigo García García
,
Alfred Strohmeier
Experiences report on the implementation of EPTs for GNAT.
IRTAW
(2002)
Luís Miguel Pinho
,
Francisco Vasques
Using Ravenscar to support fault-tolerant real-time applications.
IRTAW
(2002)
David Brach
,
P. Eng
User experiences with the Aonix ObjectAda RAVEN: Ravenscar Profile implementation.
IRTAW
(2002)
Alan Burns
,
Ben Brosgol
Session summary: future of the Ada language and language changes such as the Ravenscar profile.
IRTAW
(2002)
J. Javier Gutiérrez
,
José M. Drake
,
Michael González Harbour
,
Julio L. Medina
Modeling and schedulability analysis in the development of real-time distributed Ada systems.
IRTAW
(2002)
Bruce Lewis
Software portability gains realized with METAH and Ada95.
IRTAW
(2002)
Michael González Harbour
,
Juan Antonio de la Puente
Session on real-time, fault tolerance, and distribution.
IRTAW
(2002)
Michael Ward
,
Neil C. Audsley
Language issues of compiling Ada to hardware.
IRTAW
(2002)
Andy J. Wellings
,
Tullio Vardanega
Report of session: language changes for scheduling, modeling and analysis.
IRTAW
(2002)
Juan Antonio de la Puente
,
Luís Miguel Pinho
Session summary: safety improvements for consideration.
IRTAW
(2002)
Proceedings of the 11th International Workshop on Real-Time Ada, IRTAW 2002, Mont-Tremblant, Quebec, Canada, April 8-12, 2002
IRTAW
(2002)