Explore the words cloud of the SYMBIOSYS project. It provides you a very rough idea of what is the project "SYMBIOSYS" about.
The following table provides information about the project.
RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN
|Coordinator Country||Germany [DE]|
|Total cost||1˙988˙750 €|
|EC max contribution||1˙988˙750 € (100%)|
1. H2020-EU.1.1. (EXCELLENT SCIENCE - European Research Council (ERC))
|Duration (year-month-day)||from 2015-08-01 to 2021-07-31|
Take a look of project's partnership.
|1||RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN||DE (AACHEN)||coordinator||1˙988˙750.00|
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|
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|
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 (firstname.lastname@example.org) 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.