23rd International Conference on Reliable Software Technologies (Ada-Europe 2018)

June 18~22, 2018, Lisbon, Portugal

Scope & Topics

The conference has over the years become a leading international forum for providers, practitioners and researchers in reliable software technologies. The conference presentations will illustrate current work in the theory and practice of the design, development and maintenance of long-lived, high-quality software systems for a challenging variety of application domains. The program will allow ample time for keynotes, Q&A sessions and discussions, and social events. Participants include practitioners and researchers representing industry, academia and government organizations active in the promotion and development of reliable software technologies.

Topics of Interest :

• Real-Time and Embedded Systems: Real-Time Scheduling, Design Methods and Techniques, Architecture Modelling, HW/SW Co-Design, Reliability and Performance.
• Mixed-Criticality Systems: Scheduling methods, Mixed-Criticality Architectures, Design Methods, Analysis Methods.
• Theory and Practice of High-Integrity Systems: Medium to Large-Scale Distribution, Fault Tolerance, Security, Reliability, Trust and Safety, Languages Vulnerabilities.
• Software Architectures: Design Patterns, Frameworks, Architecture-Centered Development, Component-based Design and Development.
• Methods and Techniques for Software Development and Maintenance: Requirements Engineering, Model-driven Architecture and Engineering, Formal Methods, Re-engineering and Reverse Engineering, Reuse, Software Management Issues, Compilers, Libraries, Support Tools.
• Ada Language and Technologies: Compilation Issues, Runtimes, Ravenscar, Profiles, Distributed Systems, SPARK.
• Software Quality: Quality Management and Assurance, Risk Analysis, Program Analysis, Verification, Validation, Testing of Software Systems.
• Mainstream and Emerging Applications: Manufacturing, Robotics, Avionics, Space, Health Care, Transportation, Cloud Environments, Smart Energy Systems, Serious Games, etc.
• Experience Reports in Reliable System Development: Case Studies and Comparative Assessments, Management Approaches, Qualitative and Quantitative Metrics.
• Experiences with Ada: Reviews of the Ada 2012 new language features, implementation and use issues, positioning in the market and in the software engineering curriculum, lessons learned on Ada Education and Training Activities with bearing on any of the conference topics.

Important Dates

Submission Deadline	:	January 22, 2018
Authors Notification	:	March 09, 2018
Final Manuscript Due	:	March 24, 2018

 

User Name : carolin
Posted 25-12-2017 on 17:32:32 AEDT

Related CFPs

NCS 2026   18th International Conference on Network and Communications Security
NeTCoM 2026   18th International Conference on Networks & Communications
SPM 2026   13th International Conference on Signal, Image Processing and Multimedia (SPM 2026)
NLP 2026   15th International Conference on Natural Language Processing