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.
References
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–33
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–124
Bonnefon JF, Shariff A, Rahwan I (2016) The social dilemma of autonomous vehicles. Science 352(6293):1573–1576
Carrns A (2015) Credit scores are rising, and becoming more visible. The New York Times dated 20.8.2015
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, Heidelberg
Dowideit A (2015) Roboter pflegen Alte billiger – und unmenschlicher. Die Welt vom 8.9.2015
DIN EN 50128 (2011) Bahnanwendungen – Telekommunikationstechnik, Signaltechnik und Datenverarbeitungssysteme – Software für Eisenbahnsteuerungs- und Überwachungssysteme; Deutsche Fassung
IEC 61508 (2010) Functional Safety of Electrical/Electronic/Programmable Electronic Safety-Related Systems, 2.0
ISO 26262 (2011) Road Vehicles – Functional Safety
Jüngling T (2015) Die große Vermessung der eigenen Gesundheit. Die Welt vom 30.1.2015
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–591
Leveson N (2011) Engineering a Safer World: Systems Thinking Applied to Safety. Mit Press, Cambridge
Matsakis ND, Klock II FS (2014) The Rust Language. ACM SIGAda Ada Letters 34(3). ACM, New York
MISRA (2004) MISRA-C:2004 – Guidelines for the Use of the C Language in Critical Systems
RTCA/DO-178C (2011) Software Considerations in Airborne Systems and Equipment Certification. RTCA, Inc.
Siedenbiedel C (2015) Der Mann, der die Wall Street in die Knie zwang. Frankfurter Allgemeine Zeitung vom 27.4.2015
Storey N (1996) Safety Critical Computer Systems. Addison-Wesley, Boston
Utting M, Legeard B (2010) Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann, Burlington
Wahlster W (2017) Künstliche Intelligenz als Grundlage autonomer Systeme. Informatik-Spektrum 40(5):409–418
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Wagner, S., Tichy, M., Felderer, M. et al. Verlässliche Software im 21. Jahrhundert. Informatik Spektrum 41, 311–316 (2018). https://doi.org/10.1007/s00287-018-1118-x
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00287-018-1118-x