Información de la conferencia
AEiC 2023: Ada-Europe International Conference on Reliable Software Technologies
http://www.ada-europe.org/conference2023/
Día de Entrega:
2023-02-13
Fecha de Notificación:
2023-03-20
Fecha de Conferencia:
2023-06-13
Ubicación:
Lisbon, Portugal
Años:
27
Vistas: 4496   Seguidores: 1   Asistentes: 0

Solicitud de Artículos
Scope and Topics

The conference is 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 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:

    Formal and model-based engineering of critical systems
        Formal specification; Formal verification; Integrated methods for engineering reliable software-intensive systems; Formal architectural patterns; Multi-aspect modelling and verification; Model-based engineering of safety-critical systems.
    Real-Time Systems
        Design and Implementation of Real-Time and Embedded Systems: Real-Time Scheduling, Design Methods and Techniques, Architecture Modelling, HW/SW Co-Design, Reliability and Performance;
        Design and Implementation of Mixed-Criticality Systems: Scheduling Methods, Architectures, Design Methods, Analysis Methods
    High-Integrity Systems and Reliability
        Theory and Practice of High-Integrity Systems: Medium to Large-Scale Distribution, Fault Tolerance, Security, Reliability, Trust and Safety, Languages Vulnerabilities;
        Software Architectures for Reliable Systems: Design Patterns, Frameworks, Architecture-Centered Development, Component-based Design and Development;
        Methods and Techniques for Quality Software Development and Maintenance: Requirements Engineering, Re-engineering and Reverse Engineering, Reuse, Software Management Issues, Compilers, Libraries, Support Tools.
    Ada Language
        Ada Language and Technologies: Compilation Issues, Runtimes, Ravenscar, Profiles, Distributed Systems, SPARK;
        Experiences with Ada: Reviews of the Ada 2012 or 2022 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.
    Domain applications
        Mainstream and Emerging Applications with Reliability Requirements: Manufacturing, Robotics, Avionics, Space, Health Care, Transportation, Cloud Environments, Smart Energy Systems, Serious Games, etc;
        Achieving and Assuring Safety in Machine Learning Systems;
        Experience Reports in Reliable System Development: Case Studies and Comparative Assessments, Management Approaches, Qualitative and Quantitative Metrics.
Última Actualización Por Dou Sun en 2023-01-22
Conferencias Relacionadas
CCFCOREQUALISAbreviaciónNombre CompletoEntregaNotificaciónConferencia
b2Ada-EuropeInternational Conference on Reliable Software Technologies2020-01-142020-03-202020-06-08
b1EuroGPEuropean Conference on Genetic Programming2015-11-152016-01-042016-03-30
bb1JSSPPInternational Workshop on Job Scheduling Strategies for Parallel Processing 2012-03-252012-05-25
TMANetwork Traffic Measurement and Analysis Conference2020-02-242020-04-212020-06-10
aaa1MICROInternational Symposium on Microarchitecture2022-04-142022-07-182022-10-17
ICC'''International Cartographic Conference2018-12-122019-02-282019-07-15
SarnoffIEEE Sarnoff Symposium2019-07-012019-08-192019-09-23
aa*a2ESECEuropean Software Engineering Conference2022-03-102022-06-142022-11-14
SecTechInternational Conference on Security Technology2015-10-102015-10-302015-11-25
ICITBEInternational Conference on Information Technology and Biomedical Engineering2022-09-302022-10-102022-12-23
AbreviaciónNombre CompletoEntregaConferencia
Ada-EuropeInternational Conference on Reliable Software Technologies2020-01-142020-06-08
EuroGPEuropean Conference on Genetic Programming2015-11-152016-03-30
JSSPPInternational Workshop on Job Scheduling Strategies for Parallel Processing 2012-05-25
TMANetwork Traffic Measurement and Analysis Conference2020-02-242020-06-10
MICROInternational Symposium on Microarchitecture2022-04-142022-10-17
ICC'''International Cartographic Conference2018-12-122019-07-15
SarnoffIEEE Sarnoff Symposium2019-07-012019-09-23
ESECEuropean Software Engineering Conference2022-03-102022-11-14
SecTechInternational Conference on Security Technology2015-10-102015-11-25
ICITBEInternational Conference on Information Technology and Biomedical Engineering2022-09-302022-12-23
Recomendaciones