<p>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. The Ada language, a reliable software technology by design, crosses all topics of the conference, which nonetheless also welcomes any other technologies proposed or in use for reliable software.</p> <p>This edition of Ada–Europe will feature a focused <strong>Special Session on Safe, Predictable Parallel Software Technologies</strong>. Following the intensifying trend of usage of Multi–/Many–core systems, it is increasingly important to assess how reliable software technologies need to adapt to these complex platforms, as well as how parallel models need to adapt to domains where safety and predictability is a must. Special topics include (but are not limited to): Predictable Parallel Programming Models, Parallel Language Technologies, Compiler Support for Parallel Execution, Parallel Runtimes and Libraries, Automatic Parallelization, Safety Issues and Reliability Mechanisms for Parallel Execution, Software Modelling and Design Approaches, Hardware Support for Predictability of Parallel Software.</p> <p>For the general track of the conference, topics of interest include but are not limited to Real–Time and Embedded Systems, Mixed–Criticality Systems, Theory and Practice of High–Integrity Systems, Software Architectures, Methods and Techniques for Software Development and Maintenance, Formal Methods, Ada Language and Technologies, Software Quality, Mainstream and Emerging Applications, Experience Reports in Reliable System Development, Experiences with Ada.</p> <p>Full details availabe in the <a href="http://www.cister.isep.ipp.pt/ae2016/cfc">Call for Contributions</a>.</p> <p> </p>
Abbrevation
Ada-Europe
City
Pisa
Country
Italy
Deadline Paper
Start Date
End Date
Abstract