posted by user: suruena || 5079 views || tracked by 7 users: [display]

IRTAW 2009 : 14th International Real-Time Ada Workshop

FacebookTwitterLinkedInGoogle

Link: http://events.math.unipd.it/irtaw14/
 
When Oct 7, 2009 - Oct 9, 2009
Where Portovenere, Italy
Submission Deadline May 8, 2009
Notification Due May 22, 2009
Final Version Due Sep 16, 2009
Categories    ada   programming languages   software engineering   industry applications
 

Call For Papers

For over 20 years the series of International Real-Time Ada Workshop meetings has provided a forum for identifying issues with real-time system support in Ada and for exploring possible approaches and solutions, and has attracted participation from key members of the research, user, and implementer communities worldwide. Recent IRTAW meetings have significantly contributed to the Ada 2005 standard, especially with respect to the tasking features, the real-time and high-integrity systems annexes, and the standardization of the Ravenscar profile.

In keeping with this tradition, and in light of Ada 2005 implementations beginning to appear, and thought of post Ada 2005 language changes, the goals of IRTAW-14 will be to:

- examine experiences in using Ada 2005 for the development of real-time systems and applications;

- report on or illustrate implementation approaches for the real-time features of Ada 2005;

- consider the added value of developing other real-time Ada profiles in addition to the Ravenscar profile;

- examine the implications to Ada of the growing use of multiprocessors in the development of real-time systems, particularly with regard to predictability, robustness, and other issues;

- examine and develop paradigms for using Ada 2005 for real-time distributed systems, taking into account robustness as well as hard, flexible and application-defined scheduling;

- consider the definition of specific patterns and libraries for real-time systems development in Ada;

- identify how Ada relates to the certification of safety-critical and/or security-critical real-time systems;

- review the status and contents of ISO reports related to real-time Ada and consider the interest of developing new secondary standards or extensions;

- examine the status of the Real-Time Specification for Java and other languages for real-time systems development, and consider user experience with current implementations and with issues of interoperability with Ada in embedded real-time systems;

- consider the lessons learned from industrial experience with Ada and the Ravenscar Profile in actual real-time projects;

- consider the language vulnerabilities of the Ravenscar and full language definitions.

Participation at IRTAW-14 is by invitation following the submission of a position paper addressing one or more of the above topics or related real-time Ada issues. Alternatively, anyone wishing to receive an invitation, but for one reason or another is unable to produce a position paper, may send in a one-page position statement indicating their interests. Priority will, however, be given to those submitting papers.

Position papers should not exceed ten pages in typical IEEE conference layout, excluding code inserts. All accepted papers will appear, in their final form, in the Workshop Proceedings, which will be published as a special issue of Ada Letters (ACM Press). Selected papers will also appear in the Ada User Journal.

Please submit position papers, in PDF format, to the Program Chair by e-mail: neil@cs.york.ac.uk

Program Committee

Neil Audsley (Program Chair), Ben Brosgol, Alan Burns, Michael González Harbour, Stephen Michell, Javier Miranda, Luís Miguel Pinho, Juan Antonio de la Puente, Jorge Real, José Ruiz, Tullio Vardanega (Local Chair) and Andy Wellings.

Important Dates

Receipt of Position Papers: 8 May 2009
Notification of Acceptance: 22 May 2009
Final Copy of Paper: 16 September 2009
Workshop Date: 7-9 October 2009

Related Resources

REAL CORP 2027   REAL CORP 2027 - FREEDOM OF PLANNING – SOLIDARITY IN ACTION Driving Urban Innovation, Resilience, and Housing Equity
Ei/Scopus-ACEPE 2026   2026 3rd IEEE Asia Conference on Advances in Electrical and Power Engineering (ACEPE 2026)
REAL CORP 2027   REAL CORP 2027 - FREEDOM OF PLANNING – SOLIDARITY IN ACTION Driving Urban Innovation, Resilience, and Housing Equity
CAAIE 2027   7th Conference on Advanced Artificial Intelligence and Education
IJESA 2026   International Journal of Embedded Systems and Applications
IEEE-PEESE 2026   2026 IEEE International Conference on Power, Electrical and Energy Systems Engineering (PEESE 2026)
SANER 2026   The 33rd IEEE International Conference on Software Analysis, Evolution and Reengineering
IEEE ICSRS 2026   IEEE--2026 The 10th International Conference on System Reliability and Safety (ICSRS 2026)
ICIAI 2027   2027 the 11th International Conference on Innovation in Artificial Intelligence (ICIAI 2027)
Springer NLPIR 2026   Springer--2026 10th International Conference on Natural Language Processing and Information Retrieval (NLPIR 2026)