The 25th International Conference on Reliable Software Technologies (Ada-Europe 2020) covers topics such as:
Real-Time and Embedded Systems Architecture Modeling, Real-Time Software, Reliability and Performance Analysis and HW/SW Co-Design
Multicore Programming Models Parallel Execution of Ada Programs, Reliable Parallel Software, Performance Modelling, Compositional Parallelism Models and Deterministic Debugging
Techniques and Methods for Software Maintenance and Development Object-Oriented Technologies, Requirements Engineering, Formal Methods, Model-driven Architecture and Engineering, Reuse, Re-engineering and Reverse Engineering and Software Management Issues
Theory and Practice of High-Integrity Systems Fault Tolerance, Distribution, Reliability, Security, Languages Vulnerabilities.Software Architectures: Design Patterns, Trust and Safety, Architecture-Centered Development, Frameworks, Component-based Design and Development, Component and Class Libraries
Mainstream and Emerging Applications Robotics, Manufacturing, Space, Avionics, Transportation, Health Care, Games and Serious Games and Energy...
Enabling Technologies Support Tools (Analysis, Compilers, Profiling), Code/Document Generation, Distributed Systems, Run-time Systems, Ada and other Languages for Reliable Systems Software Quality:: Risk Analysis, Quality Management and Assurance, Verification, Program Analysis, Testing of Software Systems and Validation
The Future of Ada positioning in the market and in education, New language features, implementation and use issues, lessons learned on Ada Education and Training Activities with bearing on any of the conference topics and where should Ada stand in the software engineering curriculum
Experience Reports Management Approaches, Case Studies and Comparative Assessments, Qualitative and Quantitative Metrics
The 25th International Conference on Reliable Software Technologies (Ada-Europe 2020) brings together practitioners, providers and researchers representing academia, industry and government organizations involved or interested in the development and promotion of reliable software technologies.
Ada-Europe is an international organization, set up to promote the use of Ada.
The 25th International Conference on Reliable Software Technologies (Ada-Europe 2020) will be held in Santander, Spain on 8-12 June 2020.