𝔖 Scriptorium
✦   LIBER   ✦

📁

Softwareentwicklung eingebetteter Systeme: Grundlagen, Modellierung, Qualitätssicherung

✍ Scribed by Peter Scholz (auth.)


Publisher
Springer-Verlag Berlin Heidelberg
Year
2005
Tongue
German
Leaves
239
Series
Xpert.press
Edition
1
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis


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.

✦ Table of Contents


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

✦ Subjects


Special Purpose and Application-Based Systems; Software Engineering; Computer Systems Organization and Communication Networks; Software Engineering/Programming and Operating Systems


📜 SIMILAR VOLUMES


Softwareentwicklung eingebetteter System
✍ Peter Scholz 📂 Library 📅 2005 🏛 Springer, Berlin 🌐 English

<P>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

Softwareentwicklung eingebetteter System
✍ Peter Scholz 📂 Library 📅 2005 🏛 Springer 🌐 English

<p><span>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 spie

Eingebettete Systeme: Grundlagen Eingebe
✍ Peter Marwedel 📂 Library 📅 2021 🏛 Springer Vieweg 🌐 English

<p><span>Ein Alleinstellungsmerkmal dieses Open-Access-Lehrbuchs ist die umfassende Einführung in das Grundlagenwissen über eingebettete Systeme mit Anwendungen in cyber-physischen Systemen und dem Internet der Dinge. Es beginnt mit einer Einführung in das Gebiet und eine Übersicht über Spezifikatio

Eingebettete Systeme: Entwurf, Modellier
✍ Walter Lange; Martin Bogdan; Thomas Schweizer 📂 Library 📅 2015 🏛 De Gruyter Oldenbourg 🌐 German

<p>This textbook provides an introduction to the most important themes related to embedded systems, including technologies, communications, microprocessors, system description languages, sensor networks, and high-level synthesis. Extensive attention is paid to development methodology. This part is p

Eingebettete Systeme: Entwurf, Modellier
✍ Oliver Bringmann; Walter Lange; Martin Bogdan 📂 Library 📅 2018 🏛 De Gruyter Oldenbourg 🌐 German

<p> This book provides an introduction to important themes in designing embedded systems. It gives particular attention to the areas of modelling, analysis, and the synthesis of hardware/software systems. The new edition examines the elements and demands of cyber-physical systems and covers the emer

Embedded Systems - qualitätsorientierte
✍ Klaus Bender 📂 Library 📅 2005 🏛 Springer, Berlin 🌐 English

<P>Technische Produkte ben?tigen zuverl?ssige Software, f?r die hohe Qualit?tsma?st?be gelten. F?r eingebettete Software ist die Beherrschung qualit?tssichernder Entwicklungsprozesse notwendig, um einen best?ndigen wirtschaftlichen Erfolg zu erreichen. Dabei m?ssen im gesamten Entwicklungszyklus Feh