TY  - THES
AB  - Software-intensive Systeme durchdringen zunehmend unsere Gesellschaft und Industrie, und ihre Anwendung in sicherheitskritischen Bereichen kann sogar über Leben und Tod entscheiden. Eine hohe Qualität der Anforderungen an die Software dieser Systeme ist unabdingbar, da die Softwareanforderungen die Basis für den Entwurf und die Entwicklung der Software sind. Die Anwendung von Modellen im Requirements Engineering (RE) wird als vorteilhaft angesehen, da Modelle automatische Analysetechniken zur Sicherstellung von hochqualitativen Anforderungen fördern. Jedoch berücksichtigen existierende modellbasierte RE-Ansätze weder den Übergang von multidisziplinären zu disziplinspezifischen RE-Phasen noch plattforminduzierte Zeiteffekte während der Echtzeitanforderungsvalidierung in ausreichender Weise. Dies resultiert zum einen in potentiellen Softwareanforderungsdefekten, die sich während des Übergangs einschleichen. Zum anderen entstehen kostspielige Entwicklungsiterationen durch Zeitanalysen, die erst in späten Entwicklungsphasen durchgeführt werden. Diese Dissertation präsentiert und evaluiert einen modellbasierten RE-Ansatz, der diese Probleme durch zwei Techniken adressiert. Zum einen führt sie eine semiautomatische Technik für den Übergang von multidisziplinären Systemmodellen zu Software-RE-Modellen ein, sodass sich die Wahrscheinlichkeit für die Entstehung von Anforderungsdefekten bei dem Übergang verringert. Zum anderen stellt sie eine Technik zur semiautomatischen Verifikation von Plattformeigenschaften gegenüber Echtzeitanforderungen in den Software-RE-Modellen vor, sodass eine plattforminduzierte Verletzung von Echtzeitanforderungen bereits in frühen Phasen aufgedeckt werden kann. Insgesamt verbessern diese Techniken somit die Qualität der Softwareanforderungen.
AU  - Holtmann, Jörg
CY  - Paderborn
DA  - 2019
DO  - 10.17619/UNIPB/1-730
DP  - Universität Paderborn
LA  - eng
N1  - Tag der Verteidigung: 22.03.2019
N1  - Universität Paderborn, Dissertation, 2019
PB  - Veröffentlichungen der Universität
PY  - 2019
SP  - 1 Online-Ressource (XII, 335 Seiten)
T2  - Heinz Nixdorf Institut (HNI)
TI  - Improvement of software requirements quality based on systems engineering
UR  - https://nbn-resolving.org/urn:nbn:de:hbz:466:2-34880
Y2  - 2026-01-16T09:15:29
ER  -