Safety and Security

Safety and Security

Guaranteeing secure systems in software and system development

Safety and Security

The increasing complexity and connectivity of modern digital systems presents a major challenge for ensuring safety and security. Given the growing degree of connectivity, in order to validate functional safety, the ability to safeguard systems against security attacks is becoming more important as well.

Our research activities thus focus on the development of methods for the integrated handling of safety and security in software and system development. We conduct research into new engineering principles and methods that support the validation of safety and security by taking into account how these two aspects are linked. To do that we develop computer-aided methods for creating, managing and analyzing safety and security verifications in software and system development.

Our activities are based on formal models and methods, which we rely on to develop automated methods for practical use. Examples include the automated extraction of security-relevant information from safety analyses, the analysis of conflicts and synergies between safety and security information, the computer-aided analysis of system architectures, as well as the creation of safety and security verifications with the help of static software analysis, model-testing and software verification tools.

Further information

Whitepaper Security Engineering
Download pdf
Whitepaper Safety und Securtiy
Download pdf
Dr. Ulrich Schöpp

Your contact

Dr. Ulrich Schöpp

+49 89 3603522 166



  • 2021 Accountable Federated Machine Learning in Government: Engineering and Management Insights Dian Balta, Mahdi Sellami, Peter Kuhn, Ulrich Schöpp, Matthias Buchinger, Nathalie Baracaldo, Ali Anwar, Heiko Ludwig, Mathieu Sinn, Mark Purcell and Bashar Altakrouri In Electronic Participation - 13th IFIP WG 8.5 International Conference, ePart 2021, pages 125-138, Springer. Details URL DOI BIB
  • 2021 Toward Embodied Intelligence: Smart Things on the Rise Arne Broering, Christoph Niedermeier, Ioana Olaru, Ulrich Schöpp, Kilian Telschig and Michael Villnow IEEE Computer, 54(1):57-68, 2021. Details BIB
  • 2021 A generic type system for featherweight Java Ulrich Schöpp and Chuangjie Xu In FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, pages 9–15, ACM. Details DOI BIB
  • 2021 Type-based Enforcement of Infinitary Trace Properties for Java Serdar Erbatur, Ulrich Schöpp and Chuangjie Xu In PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, pages 18:1–18:14, ACM. Details DOI BIB
  • 2020 Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns (Application Paper) Yuri Gil Dantas, Antoaneta Kondeva and Vivek Nigam In 36th International Conference on Logic Programming (ICLP), Rende, Italy, Details BIB
  • 2020 Towards Automating Safety and Security Co-Analysis with Patterns Yuri Gil Dantas, Antoaneta Kondeva and Vivek Nigam In 39th International Conference on Computer Safety, Reliability and Security (SafeComp), Lisbon, Portugal, Details BIB
  • 2020 A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control Yuri Gil Dantas, Vivek Nigam and Carolyn Talcott In IEEE Vehicular Networking Conference, VNC 2020, pages 1-8, IEEE. Details BIB