Softwaretechnische Absicherung intelligenter Systeme im Fahrzeug
  "This article describes software engineering techniques to be used in order to ensure the necessary quality of intelligent and therefore massive software-based systems in vehicles. Quality assurance for intelligent software is achieved through a bundle of modern software engineering methods. Architecture and design patterns for securing the software components are supplemented by test concepts and frameworks for validation and checks of robustness of the implementation. These patterns describe established and therefore consolidated solutions for certain problems as for instance reliability or efficient execution.   --   Dieser Artikel skizziert, welche Software-Entwurfstechniken heute zum Einsatz kommen k\"onnen, um intelligente, Software-lastige Systeme im Fahrzeug abzusichern. Dabei spielt zun\"achst das Qualit\"atsmanagement durch Software-technische Ma{\ss}nahmen eine zentrale Rolle. Architektur- und Entwurfmuster f\"ur die Software-technische Absicherung von Komponenten werden erg\"anzt um Test-Konzepte zur Validierung von Spezifikationen und der Robustheit der Implementierung. Architekturen und Entwurfs-Muster beschreiben erprobte und damit konsolidierte L\"osungen f\"ur bestimmte Problemklassen wie etwa Zuverl\"assigkeit oder effiziente Ausf\"uhrung. 
Bernhard Rumpe, Christian Berger, Holger Krahn
cs.SE