Skip to main content
SpringerLink
Log in

Modellbasierte Anforderungsanalyse mit AutoRAID

Molecular defense mechanisms of Barretts metaplasia estimated by an integrative genomics

  • Reguläre Beiträge
  • Published:
Informatik - Forschung und Entwicklung

Zusammenfassung

Wesentliche Aufgabe der Gestaltung eingebetteter Systeme ist die systematische Erarbeitung funktionaler Systemanforderungen und deren entsprechende Integration in die Umgebung des technischen Gesamtsystems. Herausforderung hierbei sind die Abstimmung der vielfältigen, oft vagen und widersprüchlichen Anforderungen und die schrittweise Konstruktion einer der Problemstellung angemessenen Systemspezifikation. Dazu definiert die hier vorgestellte modellbasierte Anforderungsanalyse und Systemdefinition mit dem Requirements Management-Werkzeug AutoRAID einem strukturierten Modellierungsansatz, der die zielorientierte Erarbeitung und Abstimmung der verschiedenen Anforderungen mithilfe grundlegender Systemmodellierungssichten unterstützt. Mit Hilfe der entsprechenden iterativen Überprüfung und Konsolidierung entwickelter Anforderungs- und Designmodelle wird mit diesem Ansatz eine integrierte Anforderungs- und Systemspezifikation realisiert.

Abstract

When developing embedded systems, it is essential to systematically define functional requirements in agreement with the restrictions imposed by the organizational and technical aspects of the overall system. A main challenge is here to obtain an adequate definition of the system by coordinating different views, ranging from customer-oriented goals and requirements constraints of the technical design. According to that challenges we introduce our model-based requirements analysis and system design approach and its supporting Requirements Management tool AutoRAID. Core concept is a structured modelling approach that systematically supports the stepwise, goal oriented refinement and integration of the various requirements with the help of various system views.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Literatur

  1. AutoRAID Webseite: http://wwwbroy.in.tum.de/∼autoraid/

  2. AutoFocus: AutoFocus – A CASE tool for Requirements, Design, Code Generation and Simulation. http://www4../∼af2 (2006)

  3. Braun P, Lötzbeyer H, Schätz B, Slotosch O, Consistent Integration of Formal Methods. In: Proc. &th Int. Conf. On Tools fort he Analysis of Correct Systems (TACAS), LNCS 2280, 2006

  4. Denger C, Paech B, An Integrated Quality Assurance Approach for Use Case Based Requirements. In: Rumpe B, Hesse W (eds) Modellierung 2004, Springer, LNI, 2004

  5. DOORS: Requirements Management Werkzeug DOORS von Telelogic. Homepage: http://www.telelogic.de/products/doors/index.cfm

  6. Friske M, Pirk H, Werkzeuggestützte interactive Formalisierung textueller Anwendungsfallbeschreibungen für den Systemtest. In: Informatik 2005, Springer, LNI 68, 2005

  7. Geisberger E, Requirements Engineering Eingebetteter Systeme – ein interdisziplinärer Modellierungsansatz. Dissertation, Technische Universität München, 2005. Shaker Verlag, ISBN: 3-8322-4619-3, www.shaker-online.com/

  8. IEEE Software Engineering Committee of the Computer Society, IEEE Guide for Software Requirements Specifications (ANSI). IEEE Comp Soc (1998) IEEE Standard 830 1998

  9. Haumer P, Jarke M, Pohl K, Weidenhaupt K, Scenarios in System Development: Current Practice. IEEE Softw 15:34–45 (1998)

    Google Scholar 

  10. Kotonya G, Sommerville I, Requirements Engineering With Viewpoints. Technical Report, Lancester Univ., 1995

  11. Kotonya G, Sommerville I, Requirements Engineering: Processes and Techniques. Wiley & Sons, 1998

  12. Kruchten P, The 4+1 View Model of Architecture. IEEE Comp Soc Press, 1995

  13. Van Lamsweerde A, Goal-Oriented Requirements Engineering: A Guided Tour. RE’01 – 5th IEEE Int. Symposium on Requirements Engineering, Toronto 2001, pp. 249–263

  14. Leite L, Freeman P, Requirements Validation Through Viewpoint Resolution. IEEE Trans Softw Eng, 1991

  15. OSRMT: Open Source Requirements Management Tool (2006) http://osrmt.com/

  16. RequisitePro: Requirements Management Werkzeug RequistePro, IBM Rational. Homepage: http://www.ibm.com/software/awdtools/reqpro/

  17. Sommerville I, Sawyer P, Viewpoints for Requirements Elicitation: A Practical Approach. IEEE Int. Conf. on Requirements Engineering, IEEE Press, 1998

  18. Wild D, AutoFocus 2 – Das Bilderbuch. Technische Universität München, Technical Report: TUM-I0610, May 2006

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Technische Universität München, Boltzmannstr. 3, 85748, Garching, Germany

    Eva Geisberger & Bernhard Schätz

Authors
  1. Eva Geisberger
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bernhard Schätz
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Eva Geisberger.

Additional information

CR subject classification

D.2.1, D.2.2

Rights and permissions

Reprints and permissions

About this article

Cite this article

Geisberger, E., Schätz, B. Modellbasierte Anforderungsanalyse mit AutoRAID . Informatik Forsch. Entw. 21, 231–242 (2007). https://doi.org/10.1007/s00450-007-0021-5

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00450-007-0021-5

Schlagworte

Keywords

Search

Navigation