Mode Management in Contract-Based Design

dc.contributor.author	Kröger, Janis
dc.contributor.author	Fränzle, Martin
dc.contributor.editor	Dhungana, Deepak
dc.contributor.editor	Lambers, Leen
dc.contributor.editor	Bonorden, Leif
dc.contributor.editor	Henning, Sören
dc.date.accessioned	2024-02-14T05:22:29Z
dc.date.available	2024-02-14T05:22:29Z
dc.date.issued	2024
dc.description.abstract	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.	en
dc.identifier.doi	10.18420/sw2024-ws_03
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/43518
dc.language.iso	en
dc.pubPlace	Bonn
dc.publisher	Gesellschaft für Informatik e.V.
dc.relation.ispartof	SE 2024 - Companion
dc.subject	mode management
dc.subject	operating modes
dc.subject	contract-based design
dc.title	Mode Management in Contract-Based Design	en
dc.type	Text/Conference Paper
gi.citation.endPage	42
gi.citation.startPage	31
gi.conference.date	26.- 27. Februar
gi.conference.location	Linz
gi.conference.sessiontitle	ASE

Dateien

1 - 1 von 1