SYMBIOSYS: Symbolic analysis of temporal and functional behavior of networked systems

SYMBIOSIS Logo
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 efficiently 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 significantly widens the scope of Symbolic Execution to new analysis domains.

Bugs Discovered

Awards



Publications

Daniel Schemmel, Julian Büning, César Rodríguez, David Laprell, Klaus Wehrle. Symbolic Partial-Order Execution for Testing Multi-Threaded Programs. Computer Aided Verification (CAV 2020). July 2020.
PDF Cite DOI Extended Version (arXiv)
Felix Rath, Daniel Schemmel, Klaus Wehrle. Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution. ACM, Heraklion, Greece. December 2018.
PDF Cite DOI ACM arXiv
Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann, Klaus Wehrle. On Automated Memoization in the Field of Simulation Parameter Studies. ACM Transactions on Modeling and Computer Simulation (TOMACS), vol. 28, no. 4. October 2018.
Cite DOI URL
Oscar Soria Dustmann, Klaus Wehrle, Cristian Cadar. PARTI: A Multi-interval Theory Solver for Symbolic Execution. Proceedings of the 2018 Conference on Automated Software Engineering (ASE'18), Montpellier, France. September 2018.
Cite DOI URL
Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll, Klaus Wehrle. Symbolic Liveness Analysis of Real-World Software. Computer Aided Verification (CAV 2018), Oxford, UK. July 2018.
PDF Cite DOI GitHub Zenodo
Daniel Schemmel, René Glebke, Mirko Stoffers, Klaus Wehrle. Towards Benchmark Optimization by Automated Equivalence Detection. Proceedings of the 1st Workshop on Benchmarking Cyber-Physical Networks and Systems (CPSBench'18), Apr 10 - Apr 13, 2018, Porto, Portugal. April 2018.
Cite DOI URL
Mirko Stoffers, Ralf Bettermann, Klaus Wehrle. Automated Memoization: Automatically Identifying Memoization Units in Simulation Parameter Studies. Proceedings of the 21st IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2017), Oct 18 - Oct 20, 2017, Rome, Italy. October 2017.
PDF Cite DOI
Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair Donaldson, Rafael Zähl, Klaus Wehrle. Floating-Point Symbolic Execution: A Case Study in N-Version Programming. Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, Urbana-Champaign, IL, USA. October 2017.
Cite URL
Felix Rath, Johannes Krude, Jan Rüth, Daniel Schemmel, Oliver Hohlfeld, Jó Agila Bitsch, Klaus Wehrle. SymPerf: Predicting Network Function Performance. ACM, El Monte, CA, United States. August 2017.
PDF Cite DOI
Martin Serror, Jörg Christian Kirchhof, Mirko Stoffers, Klaus Wehrle, James Gross. Code-transparent Discrete Event Simulation for Time-accurate Wireless Prototyping. Proceedings of the 5th ACM SIGSIM/PADS Conference on Principles of Advanced Discrete Simulation (SIGSIM-PADS’17), May 24 - May 26, 2017, Singapore, Singapore. May 2017.
PDF Cite DOI
Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann, Klaus Wehrle. Automated Memoization for Parameter Studies Implemented in Impure Languages. Proceedings of the 4th ACM SIGSIM/PADS Conference on Principles of Advanced Discrete Simulation (SIGSIM-PADS’16), Banff, AB, Canada. May 2016.
Best Paper Award
PDF Cite DOI