Advertisement

Informatik-Spektrum

, Volume 41, Issue 5, pp 311–316 | Cite as

Verlässliche Software im 21. Jahrhundert

  • Stefan Wagner
  • Matthias Tichy
  • Michael Felderer
  • Stefan Leue
ZUR DISKUSSION GESTELLT SOFTWARE IM 21. JAHRHUNDERT

Zusammenfassung

Software ist Innovationstreiber in vielen verschiedenen Bereichen, von Cloud-Diensten über autonomes Fahren bis hin zu medizinischen Geräten und dem hochautomatisierten Aktienhandel. Allen diesen Bereichen ist gemeinsam, dass sie hohe Anforderungen an die Verlässlichkeit der Software stellen. Im Rahmen dieses Papiers diskutieren wir anhand von verschiedenen Beispielen neue Herausforderungen und mögliche Lösungswege, welche diese Bereiche an die Sicherstellung der Verlässlichkeit stellen. Wir unterscheiden bei diesen Herausforderungen sowohl Eigenschaften der Systeme, wie beispielsweise offene Systeme und ad-hoc Strukturen, als auch neue Aspekte der Verlässlichkeit, wie Nachvollziehbarkeit.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Avizienis A, Laprie JC, Randell B, Landwehr C (2004) Basic concepts and taxonomy of dependable and secure computing. IEEE Trans Dependable Secur Comput 1(1):11–33CrossRefGoogle Scholar
  2. 2.
    Bengtsson J, Yi W (2004) Timed automata: semantics, algorithms and tools. In: Desel J, Reisig W, Rozenberg G (eds) Lecture notes on concurrency and petri nets. LNCS 3098. Springer, Heidelberg, pp 87–124Google Scholar
  3. 3.
    Bonnefon JF, Shariff A, Rahwan I (2016) The social dilemma of autonomous vehicles. Science 352(6293):1573–1576CrossRefGoogle Scholar
  4. 4.
    Carrns A (2015) Credit scores are rising, and becoming more visible. The New York Times dated 20.8.2015Google Scholar
  5. 5.
    de Lemos R, Garlan D, Ghezzi C, Giese H (2017) Software Engineering for Self-Adaptive Systems III. Assurances – International Seminar, Dagstuhl Castle, Germany, December 15–19, 2013. Revised Selected and Invited Papers. Lecture Notes in Computer Science 9640. Springer, HeidelbergGoogle Scholar
  6. 6.
    Dowideit A (2015) Roboter pflegen Alte billiger – und unmenschlicher. Die Welt vom 8.9.2015Google Scholar
  7. 7.
    DIN EN 50128 (2011) Bahnanwendungen – Telekommunikationstechnik, Signaltechnik und Datenverarbeitungssysteme – Software für Eisenbahnsteuerungs- und Überwachungssysteme; Deutsche FassungGoogle Scholar
  8. 8.
    IEC 61508 (2010) Functional Safety of Electrical/Electronic/Programmable Electronic Safety-Related Systems, 2.0Google Scholar
  9. 9.
    ISO 26262 (2011) Road Vehicles – Functional SafetyGoogle Scholar
  10. 10.
    Jüngling T (2015) Die große Vermessung der eigenen Gesundheit. Die Welt vom 30.1.2015Google Scholar
  11. 11.
    Kwiatkowska M, Norman G, Parker D (2011) PRISM 4.0: Verification of probabilistic real-time systems. In: Proc. 23rd International Conference on Computer Aided Verification (CAV’11). LNCS 6806. Springer, Heidelberg, pp 585–591Google Scholar
  12. 12.
    Leveson N (2011) Engineering a Safer World: Systems Thinking Applied to Safety. Mit Press, CambridgeGoogle Scholar
  13. 13.
    Matsakis ND, Klock II FS (2014) The Rust Language. ACM SIGAda Ada Letters 34(3). ACM, New YorkGoogle Scholar
  14. 14.
    MISRA (2004) MISRA-C:2004 – Guidelines for the Use of the C Language in Critical SystemsGoogle Scholar
  15. 15.
    RTCA/DO-178C (2011) Software Considerations in Airborne Systems and Equipment Certification. RTCA, Inc.Google Scholar
  16. 16.
    Siedenbiedel C (2015) Der Mann, der die Wall Street in die Knie zwang. Frankfurter Allgemeine Zeitung vom 27.4.2015Google Scholar
  17. 17.
    Storey N (1996) Safety Critical Computer Systems. Addison-Wesley, BostonGoogle Scholar
  18. 18.
    Utting M, Legeard B (2010) Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann, BurlingtonGoogle Scholar
  19. 19.
    Wahlster W (2017) Künstliche Intelligenz als Grundlage autonomer Systeme. Informatik-Spektrum 40(5):409–418CrossRefGoogle Scholar

Copyright information

© Springer-Verlag GmbH Deutschland, ein Teil von Springer Nature 2018

Authors and Affiliations

  • Stefan Wagner
    • 1
  • Matthias Tichy
    • 2
  • Michael Felderer
    • 3
  • Stefan Leue
    • 4
  1. 1.Universität StuttgartStuttgartDeutschland
  2. 2.Universität UlmUlmDeutschland
  3. 3.Universität InnsbruckInnsbruckÖsterreich
  4. 4.Universität KonstanzKonstanzDeutschland

Personalised recommendations