Research Area Software Systems

(Quelle: DFKI GmbH/Universität Bremen)

Software systems contain a nearly unmanageable amount of information and complexity. When designing and implementing software for cyber-physical systems, scientists must make complexity manageable. To this end, both the system and the environment in which it will be working in are modelled in order to analyze the requirements. The resulting specification is translated in sevaral steps into program code. The architecture designed in this fashion has to satisfy the requirements initially laid out, particularly with regard to safety and security of the system. To make this process safe, robust, and reliable, an integrated approach to quality assurance on all levels of the system design is required.

Our expertise covers the whole design process, from system specification and formal modelling to comprehensive document management, software certification and formal verification.


chlu01 Prof. Dr. Christoph Lüth
CPS Vice Director
+49 421 218 59830

Our Technical Expertise

  • System specification
  • Change management
  • Software certification
  • Formal software verification


There 33 projects in this research area:

Hardening the Supply Chain through Open Source, Trusted EDA Tools and Processors
Mar 2021 - Feb 2024
Learning and Verifying Complex Behaviour of Humanoid Robots
Jun 2020 - May 2024
Combination of Symbolic and Subsymbolic Methods
Nov 2019 - Oct 2022
A Sound Verification Platform for Early Software Development for RISC-V based Systems
Aug 2019 - Jul 2022
KI-Space for Intelligent Health-Systems.
Apr 2019 - Aug 2019
Jan 2018 - Mar 2020
Developing a search engine for the B2C area using artificial intelligence.
Jan 2018 - Jun 2019
Safety of Transport Infrastructure on the TEN-T Network
May 2017 - Apr 2020
Self-Verification of Electronic Systems
Aug 2016 - Jul 2019
BDD Manipulation for Approximate Computing
Jan 2016 - Mar 2019
Maintainable Role-Based Rights Management
Oct 2015 - Jan 2016
Hybrid Social Teams for Long-Term Collaboration in Cyber-Physical Environments
Oct 2014 - Aug 2016
Developing a Search Machine using Principles of Artificial Intelligence
Oct 2014 - Jan 2016
Sensoranzug zur individuellen Rückmeldung körperlicher Aktivität
May 2014 - Oct 2016
Quality-driven Design Flow using Formal Specifications and Functional Change Management
Aug 2013 - Jul 2016
Automatic Formalisation of legal texts aided by natural language processing
Jan 2013 - Jun 2014
Assistants for Safe Mobility
Jun 2012 - May 2015
Software Engineering for Spreadsheet Interaction
Mar 2012 - Feb 2014
Semantically Founded Implementation of Clinical Practice Guidelines
Oct 2011 - Sep 2013
Semantic Integration of Heterogenous Processes
Jan 2011 - Dec 2013
Echtzeitbildverarbeitung und -bewegungsplanung für einen ballfangenden humanoiden Roboter
Jan 2010 - Dec 2012
Sicherer Kegelscanner
Jan 2010 - Dec 2011
Logic Atlas & Integrator
Nov 2009 - Dec 2012
Ontology-Driven Management of Change
Jul 2008 - Sep 2010
Formal Development for Safe Robotics
Jan 2008 - Dec 2010
Generic Algorithms and Complexity Bounds in Coalgebraic Modal Logic
Oct 2007 - Sep 2009
Safety component for autonomous mobile service robots
May 2006 - Aug 2009
May 2006 - Jul 2007
Generic User Interfaces for Interactive Theorem Provers
Jan 2005 - Dec 2007
Abstraction and Reuse of Formal Developments
Jan 2002 - Feb 2007
Automatic recognition of plans and intentions of mobile robots in cooperating and competing dynamic environments
Jan 2001 - Dec 2007
Multimedia - Instruktion in Sicheren Systemen
Jan 2001 - Dec 2003
Heterogeneous Tool Set
Jan 2000 - Dec 2007

last updated 20/01/2022
to top