Zum Hauptinhalt springen
Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Softwareentwicklung eingebetteter Systeme

Grundlagen, Modellierung, Qualitätssicherung

(Autor)

Buch | Hardcover
XII, 232 Seiten
2005
Springer Berlin (Verlag)
9783540234050 (ISBN)

Lese- und Medienproben

Softwareentwicklung eingebetteter Systeme - Peter Scholz
CHF 79,75 inkl. MwSt

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.

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

Erscheint lt. Verlag 13.4.2005
Reihe/Serie Xpert.press
Zusatzinfo XII, 232 S.
Verlagsort Berlin
Sprache deutsch
Maße 155 x 235 mm
Gewicht 490 g
Themenwelt Mathematik / Informatik Informatik Theorie / Studium
Schlagworte Betriebssystem • Echtzeit • Echtzeitbetriebssysteme • Echtzeitsystem • Echtzeitsysteme • Eingebettete Systeme • Embedded Systems • Hardcover, Softcover / Informatik, EDV/Informatik • HC/Informatik, EDV/Anwendungs-Software • HC/Informatik, EDV/Informatik • Java • Metriken • Modellierung • Reaktive Systeme • Regelung • Sicherheit • Sicherheitskritische Softwaresysteme • Software engineering • Software Engineering / Softwareentwicklung • Softwareentwicklung • unified modeling language (UML)
ISBN-13 9783540234050 / 9783540234050
Zustand Neuware
Informationen gemäß Produktsicherheitsverordnung (GPSR)
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
was jeder über Informatik wissen sollte

von Timm Eichstädt; Stefan Spieker

Buch | Softcover (2024)
Springer Vieweg (Verlag)
CHF 53,15
Grundlagen – Anwendungen – Perspektiven

von Matthias Homeister

Buch | Softcover (2022)
Springer Vieweg (Verlag)
CHF 53,15
Teil 2 der gestreckten Abschlussprüfung Fachinformatiker/-in …

von Dirk Hardy; Annette Schellenberg; Achim Stiefel

Buch | Softcover (2025)
Europa-Lehrmittel (Verlag)
CHF 37,90