CORDIS
EU research results

CORDIS

English EN
Symbolic Analysis of Temporal and Functional Behavior of Networked Systems

Symbolic Analysis of Temporal and Functional Behavior of Networked Systems

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.
Leaflet | Map data © OpenStreetMap contributors, Credit: EC-GISCO, © EuroGeographics for the administrative boundaries

Host institution

RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN

Address

Templergraben 55
52062 Aachen

Germany

Activity type

Higher or Secondary Education Establishments

EU Contribution

€ 1 988 750

Beneficiaries (1)

Sort alphabetically

Sort by EU Contribution

Expand all

RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN

Germany

EU Contribution

€ 1 988 750

Project information

Grant agreement ID: 647295

Status

Ongoing project

  • Start date

    1 August 2015

  • End date

    31 July 2020

Funded under:

H2020-EU.1.1.

  • Overall budget:

    € 1 988 750

  • EU contribution

    € 1 988 750

Hosted by:

RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN

Germany