Bibliografische Daten
ISBN/EAN: 9783540234050
Sprache: Deutsch
Umfang: xii, 232 S., 30 Fotos
Format (T/L/B): 2.4 x 24.1 x 16.2 cm
Einband: gebundenes Buch
Beschreibung
InhaltsangabeNebenläufige Systeme.- Echtzeit, Echtzeitsysteme, Echtzeitbetriebssysteme.- Programmierung eingebetteter Systeme.- Softwareentwurf eingebetteter Systeme.- Softwarequalität eingebetteter Systeme.- Vorgehensmodelle und Standards der Entwicklung.- Schlussbemerkungen.
Produktsicherheitsverordnung
Hersteller:
Springer Verlag GmbH
juergen.hartmann@springer.com
Tiergartenstr. 17
DE 69121 Heidelberg
Inhalt
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