Opendata, web and dolomites


Symbolic Analysis of Temporal and Functional Behavior of Networked Systems

Total Cost €


EC-Contrib. €






Project "SYMBIOSYS" data sheet

The following table provides information about the project.


Organization address
city: AACHEN
postcode: 52062

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
 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


Take a look of project's partnership.

# participants  country  role  EC contrib. [€] 


 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.


year authors and title journal last update
List of publications.
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 ( 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.

More projects from the same programme (H2020-EU.1.1.)

POLAR (2020)

Polarization and its discontents: does rising economic inequality undermine the foundations of liberal societies?

Read More  

WordMeasures (2020)

Word Measures in Groups and Random Cayley Graphs

Read More  


Biomineralizing coatings for maxillofacial implants

Read More