Innovating Works

SYMBIOSYS

Financiado
Symbolic Analysis of Temporal and Functional Behavior of Networked Systems
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 method... 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. ver más
31/07/2021
RWTH AACHEN
2M€
Perfil tecnológico estimado
Duración del proyecto: 75 meses Fecha Inicio: 2015-04-20
Fecha Fin: 2021-07-31

Línea de financiación: concedida

El organismo H2020 notifico la concesión del proyecto el día 2021-07-31
Línea de financiación objetivo El proyecto se financió a través de la siguiente ayuda:
ERC-CoG-2014: ERC Consolidator Grant
Cerrada hace 10 años
Presupuesto El presupuesto total del proyecto asciende a 2M€
Líder del proyecto
RHEINISCHWESTFAELISCHE TECHNISCHE HOCHSCHULE... No se ha especificado una descripción o un objeto social para esta compañía.
Perfil tecnológico TRL 4-5