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

  • Non-termination bug in tail (GNU Coreutils) - Bug Report
  • Non-termination bug #2 in tail (GNU Coreutils) - Bug Report
  • Non-termination bug in ptx (GNU Coreutils) - Bug Report
  • Non-termination bug in hush (BusyBox) - Bug Report
  • Non-termination bug #2 in hush (BusyBox) - Bug Report
  • Non-termination bug in GNU regex - Bug Report
  • Segfault in z3 - Bug Report
  • Unsafe usage of non-volatile object in a signal handler in GNU gzip - Bug Report

 

Awards

 

Team

Researchers

 

Student Researchers

 

Team Assistants

 

Former Members of the Team

 

Contact

For questions and inquiries regarding the SYMBIOSYS project, please contact:

   Daniel Schemmel
   Systems Analysis Group

   E-Mail: daniel.schemmel at comsys.rwth-aachen.de
   Phone: +49 241 80-21420

 

 

Funding

This research is supported by the European Research Council (ERC) under the EU’s Horizon 2020 Research and Innovation Programme (grant agreement n. 647295 (SYMBIOSYS)).

Publications

References
9.
Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann and Klaus Wehrle
ACM Transactions on Modeling and Computer Simulation (TOMACS), 28(4):25
September 2018
8.
Oscar Soria Dustmann, Klaus Wehrle and Cristian Cadar
Proceedings of the 2018 Conference on Automated Software Engineering (ASE'18)
September 2018
7.
Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll and Klaus Wehrle
Proceedings of the 30th International Conference on Computer Aided Verification (CAV'18)
July 2018
ISBN: 978-3-319-96142-2
6.
Proceedings of the 1st Workshop on Benchmarking Cyber-Physical Networks and Systems (CPSBench'18)
April 2018
ISBN: 978-1-5386-6742-2
5.
Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair Donaldson, Rafael Zähl and Klaus Wehrle
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering
October 2017
ISBN: 978-1-5386-2684-9/17
4.
Mirko Stoffers, Ralf Bettermann and Klaus Wehrle
Proceedings of the 21st IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2017), Rome, Italy, page 33-42.
Publisher: IEEE,
October 2017
3.
ACM SIGCOMM 2017 Poster
Los Angeles, USA, 21.8.2017 - 25.8.2017
Publisher: ACM,
August 2017
ISBN: 978-1-4503-5057-0/17/08
2.
Martin Serror, Jörg Christian Kirchhof, Mirko Stoffers, Klaus Wehrle and James Gross
Proceedings of the 5th ACM SIGSIM/PADS Conference on Principles of Advanced Discrete Simulation (SIGSIM-PADS’17), Singapore, Singapore
Publisher: ACM,
May 2017
ISBN: 978-1-4503-4489-0
1.
Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann and Klaus Wehrle
Proceedings of the 4th ACM SIGSIM/PADS Conference on Principles of Advanced Discrete Simulation (SIGSIM-PADS’16), Banff, AB, Canada, page 221-232.
Publisher: ACM, New York, NY
May 2016
Export as:
BibTeX, XML
- Impressum -