Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Software Engineering for Aerospace: State of the Art Kapitel lesen Erstes Kapitel lesen

2014 | OriginalPaper | Buchkapitel

3. Autonomy Requirements Engineering

verfasst von : Emil Vassev, Mike Hinchey

Erschienen in: Autonomy Requirements Engineering for Space Missions

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

This chapter draws upon the discussion and results presented in the previous two chapters to define and outline an Autonomy Requirements Engineering (ARE) method. ARE targets the integration and promotion of autonomy in unmanned space missions by providing a mechanism and methodology for elicitation and expression of autonomy requirements. ARE relies on goal-oriented requirements engineering to elicit and define the system goals, and uses the generic autonomy requirements model to derive and define assistive and eventually alternative objectives. The system may pursue these “self-* objectives” in the presence of factors threatening the achievement of the initial system goals. Once identified, the autonomy requirements are specified with the KnowLang language. A proof-of-concept case study demonstrating the ARE’s ability to handle autonomy requirements is presented and discussed in detail. The presented case study is a requirements engineering case study on the discovery and expression of autonomy requirements for ESA’s BepiColombo Mission.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Handling Autonomy Requirements for ESA Systems
Nächstes Kapitel Verification and Validation of Autonomy Requirements
Fußnoten
1
Nutation damper is a device on board a rotating spacecraft which reduces the amplitude of motions arising from perturbing torques. Despite the words used in the term, a nutation damper reduces precession as well as nutation. (ENCYCLO—Online Encyclopedia, http://​www.​encyclo.​co.​uk).
 
2
Note that targets might be considered as a distinct class of actors.
 
3
Total amount of solar radiation transmitted to the surface of the Earth’s atmosphere in a given unit of time.
 
4
The Bellman optimality principle: If a given state-action sequence is optimal, and we were to remove the first state and action, the remaining sequence is also optimal (with the second state of the original sequence now acting as initial state).
 
Literatur
1.
Amoroso, E.: Fundamentals of Computer Security. Prentice-Hall, Upper Saddle River (1994)
2.
Anton, A., Potts, C.: The use of goals to surface requirements for evolving systems. In: Proceedings of the 20th International Conference on Software Engineering (ICSE-98), Kyoto. IEEE Computer Society (1998)
3.
4.
Benkhoff, J.: BepiColombo: overview and latest updates. European Planetary Science Congress, EPSC Abstracts 7 (2012)
5.
Boehm, H., Rodgers, B., Deutsch, T.M.: Applying WinWin to quality requirements: a case study. In: Proceedings of the 23rd International Conference on Software Engineering, pp. 555–564 (2001)
6.
Bubenko, J., Rolland, C., Loucopoulos, P., de Antonellis, V.: Facilitating "fuzzy to formal" requirements modeling. In: Proceedings of the IEEE 1st Conference on Requirements Engineering (ICRE94), pp. 154–158. IEEE (1994)
7.
Chung, L., Nixon, B., Yu, E., Mylopoulos, J. (eds.): Non-Functional Requirements in Software Engineering. Kluwer Academic, Boston (2000)
8.
Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Sci. Comput. Prog. Elsevier 20, 3–50 (1993)MATHCrossRef
9.
10.
11.
12.
ESA: BepiColombo—the interdisciplinary cornerstone mission to the planet Mercury—an overview of the system and technology study. ESA, BR-165 (2000)
13.
Ewens, W.J., Grant, G.R.: Statistical Methods in Bioinformatics, 2nd edn, Chap. Stochastic processes (i): poison processes and Markov Chains. Springer, New York (2005)
14.
Feather, M.S., Cornford, S.L., Dunphy, J., Hicks, K.: A quantitative risk model for early lifecycle decision making. In: Proceedings of the Conference on Integrated Design and Process Technology, Pasadena, California, USA (2002)
15.
Fortescue, P., Swinerd, G., Stark, J. (eds.): Spacecraft Systems Engineering. Wiley, Chichester (2011)
16.
Grard, R., Novara, M., Scoon, G.: BepiColombo—a multidisciplinary mission to a hot planet. ESA Bull. 103, 11–19 (2000)
17.
Haumer, P., Pohl, K., Weidenhaupt, K.: Requirements elicitation and validation with real world scenes. In: IEEE Transactions on Software Engineering, Special Issue on Scenario Management, pp. 1036–1054 (1998)
18.
19.
Kazman, R., Barbacci, M., Klein, M., Carriere, S.J.: Experience with performing architecture tradeoff analysis. In: Proceedings of ICSE99, Los Angeles, CA, USA, pp. 54–63 (1999)
20.
Kirwan, B., Ainsworth, L.K.: A Guide to Task Analysis. CRC Press, Boca Raton (1992)
21.
Lamsweerde, A., van Letier, E.: Handling obstacles in goal-oriented requirements engineering. In: IEEE Transactions on Software Engineering, Special Issue on Exception Handling (2000)
22.
Leveson, N.G.: Safeware: System Safety and Computers. ACM Press, New York (1995)
23.
24.
Mylopoulos, J., Chung, K.L., Yu, E.: From object-oriented to goal-oriented requirements analysis. Comm. ACM 42(1), 31–37 (1999)CrossRef
25.
Nixon, B.A.: Dealing with performance requirements during the development of information systems. In: Proceedings of the 1st International IEEE Symposium on Requirements Engineering (RE93), pp. 42–49. IEEE (1993)
26.
Novara, M.: The BepiColombo ESA cornerstone mission to Mercury. Acta Astronaut. 51(1–9), 387–395 (2002)CrossRef
27.
Nuseibeh, B., Kramer, J., Finkelstein, A.: A framework for expressing the relationships between multiple views in requirements specification. IEEE Trans. Softw. Eng. 20, 760–773 (1994)CrossRef
28.
Pumfrey, D.J.: The principled design of computer system safety analyses. Ph.D. thesis, University of York (1999)
29.
Robinson, W.N.: Integrating multiple specifications using domain goals. In: Proceedings of the 5th International Workshop on Software Specification and Design (IWSSD-5), pp. 219–225. IEEE (1989)
30.
Rolland, C., Souveyet, C., Achour, C.B.: Guiding goal-modeling using scenarios. In: IEEE Transactions on Software Engineering, Special Issue on Scenario Management, pp. 1055–1071 (1998)
31.
Ross, D., Schoman, K.: Structured analysis for requirements definition. IEEE Trans. Softw. Eng. 3(1), 6–15 (1977)CrossRef
32.
33.
van Lamsweerde, A., Darimont, R., Letier, E.: Managing conflicts in goal-driven requirements engineering. In: IEEE Transactions on Software Engineering, Special Issue on Inconsistency Management in Software Development (1998)
34.
van Lamsweerde, A., Darimont, R., Massonet, P.: Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt. In: Proceedings of the 2nd International IEEE Symposium on Requirements Engineering, pp. 194–203. IEEE Computer Society (1995)
35.
van Lamsweerde, A.: Requirements engineering in the Year 00: a research perspective. In: Proceedings of the 22nd IEEE International Conference on Software Engineering (ICSE-2000), pp. 5–19. ACM (2000)
36.
Vassev, E., Hinchey, M.: Knowledge representation for cognitive robotic systems. In: Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISCORCW 2012), pp. 156–163. IEEE Computer Society (2012)
37.
Vassev, E., Hinchey, M.: ASSL: a software engineering approach to autonomic computing. IEEE Comput. 42(6), 106–109 (2009)CrossRef
38.
Wertz, J., Larson, W. (eds.): Space Mission Analysis and Design. Microcosm Press, Hawthorne (1999)
39.
Yamakawa, H., et al.: Current status of the BepiColombo/MMO spacecraft design. Adv. Space Res. 33(12), 2133–2141 (2004)CrossRef
Metadaten
Titel
Autonomy Requirements Engineering
verfasst von
Emil Vassev
Mike Hinchey
Copyright-Jahr
2014
Buch
Autonomy Requirements Engineering for Space Missions

Print ISBN: 978-3-319-09815-9

Electronic ISBN: 978-3-319-09816-6

Copyright-Jahr: 2014

DOI
https://doi.org/10.1007/978-3-319-09816-6_3