A Theory for Event-Driven Specifications Using Focus and MontiArc on the Example of a Data Link Uplink Feed System
| dc.contributor.author | Kausch, Hendrik | |
| dc.contributor.author | Pfeiffer, Mathias | |
| dc.contributor.author | Raco, Deni | |
| dc.contributor.author | Rath, Amelie | |
| dc.contributor.author | Rumpe, Bernhard | |
| dc.contributor.author | Schweiger, Andreas | |
| dc.contributor.editor | Groher, Iris | |
| dc.contributor.editor | Vogel, Thomas | |
| dc.date.accessioned | 2023-02-13T12:00:47Z | |
| dc.date.available | 2023-02-13T12:00:47Z | |
| dc.date.issued | 2023 | |
| dc.description.abstract | The development of avionics message communication systems is expensive due to their complexity and the need to get them accepted by the certification authorities. We need to develop high-integrity software, but we also face cost pressure. For managing complex large systems, several time-synchronous modeling languages have been proposed. While these are appropriate for hardware specifications, when it comes to specifying distributed software systems, an event-based specification style is better suited. We present an event-based specification theory based on the framework Focus by giving the signatures and data types for specifications using event automata. For this, we capture message processing order as a further dimension of non-determinism by specifying a general timed merge component. These event automata can represent underspecification of behavior, and a refinement calculus can be applied to these for a stepwise reduction of non-determinism. Furthermore, we present the necessary concepts for enabling a user-friendly specification and simulation of event-based systems by using the architecture description language MontiArc. Finally, we evaluate our approach by performing a top-down architecture design of an avionics case study and demonstrating event-based specifications of requirements in MontiArc. The presented methodology improves the management of complexity, reduces costs, and increases the system quality. | en |
| dc.identifier.doi | 10.18420/se2023-ws-17 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/40202 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | Software Engineering 2023 Workshops | |
| dc.subject | event-based components | |
| dc.subject | automata | |
| dc.subject | formal verification | |
| dc.subject | model-driven development | |
| dc.subject | underspecification | |
| dc.subject | distributed systems | |
| dc.subject | avionics | |
| dc.title | A Theory for Event-Driven Specifications Using Focus and MontiArc on the Example of a Data Link Uplink Feed System | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 188 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 169 | |
| gi.conference.date | 20.- 24. Februar | |
| gi.conference.location | Paderborn | |
| gi.conference.sessiontitle | AvioSE |
Dateien
Originalbündel
1 - 1 von 1