Logo des Repositoriums
 

Enhancing System-model Quality: Evaluation of the MontiBelle Approach with the Avionics Case Study on a Data Link Uplink Feed System

Kurzanzeige
dc.contributor.authorKausch, Hendrik
dc.contributor.authorPfeiffer, Mathias
dc.contributor.authorRaco, Deni
dc.contributor.authorRumpe, Bernhard
dc.contributor.authorSchweiger, Andreas
dc.contributor.editorDhungana, Deepak
dc.contributor.editorLambers, Leen
dc.contributor.editorBonorden, Leif
dc.contributor.editorHenning, Sören
dc.date.accessioned2024-02-14T05:22:30Z
dc.date.available2024-02-14T05:22:30Z
dc.date.issued2024
dc.description.abstractSoftware quality is often related directly to the quality of the models used throughout the development phases. Assuring model quality can thus be an important aspect for assuring the quality of the final product. Measuring model quality is done via different quality indicators. In this article, we investigate the influence of our holistic systems engineering methodology on model quality. An avionics case study was previously conducted using our methodology. The developed SysML v2 model artifacts are evaluated in this paper regarding internal and external model quality, as well as model notation quality. In total, the positive impact on 26 model quality indicators from our previous work is argued. These indicators are divided into intra-model (single artifact) quality indicators and inter-model (across model artifact) quality indicators. The inter-model quality indicators are further classified into indicators for models at the same granularity level (horizontal) and across several granularity levels (vertical). Multiple quality indicators are positively affected by the modeling language’s capabilities and the underlying mathematical semantics. Other indicators depend on methodological guidelines that steer the engineering process. The evaluation of model-quality properties leads towards maturing a holistic systems engineering methodology that facilitates high model quality and thus indicates high product quality.en
dc.identifier.doi10.18420/sw2024-ws_09
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/43524
dc.language.isoen
dc.pubPlaceBonn
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofSE 2024 - Companion
dc.subjectModel Quality
dc.subjectDesign Methodology
dc.subjectTheorem Prover
dc.subjectFormal Verification
dc.titleEnhancing System-model Quality: Evaluation of the MontiBelle Approach with the Avionics Case Study on a Data Link Uplink Feed Systemen
dc.typeText/Conference Paper
gi.citation.endPage138
gi.citation.startPage119
gi.conference.date26.- 27. Februar
gi.conference.locationLinz
gi.conference.sessiontitleAVIOSE

Dateien

Originalbündel
1 - 1 von 1
Vorschaubild nicht verfügbar
Name:
A3-6.pdf
Größe:
495.15 KB
Format:
Adobe Portable Document Format
Herunterladen

Sammlungen

SE 2024 - Workshops