Softwareentwicklung Eingebetteter Systeme: Grundlagen, Modellierung, Qualitätssicherung

ISBN-13: 9783540234050 / Niemiecki / Book / 2005

Peter Scholz

Opis

Eingebettete Systeme ubernehmen komplexe Steuerungs- und Regelungsaufgaben fur technische Systeme. Ihre Funktionalitat wird durch das Zusammenspiel von Spezialhardware, Standardprozessoren, Peripherie und Software realisiert. Oft liegt der Schwerpunkt auf Hardware-Aspekten. Tatsachlich spielt der Softwareentwurf eine mindestens genauso wichtige Rolle beim Entwurf dieser Systeme. Hier setzt das Buch an und liefert einen guten Uberblick uber das Thema. Klassifikationen und Themen wie Nebenlaufigkeit, Echtzeit und Echtzeitbetriebssysteme bilden die Grundlagen. Die Programmierung eingebetteter Systeme wird mit C++, Java sowie an den Beispielen von Esterel und Giotto erlautert. Ausgewahlte Softwareentwurfstechniken wie Statecharts, hybride Systeme, UML und Hardware-Software Co-Design werden ausfuhrlich vorgestellt. Eingebettete Systeme finden oft in sicherheitskritischen Bereichen Einsatz. Die Sicherung der Softwarequalitat ist daher von zentraler Bedeutung und bildet einen weiteren wichtigen Teil des Buches.

Spis treści

Nebenläufige Systeme.- Echtzeit, Echtzeitsysteme, Echtzeitbetriebssysteme.- Programmierung eingebetteter Systeme.- Softwareentwurf eingebetteter Systeme.- Softwarequalität eingebetteter Systeme.- Vorgehensmodelle und Standards der Entwicklung.- Schlussbemerkungen.

Blurb

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.