#	Pagina
attuale pagina	/open-h2020/projects/193554/index.html

Opendata, web and dolomites

SYNTECH SIGNED

Synthesis Technologies for Reactive Systems Software Engineers

Total Cost €

EC-Contrib. €

Partnership

Views

Outcomes and
results

SYNTECH project word cloud

Explore the words cloud of the SYNTECH project. It provides you a very rough idea of what is the project "SYNTECH" about.

iterative correct environment implementations compute reacting revolutionize creation stimuli prone web app debugging construction robotic inside error killer made languages specification coding explored phone mechanisms cars engineers tool manual systematic advancements practices engineering synthesis smart achievements running powerful automated usable mostly aircraft reactive alternative directions abstraction industrial advantage domains algorithmic evaluation software transform fundamentally chips revolutionary automatic formal language ongoing verification centric mobile despite productive assembly unleash

Project "SYNTECH" data sheet

The following table provides information about the project.

Coordinator	TEL AVIV UNIVERSITY Organization address address: RAMAT AVIV city: TEL AVIV postcode: 69978 website: http://www.tau.ac.il/ contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.
Coordinator Country	Israel [IL]
Project website	http://smlab.cs.tau.ac.il/syntech/
Total cost	1˙477˙000 €
EC max contribution	1˙477˙000 € (100%)
Programme	1. H2020-EU.1.1. (EXCELLENT SCIENCE - European Research Council (ERC))
Code Call	ERC-2014-STG
Funding Scheme	ERC-STG
Starting year	2015
Duration (year-month-day)	from 2015-04-01 to 2020-09-30

Partnership

Take a look of project's partnership.

#	participants	country	role	EC contrib. [€]
1	TEL AVIV UNIVERSITY TEL AVIV UNIVERSITY Organization address address: RAMAT AVIV city: TEL AVIV postcode: 69978 website: http://www.tau.ac.il/ contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	IL (TEL AVIV)	coordinator	1˙477˙000.00

Map

Project objective

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.

Publications

List of publications.
year	authors and title	journal	last update
2016	Shahar Maoz, Jan Oliver Ringert Synthesizing a Lego Forklift Controller in GR(1): A Case Study published pages: 58-72, ISSN: 2075-2180, DOI: 10.4204/EPTCS.202.5	Electronic Proceedings in Theoretical Computer Science 202	2019-05-29
2017	Elizabeth Firman, Shahar Maoz, Jan Oliver Ringert Performance Heuristics for GR(1) Synthesis and Related Algorithms published pages: 62-80, ISSN: 2075-2180, DOI: 10.4204/EPTCS.260.7	Electronic Proceedings in Theoretical Computer Science 260	2019-05-29
2016	Shahar Maoz, Or Pistiner, Jan Oliver Ringert Symbolic BDD and ADD Algorithms for Energy Games published pages: 35-54, ISSN: 2075-2180, DOI: 10.4204/EPTCS.229.5	Electronic Proceedings in Theoretical Computer Science 229	2019-05-29

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "SYNTECH" project.

For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.

Send me an email (fabio@fabiodisconzi.com) and I put them in your project's page as son as possible.

Thanks. And then put a link of this page into your project's website.

The information about "SYNTECH" are provided by the European Opendata Portal: CORDIS opendata.