• Media type: E-Book
  • Title: Eingebettete Systeme : Entwurf, Modellierung und Synthese
  • Contributor: Bringmann, Oliver [VerfasserIn]; Lange, Walter [VerfasserIn]; Bogdan, Martin [VerfasserIn]
  • imprint: Berlin: De Gruyter Oldenbourg, [2018]
  • Published in: De Gruyter Studium
  • Issue: 3., durchgesehene und überarbeitete Auflage
  • Extent: 1 Online-Ressource (XIV, 428 Seiten); Illustrationen
  • Language: German
  • DOI: 10.1515/9783110518528
  • ISBN: 9783110518528
  • Identifier:
  • RVK notation: ST 153 : Embedded Systems
  • Keywords: Eingebettetes System > Systementwurf > Logiksynthese
    Eingebettetes System > Systementwurf > Logiksynthese
  • Origination:
  • Footnote:
  • Description: Dieses Buch ist eine Einführung in die wichtigsten Themen und Fragestellungen beim Entwurf von Eingebetteten und Cyber-Physischen Systemen. Ausgehend von den zugrundeliegenden Technologien, Prozessor- und Netzwerkarchitekturen werden Modellierungssprachen und moderne Ansätze zur Analyse und Synthese von eingebetteten Hardware/Software-Systemen vorgestellt. Einen breiten Raum nimmt das Gebiet Entwicklungsmethodik ein, das für Studierende sowie Informatiker und Ingenieure gedacht ist, die als Entwickler tätig werden wollen oder es bereits sind. Der Stoff wird anschaulich anhand vieler Bilder und Beispiele dargestellt. Dabei verzichten wir bewusst auf mathematische Beweise und Formalismen und setzen den Fokus auf die Darstellung aktueller Methoden und Ansätze aus Wissenschaft und Industrie mit hoher Praxisrelevanz. Somit kann der Text auch als Ergänzung für eine formalere Behandlung des Themas verwendet werden. Das Werk orientiert sich didaktisch an einer zweisemestrigen Vorlesung im Masterstudiengang der Universität Tübingen. Einzelne Kapitel können als getrennte Vorlesungseinheiten verwendet werden.