Dekorationsartikel gehören nicht zum Leistungsumfang.
Softwareentwicklung eingebetteter Systeme
Grundlagen, Modellierung, Qualitätssicherung
Buch von Peter Scholz
Sprache: Deutsch

56,99 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 2-3 Wochen

Kategorien:
Beschreibung
Eingebettete Systeme übernehmen komplexe Steuerungs- und Regelungsaufgaben für technische Systeme. Ihre Funktionalität wird durch das Zusammenspiel von Spezialhardware, Standardprozessoren, Peripherie und Software realisiert. Oft liegt der Schwerpunkt auf Hardware-Aspekten. Tatsächlich spielt der Softwareentwurf eine mindestens genauso wichtige Rolle beim Entwurf dieser Systeme. Hier setzt das Buch an und liefert einen guten Überblick über das Thema. Klassifikationen und Themen wie Nebenläufigkeit, Echtzeit und Echtzeitbetriebssysteme bilden die Grundlagen. Die Programmierung eingebetteter Systeme wird mit C++, Java sowie an den Beispielen von Esterel und Giotto erläutert. Ausgewählte Softwareentwurfstechniken wie Statecharts, hybride Systeme, UML und Hardware-Software Co-Design werden ausführlich vorgestellt. Eingebettete Systeme finden oft in sicherheitskritischen Bereichen Einsatz. Die Sicherung der Softwarequalität ist daher von zentraler Bedeutung und bildet einen weiteren wichtigen Teil des Buches.
Eingebettete Systeme übernehmen komplexe Steuerungs- und Regelungsaufgaben für technische Systeme. Ihre Funktionalität wird durch das Zusammenspiel von Spezialhardware, Standardprozessoren, Peripherie und Software realisiert. Oft liegt der Schwerpunkt auf Hardware-Aspekten. Tatsächlich spielt der Softwareentwurf eine mindestens genauso wichtige Rolle beim Entwurf dieser Systeme. Hier setzt das Buch an und liefert einen guten Überblick über das Thema. Klassifikationen und Themen wie Nebenläufigkeit, Echtzeit und Echtzeitbetriebssysteme bilden die Grundlagen. Die Programmierung eingebetteter Systeme wird mit C++, Java sowie an den Beispielen von Esterel und Giotto erläutert. Ausgewählte Softwareentwurfstechniken wie Statecharts, hybride Systeme, UML und Hardware-Software Co-Design werden ausführlich vorgestellt. Eingebettete Systeme finden oft in sicherheitskritischen Bereichen Einsatz. Die Sicherung der Softwarequalität ist daher von zentraler Bedeutung und bildet einen weiteren wichtigen Teil des Buches.
Zusammenfassung

Eingebettete Systeme übernehmen komplexe Steuerungs- und Regelungsaufgaben für technische Systeme, daher stehen Hardware-Fragen oft im Vordergrund. Tatsächlich spielt der Softwareentwurf eine mindestens genauso wichtige Rolle beim Entwurf dieser Systeme. Hier setzt das Buch an und liefert einen guten Überblick. Die Programmierung eingebetteter Systeme wird mit C++, Java sowie an den Beispielen von Esterel und Giotto vorgestellt. Ausgewählte Techniken zum Softwareentwurf für diese Systeme werden eingehend erläutert. Da es sich oft um sicherheitskritische Systeme handelt, deren Fehlfunktion ihre Umgebung massiv beeinträchtigen kann, nimmt die Sicherung der Softwarequalität einen weiteren Teil des Buches ein.

