Objectif The design and development of open reactive systems, which compute by reacting to ongoing stimuli from their environment, and include, for example, mobile applications running on smart phone devices, web-based applications, industrial robotic systems, embedded software running on chips inside cars and aircraft, etc., is a complex and challenging task. Despite advancement from low-level assembly languages to higher-level languages with powerful abstraction mechanisms, and the use of automated testing and formal verification, reactive systems software development is still a mostly manual and error-prone iterative activity of coding and debugging.A fundamentally different alternative approach to reactive systems development is synthesis, the automatic creation of correct-by-construction software from its specification. Synthesis has the potential to transform the way open reactive systems software is developed, making the process more effective and productive, and making its results more reliable and usable. However, while important advancements have been recently made on the algorithmic aspects of synthesis, no work has yet taken advantage of these achievements to change software engineering practices from “program centric” to “specification centric”. No effective end-to-end means to use synthesis are available to engineers, and the potential revolutionary impact of synthesis on the engineering of reactive systems software is far from being fully explored. The proposal targets four objectives: a new, rich specification language, tailored for synthesis and for use by software engineers; a set of new methods for specification centric development; tool implementations in ‘killer app’ application domains; and systematic evaluation with engineers. The research aims to unleash and evaluate the potential of synthesis to revolutionize reactive systems software development and to open the way for new directions in software engineering research and practice. Champ scientifique natural sciencescomputer and information sciencessoftwaresoftware applicationssystem softwareengineering and technologymechanical engineeringvehicle engineeringaerospace engineeringaircraftnatural sciencescomputer and information sciencessoftwaresoftware developmentengineering and technologyelectrical engineering, electronic engineering, information engineeringelectronic engineeringroboticsautonomous robots Programme(s) H2020-EU.1.1. - EXCELLENT SCIENCE - European Research Council (ERC) Main Programme Thème(s) ERC-StG-2014 - ERC Starting Grant Appel à propositions ERC-2014-STG Voir d’autres projets de cet appel Régime de financement ERC-STG - Starting Grant Institution d’accueil TEL AVIV UNIVERSITY Contribution nette de l'UE € 1 477 000,00 Adresse RAMAT AVIV 69978 Tel Aviv Israël Voir sur la carte Type d’activité Higher or Secondary Education Establishments Liens Contacter l’organisation Opens in new window Site web Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total € 1 477 000,00 Bénéficiaires (1) Trier par ordre alphabétique Trier par contribution nette de l'UE Tout développer Tout réduire TEL AVIV UNIVERSITY Israël Contribution nette de l'UE € 1 477 000,00 Adresse RAMAT AVIV 69978 Tel Aviv Voir sur la carte Type d’activité Higher or Secondary Education Establishments Liens Contacter l’organisation Opens in new window Site web Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total € 1 477 000,00