![]() |
| |||||||||||||||
Ada-Europe 2022 : Ada-Europe International Conference on Reliable Software TechnologiesConference Series : International Conference on Reliable Software Technologies | |||||||||||||||
Link: http://www.ada-europe.org/conference2022/ | |||||||||||||||
| |||||||||||||||
Call For Papers | |||||||||||||||
The conference is an established international forum for providers, practitioners and
researchers in reliable software technologies. The conference presentations will illustrate current work in the theory and practice of developing, running and maintaining challenging long-lived, high-quality software systems for a variety of application domains including manufacturing, robotics, avionics, space, health care, transportation, Cloud environments, smart energy, serious games. The program will allow ample time for keynotes, Q&A sessions and discussions, and social events. Participants include practitioners and researchers from industry, academia and government organizations active in the promotion and development of reliable software technologies. The topics of interest for the conference include but are not limited to: - Real-Time and Safety-Critical Systems o Design, implementation and verification challenges; o Novel approaches, e.g., Mixed-Criticality Systems, novel scheduling algorithms, novel design and analysis methods. - High-Integrity Systems and Reliability o Theory and practice of High-Integrity Systems; o Languages vulnerabilities and countermeasures; o Architecture-centred development methods and tools - Reliability-oriented Programming Languages (not limited to Ada) o Compilation and runtime challenges, language profiles; o Use cases and experience reports; o Language education and training initiatives. - Experience Reports o Case studies, lessons learned, and comparative assessments; |
|