20th International Real-Time Ada Workshop

IRTAW 2020


 

Hotel Voramar, Benicàssim, Spain

1-3 April 2020

http://www.ada-europe.org/irtaw/2020

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 raised 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 Jorvik 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;
  • 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 at the email address listed below. All accepted papers will appear, in their final form after the event, in a special issue of Ada Letters (ACM Press) also reprinted by the Ada User Journal. Authors with a relevant paper submitted to the Ada-Europe 25th International Conference on Reliable Software Technologies, AEiC 2020 (deadline 14 January, 2020) may offer an extended abstract of the same material to IRTAW.

Important Dates

  • Paper Submission: 7 February, 2020
  • Notification of Acceptance: 6 March, 2020
  • Confirmation of Attendance: 13 March, 2020
  • Final Paper Due: 23 March, 2020
  • Workshop: 1-3 April, 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