Logo des Repositoriums

SE 2024 - Workshops

https://dl.gi.de/handle/20.500.12116/43505
Auflistung nach:

Auflistung SE 2024 - Workshops nach Autor:in "Fränzle, Martin"

1 - 1 von 1
  • Konferenzbeitrag
    Mode Management in Contract-Based Design
    (SE 2024 - Companion, 2024) Kröger, Janis; Fränzle, Martin
    Nowadays, safety-critical systems are structured into several operating modes due to their various functionality. To evade inconsistent states in the specification and design, it is essential that these modes and their mode transitions are well defined. This entails a significant effort. This paper proposes an approach to coordinate mode changes between different components using a mode manager. Natural language patterns are designed to reduce the complexity of specifying mode changes. An example system ACC is used to illustrate the concept and patterns.