Software Dependability

Software Dependability

More productive development and maintainance of reliable and secure software

Software Dependability

The Software Dependability research division develops innovative approaches, algorithms and tools for the effective development of software used in verifiably dependable and safe cyber-physical systems (CPS).

Effective and affordable methods for validating cyber-physical systems are a basic prerequisite for the successful utilization of autonomous and CPS-based products, such as those currently being designed and developed in the automobile (highly-automated driving), aerospace (autonomous air taxis) and industrial automation (adaptable factories) industries.  

We take a special interest in:

  • the verification of intelligent contracts
  • automatic programming
  • trustworthy self-integration
  • evidence-based tool chains
  • robust artificial intelligence (AI)

We rely primarily on mathematical-logical methods (linear and non-linear programming, logical feasibility, model testing) for solving derived issues.

The resulting research contributions are essential in the development of innovative methods for validating and certifying autonomous cyber-physical systems. In particular, this research enables the use of AI technologies in mission-critical software products and services.

Dr. Holger Pfeifer

Your contact

Dr. Holger Pfeifer

+49 89 3603522 29
pfeifer@fortiss.org

Projects