Objective Reactive synthesis has the potential to revolutionize the development of distributed embedded systems. From a given logical specification, the synthesis algorithm automatically constructs an implementation that is correct-by-design. The vision is that a designer analyzes the design objectives with a synthesis tool, automatically identifies competing or contradictory requirements and obtains an error-free prototype implementation. Coding and testing, the most expensive stages of development, are eliminated from the development process. Recent case studies from robotic control and from hardware design, such as the automatic synthesis of the AMBA AHB bus controller, demonstrate that this vision is in principle feasible. So far, however, synthesis does not scale to large systems. Even if successful, it produces code that is much larger and much more complicated than the code produced by human programmers for the same specification. Our goal is to address both of these fundamental shortcomings at the same time. We will develop output-sensitive synthesis algorithms, i.e. algorithms that, in addition to optimal performance in the size of the specification, also perform optimally in the size and structural complexity of the implementation. Target applications for our algorithms come from both the classic areas of reactive synthesis, such as hardware circuits, and from new and much more challenging application areas such as the distributed control and coordination of autonomous vehicles and manufacturing robots, which are far beyond the reach of the currently available synthesis algorithms. Fields of science engineering and technologymechanical engineeringvehicle engineeringautomotive engineeringautonomous vehiclesnatural sciencesearth and related environmental sciencesenvironmental sciencespollution Programme(s) H2020-EU.1.1. - EXCELLENT SCIENCE - European Research Council (ERC) Main Programme Topic(s) ERC-CoG-2015 - ERC Consolidator Grant Call for proposal ERC-2015-CoG See other projects for this call Funding Scheme ERC-COG - Consolidator Grant Coordinator CISPA - HELMHOLTZ-ZENTRUM FUR INFORMATIONSSICHERHEIT GGMBH Net EU contribution € 198 603,49 Address Stuhlsatzenhaus 5 66123 Saarbrucken Germany See on map Region Saarland Saarland Regionalverband Saarbrücken Activity type Research Organisations Links Contact the organisation Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 Beneficiaries (2) Sort alphabetically Sort by Net EU contribution Expand all Collapse all CISPA - HELMHOLTZ-ZENTRUM FUR INFORMATIONSSICHERHEIT GGMBH Germany Net EU contribution € 198 603,49 Address Stuhlsatzenhaus 5 66123 Saarbrucken See on map Region Saarland Saarland Regionalverband Saarbrücken Activity type Research Organisations Links Contact the organisation Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 UNIVERSITAT DES SAARLANDES Participation ended Germany Net EU contribution € 1 796 396,51 Address Campus 66123 Saarbrucken See on map Region Saarland Saarland Regionalverband Saarbrücken Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00
