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
Originalbündel
1 - 1 von 1