download - SPES 2020

Weitere Magazine

Empfehlungen

Info

Deliverable D2.4.C: Evaluation des Ansatzes für die integrierte, modellbasierte Dokumentation von Anforderungen und Entwurf [STP10] Sikora, Ernst; Tenbergen, Bastian; Pohl, Klaus (2010). Modellbasiertes Requirements Engineering – Eine Situationsanalyse zum Stand der Praxis. Softwaretechnik Trends 30(1). [STP11a] Sikora, Ernst; Tenbergen, Bastian; Pohl, Klaus (2011). Requirements Engineering – An Investigation of Industry Needs. Proceedings of Requirements Engineering: Foundations for Software Quality REFSQ 2011. [STP11b] Sikora, Ernst; Tenbergen, Bastian; Pohl, Klaus (2011). Industry Needs and Research Directions in Requirements Engineering for Embedded Systems. Requirements Engineering Journal. DOI: 10.1007_s00766-011-0144-x. 2011. [TAM1] Davis, F. D. (1989). Perceived usefulness, perceived ease of use, and user acceptance of information technology. MIS Quarterly 13:319-340. [TAM2] Venkatesh, V.; Davis, F. D. (2000). A theoretical extension of the technology acceptance model: Four longitudinal field studies. Management Science 46:186-204. [TAM3] Venkatesh, V.; Bala, H. (2008). Technology Acceptance Model 3 and a Research Agenda on Interventions. Decision Sciences 39(2): 273-315. [TTF] Goodhue, D. (1998). Development and Measurement Validity of a Task-Technology Fit Instrument for User Evaluations or Information Systems. Decision Sciences 29(1):105-138 [VMDD03] Venkatesh, V.; Morris, M. G.; Davis, G. B.; Davis, F. D. (2003). Use acceptance of information technology: Toward a unified view. MIS Quarterly 27:425-478. Zuletzt geändert: 27.04.2012 10:00 28/36
Deliverable D2.4.C: Evaluation des Ansatzes für die integrierte, modellbasierte Dokumentation von Anforderungen und Entwurf 7 Anhang A – Möglichkeiten zur domänenspezifischen Anpassung des RE-Ansatzes auf Basis der Ergebnisse von Fallbeispiel Flugsteuerungssystem In diesem Anhang werden Möglichkeiten zur domänenspezifischen Anpassung des Requirements Engineering-Ansatzes (im Folgenden RE-Ansatz genannt) aufgezeigt. Diese Anpassungsmöglichkeiten stellen keine Evaluation im eigentlichen Sinn dar, es sind generell Erkenntnisse die auf den gesammelten Erfahrungen bei der Modellierung eines Fallbeispiels basieren. Diese Erkenntnisse werden zusätzlich durch eine Bewertung von domänenerfahrenen Industriepartnern angereichert. Deswegen erschien es wertvoll die Anpassungsmöglichkeiten zusätzlich im Anhang zu beschrieben. Die vorgestellten Anpassungsmöglichkeiten sind das Ergebnis des Fallbeispiels Flugsteuerungssystem [SPES12b] und des das Fallbeispiel bewertenden Analysedokumentes [SPES12c]. Dieses Fallbeispiel ist eines der Fallbeispiele, die zur Evaluierung des RE-Ansatzes aufgesetzt wurden (siehe hierzu Abschnitt 2.3.1). Das Fallbeispiel Flugsteuerungssystem (auch „1-D Flight Control System Specification“ genannt) verfolgt das Ziel, Anforderungen an ein Avionik-System, ein beispielhaftes und in der Funktion reduziertes Flugsteuerungssystem, modellbasiert nach dem RE-Ansatz zu spezifizieren. Die speziellen Rahmenbedingungen der Avionik-Domäne stellen den als theoretische Grundlage dienenden RE-Ansatz vor neue Herausforderungen, da spezielle Sicherheitsanforderungen und darauf basierende Entwurfsentscheidungen bei der Modellierung berücksichtigt werden müssen. Nicht zuletzt spielen auch die umfangreichen Erfordernisse im Zusammenhang mit der Zertifizierung, entsprechend den in der Avionik vorgeschriebenen Sicherheitsstandards, eine wichtige Rolle. Die Erkenntnis, die aus der modellbasierten Spezifikation des Flugsteuerungssystems gewonnen wird, zeigt, dass der angewandte RE-Ansatz um einige domänenspezifische Aspekte der Avionik ergänzt bzw. angepasst werden sollte. Die Möglichkeiten zur Anpassung an domänenspezifische Avionikaspekte werden in diesem Anhang vorgestellt. Dieser Anhang ist folgenderweise aufgebaut: Im nächsten Abschnitt wird das Fallbeispiel Flugsteuerungssystem mit seinen Ergebnissen vorgestellt, wobei ein besonderes Augenmerk auf die Herausforderungen der sicherheitskritischen Avionik-Domäne gerichtet wird. Anschließend werden im Abschnitt 7.2 die Möglichkeiten zur Anpassung des RE-Ansatzes aufbauend auf den Ergebnissen und Erfahrungen, die im Fallbeispiel gesammelt worden sind, beschrieben. 7.1 Fallbeispiel Flugsteuerungssystem und die Herausforderungen der sicherheitskritischen Avionik-Domäne In diesem Abschnitt wird das Fallbeispiel Flugsteuerungssystem, sowie die mit der Domäne des Fallbeispiels verbundenen Herausforderungen beschrieben. Das Fallbeispiel ist Teil der übergeordneten Avionik-Fallstudie und gehört zum Teilbereich der Modellierung und frühen Validierung von Anforderungen. Das Fallbeispiel wurde von dem Unternehmen Liebherr Aerospace in Zusammenarbeit mit der Universität Duisburg-Essen getragen und ausgearbeitet. Das Fallbeispiel besteht aus folgenden vier Ergebnissen: (1) textuelle Spezifikation (2) modellbasierte Spezifikation (3) Beschreibung der modellbasierten Spezifikation [SPES12b] (4) Analyse der modellbasierten Spezifikation [SPES12c]. Das Fallbeispiel verfolgt das Ziel, Anforderungen an ein Avionik-System, hier ein beispielhaftes Flugsteuerungssystem, modellbasiert zu spezifizieren; dies bildet die Zuletzt geändert: 27.04.2012 10:00 29/36
Seite 1 und 2: - Deliverable D2.4.C: Evaluation de
Seite 3 und 4: Deliverable D2.4.C: Evaluation des
Seite 27: Deliverable D2.4.C: Evaluation des
Seite 35 und 36: - Fragebogen zur Evaluierung des in
Seite 37 und 38: Vielen Dank für Ihre Teilnahme an
Seite 39 und 40: ID Frage 53 11 46 55 Dem Ansatz feh
Seite 41 und 42: ID Frage 65 Ich kann auf Artefakte
Seite 43 und 44: Vielen Dank nochmals für Ihre Teil
Seite 45 und 46: EvaSys Paluno - The Ruhr Institute
Seite 47 und 48: EvaSys Paluno - The Ruhr Institute
Seite 51 und 52: Weitere Produktinformationen Erzeug
Seite 53 und 54: Inhalt 1 Einordnung und Kurzbeschre
Seite 55 und 56: 2 Einführung in die Modellierung v
Seite 57 und 58: Modellierungselemente, für die Zei
Seite 59 und 60: Abbildung 3-1 - Basic Message Seque
Seite 61 und 62: die Anordnung von Ereignissen (d.h.
Seite 63 und 64: die Definition der Semantik von Zei
Seite 65 und 66: nem beliebigen lposet p stets p ist
Seite 67 und 68: 3.4.5 Besonderheiten der High-Level
Seite 69 und 70: EA2) Die Ladebrücke darf früheste
Seite 71 und 72: Abbildung 4-2 - hMSC-Spezifikation
Seite 73 und 74: 5 Zusammenfassung In diesem Dokumen

download - SPES 2020

Erfolgreiche ePaper selbst erstellen

Template löschen?

Als Template speichern?