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

Opendata, web and dolomites

SYMELS SIGNED

Symbol Elimination in Reliable System Engineering

Total Cost €

EC-Contrib. €

Partnership

Views

SYMELS project word cloud

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

world size questions programmers tool errors coming web continuous bases analyzing mobile made that code proofs computer communications gives reliability costly automatically investors answering gain prone services reasoning area manipulating trust industry prevent accuracy expressiveness elimination companies innovation full re initial insecure free first proof run appropriate answer logic online error human daily fact guaranteed behavior software traffic formal memory preventing symbol breakthrough methodology symels automated ict living technologies hardly customers air banking generate prove proving programs market introducing 80 investments

Project "SYMELS" data sheet

The following table provides information about the project.

Coordinator	TECHNISCHE UNIVERSITAET WIEN Organization address address: KARLSPLATZ 13 city: WIEN postcode: 1040 website: www.tuwien.ac.at 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	Austria [AT]
Total cost	150˙000 €
EC max contribution	150˙000 € (100%)
Programme	1. H2020-EU.1.1. (EXCELLENT SCIENCE - European Research Council (ERC))
Code Call	ERC-2018-PoC
Funding Scheme	ERC-POC
Starting year	2019
Duration (year-month-day)	from 2019-06-01 to 2020-11-30

Partnership

Take a look of project's partnership.

#	participants	country	role	EC contrib. [€]
1	TECHNISCHE UNIVERSITAET WIEN TECHNISCHE UNIVERSITAET WIEN Organization address address: KARLSPLATZ 13 city: WIEN postcode: 1040 website: www.tuwien.ac.at contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	AT (WIEN)	coordinator	150˙000.00

Map

Project objective

We are living in a world that is increasingly run by software. Daily activities, such as online banking, mobile communications and air traffic use, are controlled by software. This software is growing in size and functionality, but its reliability is hardly improving. We are getting used to the fact that that computer systems are error-prone and insecure. To (re)gain the trust of end-users in software and Web services, formal automated reasoning is one of the main investments made by ICT companies in preventing software errors. To improve in this area, one should answer some important questions, such as

- Which methods in automated reasoning are the most appropriate for proving software error-free?

- What needs to be done to apply research in automated reasoning to large-scale code bases?

Our SYMELS project aims at answering these questions by bringing our symbol elimination method to the ICT market. The key innovation brought in by SYMELS is the ability to automatically generate and prove first-order properties of software that prevent programmers from introducing errors while making changes in this software. Our initial results show that symbol elimination can be a breakthrough method: e.g. when testing programs manipulating computer memory it was able to prove that over 80% of test cases are guaranteed to have the expected behavior. Most of these test problems were coming from industry, where similar proofs required very costly human work. Analyzing such programs requires reasoning about program properties in full first-order logic. No other method can reason about such properties with the same accuracy and expressiveness as SYMELS. For the proof-of-concept, SYMELS gives ICT customers and investors a tool-supported methodology for ensuring continuous growth in software functionality, thus increasing software reliability and user's trust in software technologies.

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "SYMELS" 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 "SYMELS" are provided by the European Opendata Portal: CORDIS opendata.