Softwareentwicklung eingebetteter Systeme: Grundlagen, Modellierung, Qualitätssicherung

Description

Eingebettete Systeme übernehmen komplexe Steuerungs-, Regelungs- und Datenverarbeitungsaufgaben für ihre technische Umgebung. Ihre Funktionalität wird durch das Zusammenspiel von Spezialhardware, Standardprozessoren, Peripherie und Software realisiert. Oft liegt der Schwerpunkt der Betrachtungen bei ihrer Entwicklung auf Hardwareaspekten. Tatsächlich spielen Softwareaspekte eine mindestens ebenso wichtige Rolle bei der Entwicklung. Hier setzt das Buch an und liefert einen guten Überblick über das Thema. Klassifikationen und zentrale Themen wie Nebenläufigkeit, Echtzeit und Echtzeitbetriebssysteme bilden die Grundlagen. Anhand der Sprachen C++, Java, Esterel, Giotto und Lustre wird die Programmierung eingebetteter Systeme erläutert. Mit Statecharts, UML, hybriden Systemen und Automaten sowie Hardware/Software-Codesign werden ausgewählte Techniken zum Softwareentwurf für diese Systeme vorgestellt. Bei eingebetteten Systemen handelt es sich oft um sicherheitskritische Systeme, deren Fehlfunktion ihre Umgebung massiv beeinträchtigen kann. Die Sicherung der Softwarequalität ist daher von zentraler Bedeutung und nimmt einen weiteren wichtigen Teil des Buches ein. Einleitung....Pages 1-26 Nebenläufige Systeme....Pages 27-37 Echtzeit, Echtzeitsysteme, Echtzeitbetriebssysteme....Pages 39-73 Programmierung eingebetteter Systeme....Pages 75-137 Softwareentwurf eingebetteter Systeme....Pages 139-171 Softwarequalität eingebetteter Systeme....Pages 173-200 Vorgehensmodelle und Standards der Entwicklung....Pages 201-218 Schlussbemerkungen....Pages 219-221