SYNTACT (101069165)

  https://cordis.europa.eu/project/id/101069165

  Horizon Europe (2021-2027)

  Reactive Synthesis in Action

  ERC PROOF OF CONCEPT GRANTS1 (ERC-2022-POC1)

  system software  ·  software development

  2022-05-01 Start Date (YY-MM-DD)

  2023-10-31 End Date (YY-MM-DD)

  € 0

  Description

Bugs in software systems pose a huge and growing cost on society, not only in economic terms but also in direct risk to human lives. Reactive synthesis is a new technology to automatically generate correct-by-construction software. Unlike testing and formal verification, which require advance investment in an implementation, reactive synthesis generates a correct implementation directly from its formal specification. Despite its potential to reduce software development costs and at the same time increase the confidence one may have in the correctness of software, to date, no application of reactive synthesis has been examined outside academic labs. The SYNTACT PoC will put reactive synthesis technologies to test in industrial beta-sites and will thus generate and disseminate knowhow on the use of reactive synthesis in practice, identify and address product and process obstacles, build a community of parties that are interested in the promotion and transfer of reactive synthesis technologies from academia to industry, and lay a foundation to guide future research, standardization, collaboration, and industry investment in reactive synthesis technologies. We expect the SYNTACT PoC to advance the state-of-the-practice in reactive synthesis and thus start paving the way for its adoption in industry. Its expected outcomes include several industrial systems that were developed using synthesis, case-study reports describing the beta-sites projects, training materials, new set of real benchmark specifications, estimations of the potential return on investment in deploying reactive synthesis, and draft standardization documents. As more and more aspects of modern life depend on the correctness of software, the SYNTACT PoC will directly introduce the reactive synthesis correct-by-construction new perspective and tools to the industrial settings, as a timely step towards its broad future adoption.

  Complicit Organisations

1 Israeli organisation participates in SYNTACT.