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

Opendata, web and dolomites

SYMBIOSYS SIGNED

Symbolic Analysis of Temporal and Functional Behavior of Networked Systems

Total Cost €

EC-Contrib. €

Partnership

Views

Outcomes and
results

SYMBIOSYS project word cloud

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

networked effciently sdte vital amount behavior influence software suggests formal temporal methodology checking examples exploration time domains abstract network symbiosis code breakthrough model fosters complementing sde paths combination significantly requirement structured rigorous reduce manner physical interact input widens domain leap explosion symbolic efficient vast reliability strategies quantum benefits interactions se automatically latency implementations communication scope explore analyzing unpredictable first society fundamentally orthogonal issue inspired optimization tools heterogeneous networks complexity assure analyze raises devise dynamic introduce ste interoperability symbiosys cyber distributed

Project "SYMBIOSYS" data sheet

The following table provides information about the project.

Coordinator	RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN Organization address address: TEMPLERGRABEN 55 city: AACHEN postcode: 52062 website: www.rwth-aachen.de 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	Germany [DE]
Project website	https://www.comsys.rwth-aachen.de/research/projects/symbiosys/
Total cost	1˙988˙750 €
EC max contribution	1˙988˙750 € (100%)
Programme	1. H2020-EU.1.1. (EXCELLENT SCIENCE - European Research Council (ERC))
Code Call	ERC-2014-CoG
Funding Scheme	ERC-COG
Starting year	2015
Duration (year-month-day)	from 2015-08-01 to 2021-07-31

Partnership

Take a look of project's partnership.

#	participants	country	role	EC contrib. [€]
1	RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN Organization address address: TEMPLERGRABEN 55 city: AACHEN postcode: 52062 website: www.rwth-aachen.de contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	DE (AACHEN)	coordinator	1˙988˙750.00

Map

Project objective

The goal of SYMBIOSYS is to assure the reliability and interoperability of networked (software) systems, a crucial requirement in today’s networked information society. To this end, we devise a software and systems analysis methodology that – for the first time – considers the vital influence factors that determine the behavior of networked systems, especially including input and temporal uncertainty of network interactions. With SYMBIOSYS, we will be able to automatically and effciently explore and analyze the vast amount of distributed execution paths in networked systems in a highly structured manner inspired by Symbolic Execution (SE).

The combination of the benefits of model checking (rigorous exploration) and of dynamic software testing (analyzing real systems’ code) represents a quantum leap in the field of network analysis. Orthogonal to and complementing formal model-based approaches, which target the design of reliable systems on an abstract (model-) level, we also address system- and implementation-level aspects of (typically heterogeneous) implementations that interact via unpredictable networks. To achieve this, we introduce the fundamentally new approaches Symbolic Distributed Execution (SDE), Symbolic Temporal Execution (STE) and their symbiosis (SDTE). This is a breakthrough in the symbolic analysis of real systems and significantly widens the scope of SE to new analysis domains.

Our novel approach raises the issue of complexity and path explosion. Yet, our experience from early work on SDE strongly suggests that the use of domain-specific knowledge and further general optimization strategies allow to significantly reduce this complexity and enable an efficient analysis. SYMBIOSYS also enables and fosters the design of new methods and tools to ensure reliability, interoperability, and other vital properties of networked systems. We demonstrate our new methodology through examples from Cyber-Physical Systems and low-latency communication.

Publications

List of publications.
year	authors and title	journal	last update
2018	Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann, Klaus Wehrle On Automated Memoization in the Field of Simulation Parameter Studies published pages: 1-25, ISSN: 1049-3301, DOI: 10.1145/3186316	ACM Transactions on Modeling and Computer Simulation 28/4	2019-11-29
2018	Oscar Soria Dustmann, Klaus Wehrle, Cristian Cadar PARTI: A Multi-interval Theory Solver for Symbolic Execution published pages: , ISSN: , DOI: 10.1145/3238147.3238179	2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE)	2019-11-29

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