Software Dependability

Software Dependability

Rigorous validation and verification for dependable and safe software systems

Software Dependability

The Software Dependability field of competence researches and tests novel methods, algorithms and tools for the manageable development of software for dependable and safe cyber-physical systems (CPS).

The unique challenge here is in the development and operation of cognitive CPS. These systems are capable of autonomous response and decision-making and can also learn from data and experiences by means of artificial intelligence (AI) methods. These cognitive systems are thus able to adapt their behavior to changing environments. The underlying prerequisite for the successful deployment of autonomous CPS-based products is thus the availability of effective and affordable validation methods.

Research focus

  • Verification of machine intelligence
    Verification methods and tools, especially for neural networks, and processes for testing AI-based systems
  • Software verification and certification
    Methods for the automated and continuous verification of software in line with development and certification standards for safety-critical systems
  • Automatic programming
    Formalisms and algorithms for the automatic synthesis of correct control programs and runtime monitors for embedded and AI-based systems  

In our research activities, we rely primarily on mathematical-logical methods – linear programming, logical fulfillment and model testing as an example - for solving derived problems. We also develop methods designed for scenario-based testing and test approaches based on coverage-driven fuzzy testing, which is used to analyze the extent to which software is susceptible to errors in order to potentially pinpoint safety vulnerabilities. Our research activities contribute to the development of novel methods for validating and certifying autonomous cyber-physical systems, thus enabling the deployment of AI technologies in mission-critical, autonomous software systems and services as well.

Dr. Holger Pfeifer

Your contact

Dr. Holger Pfeifer

+49 89 3603522 29
pfeifer@fortiss.org

Projects