Logo des Repositoriums

Auflistung nach Schlagwort "operating modes"

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.