Verl\"assliche Software im 21. Jahrhundert

TL;DR

This paper discusses the challenges and research directions for ensuring high dependability in modern software systems across various innovative domains, emphasizing open systems and behavioral traceability.

Contribution

It identifies new challenges and research directions for software dependability in emerging fields like cloud, autonomous systems, and medical devices.

Findings

Highlights open systems and ad-hoc structures as dependability challenges

Emphasizes behavioral traceability as a new aspect of dependability

Discusses future research directions for reliable software in critical domains

Abstract

Software is the main innovation driver in many different areas, like cloud services, autonomous driving, connected medical devices, and high-frequency trading. All these areas have in common that they require high dependability. In this paper, we discuss challenges and research directions imposed by these new areas on guaranteeing the dependability. On the one hand challenges include characteristics of the systems themselves, e. g., open systems and ad-hoc structures. On the other hand, we see new aspects of dependability like behavioral traceability.