Welcome to the


20th International

Real-Time Ada Workshop


IRTAW 2020

 

22-24 April 2020

Hotel Voramar

Benicàssim, Spain

Preliminary Call for Papers

Since its inception, the International Real-Time Ada Workshop (IRTAW) series has provided a forum where members of the research, user, and implementer communities have singled-out issues with the real-time systems support in Ada, and explored possible solutions to them, and approaches to evolve those aspects of the language to the new frontiers of real-time computing. Over the years, the IRTAW has made important contributions to the 2005 and 2012 revisions of the Ada programming language standard, for the tasking features, the real-time and high-integrity systems annexes, the Ravenscar and the Yorvik Profiles, and - more recently - the parallel execution model of the language due to appear in the 202X revision.

The topics of interest to the 20th edition of IRTAW include but are not limited to:

  • Review of the Ada 2012 Issues vis-a-vis real-time systems;
  • Experiences of use of Ada 2012, in full or by profile, for real-time applications, on single and multi-processor as well as distributed systems;
  • Implementation approaches for Ada 2012 real-time features;
  • Review of the Ada 202X Issues with respect to the parallel execution model;
  • Early prototyping and use experiences of Ada 202X parallel features, including integration with OpenMP;
  • Consider the definition of specific patterns and libraries for real-time systems development in Ada;
  • Uses of Ada, possibly with SPARK, in certification-aware domains;
  • Review of the Ada language vulnerabilities in relation to TR 24772-2 and -6 by ISO/IEC JTC 1/SC 22/WG 23;
  • Contributions to the Ada's conformance test suite for the Real-Time Annex and the upcoming parallel execution model.

Participation in the 20th IRTAW is by invitation, following the submission of a position paper that addresses pertinent topics. Anyone unable to produce a position paper, but still wishing to receive an invitation, is encouraged to send a one-page position statement, in PDF, to the Program Chair, indicating their interests and reasons for attending.

Priority in selection will be given to the authors of submitted papers.

Submission Requirements

Position papers should not exceed ten pages in typical IEEE conference layout, excluding code snippets. They shall be submitted, in PDF, to the Program Chair (see email address below). All accepted papers will appear, in their final form after the event, in a special issue of Ada Letters (ACM Press) also reprinted in the Ada User Journal. Authors with a relevant paper submitted to the 25th Ada-Europe International Conference on Reliable Software Technologies, AEiC 2020 (deadline 7 January, 2020) may offer an extended abstract of the same material to IRTAW..

Important Dates

  • Paper Submission: 14 February, 2020
  • Notification of Acceptance: 6 March, 2020
  • Confirmation of Attendance: 20 March, 2020
  • Final Paper Due: 3 April, 2020
  • Workshop: April 22-24, 2020

Program Chair

Tullio Vardanega, University of Padova, Italy tullio.vardanega@unipd.it

Workshop Chair

Jorge Real, Universitat Politècnica de València, Spain jorge@disca.upv.es