Inhaltsverzeichnis
Einleitung.- Motivation.- Klassifikation, Charakteristika.- Anwendungen, Beispiele und Branchen.- Begriffsdefinitionen.- Besondere Herausforderungen.- Nebenläufige Systeme.- Echtzeit und Echtzeitbetriebssysteme.- Echtzeitsysteme.- Ereignissteuerung versus Zeitsteuerung.- Aufbau und Aufgaben von Betriebssystemen.- Scheduling.- Beispiele für Echtzeitbetriebssysteme.- Programmierung eingebetteter Systeme.- Der Einsatz von C++ für eingebettete Systeme.- Der Einsatz von Java für eingebettete Systeme.- Ereignisbasierter Ansatz am Beispiel Esterel.- Zeitgesteuerter Ansatz am Beispiel Giotto.- Softwareentwurf eingebetteter Systeme.- Statecharts.- Die Unified Modelling Language (UML).- Hybride Systeme und hybride Automaten.- Hardware Software Co-Design.- Sicherung der Softwarequalität eingebetteter Systeme.- Motivation und Begriffe.- Zuverlässigkeit, Verfügbarkeit, Sicherheit, Risiko.- Risikomanagement.- Qualitätsmodelle.-Softwaremetriken.- Testen.- Manuelle Prüftechniken.- Verifikation
Details
Erscheinungsjahr: 2005
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
Seiten: 248
Reihe: Xpert.press
Inhalt: xii
232 S.
30 Fotos
ISBN-13: 9783540234050
ISBN-10: 3540234055
Sprache: Deutsch
Ausstattung / Beilage: HC runder Rücken kaschiert
Einband: Gebunden
Autor: Scholz, Peter
Auflage: 2005
Hersteller: Springer Berlin
Springer Berlin Heidelberg
Xpert.press
Maße: 241 x 160 x 19 mm
Von/Mit: Peter Scholz
Erscheinungsdatum: 13.04.2005
Gewicht: 0,541 kg
preigu-id: 102226855
Zusammenfassung

Eingebettete Systeme übernehmen komplexe Steuerungs- und Regelungsaufgaben für technische Systeme, daher stehen Hardware-Fragen oft im Vordergrund. Tatsächlich spielt der Softwareentwurf eine mindestens genauso wichtige Rolle beim Entwurf dieser Systeme. Hier setzt das Buch an und liefert einen guten Überblick. Die Programmierung eingebetteter Systeme wird mit C++, Java sowie an den Beispielen von Esterel und Giotto vorgestellt. Ausgewählte Techniken zum Softwareentwurf für diese Systeme werden eingehend erläutert. Da es sich oft um sicherheitskritische Systeme handelt, deren Fehlfunktion ihre Umgebung massiv beeinträchtigen kann, nimmt die Sicherung der Softwarequalität einen weiteren Teil des Buches ein.

Inhaltsverzeichnis
Einleitung.- Motivation.- Klassifikation, Charakteristika.- Anwendungen, Beispiele und Branchen.- Begriffsdefinitionen.- Besondere Herausforderungen.- Nebenläufige Systeme.- Echtzeit und Echtzeitbetriebssysteme.- Echtzeitsysteme.- Ereignissteuerung versus Zeitsteuerung.- Aufbau und Aufgaben von Betriebssystemen.- Scheduling.- Beispiele für Echtzeitbetriebssysteme.- Programmierung eingebetteter Systeme.- Der Einsatz von C++ für eingebettete Systeme.- Der Einsatz von Java für eingebettete Systeme.- Ereignisbasierter Ansatz am Beispiel Esterel.- Zeitgesteuerter Ansatz am Beispiel Giotto.- Softwareentwurf eingebetteter Systeme.- Statecharts.- Die Unified Modelling Language (UML).- Hybride Systeme und hybride Automaten.- Hardware Software Co-Design.- Sicherung der Softwarequalität eingebetteter Systeme.- Motivation und Begriffe.- Zuverlässigkeit, Verfügbarkeit, Sicherheit, Risiko.- Risikomanagement.- Qualitätsmodelle.-Softwaremetriken.- Testen.- Manuelle Prüftechniken.- Verifikation
Details
Erscheinungsjahr: 2005
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
Seiten: 248
Reihe: Xpert.press
Inhalt: xii
232 S.
30 Fotos
ISBN-13: 9783540234050
ISBN-10: 3540234055
Sprache: Deutsch
Ausstattung / Beilage: HC runder Rücken kaschiert
Einband: Gebunden
Autor: Scholz, Peter
Auflage: 2005
Hersteller: Springer Berlin
Springer Berlin Heidelberg
Xpert.press
Maße: 241 x 160 x 19 mm
Von/Mit: Peter Scholz
Erscheinungsdatum: 13.04.2005
Gewicht: 0,541 kg
preigu-id: 102226855
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte