Bitte beachten Sie, dass Sie eBooks nur über unseren Kooperationspartner Ciando beziehen können, so dass wir Sie, nachdem Sie auf unten stehenden Ciando-Link geklickt haben, auf dessen Seite weiterleiten.
eBooks können nicht im Rahmen unseres Dozentenservice als kostenfreie Prüfexemplare bezogen werden.
Dateigrösse: 3219 KB
eBooks können nicht im Rahmen unseres Dozentenservice als kostenfreie Prüfexemplare bezogen werden.
Dateigrösse: 3219 KB
Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme
2010. XVIII, 431 S. mit 65 Abb. u. 34 Tab. Mit einem Geleitwort von Prof. Dr. Dr. h.c. Manfred Broy. Br.ISBN: 978-3-8348-1029-8
eBook laden
69,95 €
Lieferbar, versandfertig in 3 Tagen
Bestellen- Das Buch
-
Automobile eingebettete Systeme sind komplexe verteilte Netzwerke, die aus zahlreichen Hardware- und Software-Teilsystemen bestehen. Viele Funktionalitäten sind verteilt und können erst durch das Zusammenwirken mehrerer Teilsysteme erbracht werden. Der logische Architekturentwurf, in dem die Spezifikation der Netzwerkarchitektur sowie der verteilten Funktionalitäten stattfindet, ist daher ein wesentlicher Bestandteil des Entwicklungsprozesses. Um den Qualitätssicherungsaufwand zu verringern und hohe Produktqualität zu erreichen, ist bereits beim Systementwurf eine Spezifikation von Verhalten und Funktionalitäten wichtig, die keine Mehrdeutigkeiten zulässt und gleichzeitig präzise Definition von Freiräumen für die weitere Systementwicklung ermöglicht.
David Trachtenherz entwickelt den Lösungsansatz der eigenschaftsorientierten Beschreibung der logischen Architektur eingebetteter Systeme, der eine präzise deklarative Spezifikation funktionaler Eigenschaften mit wählbarem Grad der Abstraktion für unterschiedliche Entwicklungsphasen und -ebenen ermöglicht. Die Erstellung funktionaler Spezifikationen wird in diesem Ansatz durch strukturierende und veranschaulichende Darstellungstechniken unterstützt. An einer industriellen Fallstudie wird die praktische Anwendung der vorgestellten Konzepte demonstriert. - Aus dem Inhalt
- Logische Architektur; Formale Grundlagen; Grundlagen eigenschaftsorientierter Architekturbeschreibung; Anschauliche Darstellung eigenschaftsorientierter Architekturspezifikation; Fallstudie ; Ströme und temporale Logik in Isabelle/HOL
- Zielgruppe
-
Wissenschaftler, Dozenten und Studenten der Informatik
Entwickler sowie Fach- und Führungskräfte in Bereichen Softwarearchitektur, Systementwurf, Spezifikation und Verifikation - Autor | Herausgeber
- Dr. David Trachtenherz promovierte bei Prof. Dr. Dr. h. c. Manfred Broy am Institut für Informatik der Technischen Universität München.
- Internetressourcen / E-Mails
-
E-Mailadresse des Autors
» trachten@in.tum.de
STICHWORTE, DIE AUF WEITERE PRODUKTE VERWEISEN
Ihr Warenkorb ist leer.
Lieferung
- Bücher liefern wir versandkostenfrei.
- Lieferbare Ware ist binnen 1-2 Arbeitstagen versandfertig.
- Die Lieferung erfolgt über Post/DHL.
- Nicht lieferbare Ware wird für Sie vorgemerkt.
- Bezahlen Sie bequem per Rechnung.
2 Wochen Widerrufsrecht
Bestellen ohne Risiko:Sollte Ihnen eine Lieferung einmal nicht gefallen, senden Sie sie uns binnen 14 Tagen nach Erhalt zurück.
Datenschutz
- Ihre Bestellung erreicht uns über eine gesicherte SSL-Verbindung.
- Wir erheben, verarbeiten und nutzen Ihre Daten zur Durchführung unseres Dienstes und der Pflege der laufenden Kundenbeziehung.
- Andere Unternehmen (z.B. Post/DHL) erhalten Ihre Daten nur zur Ausführung unseres Dienstes.
Kundenservice
Sie haben Fragen? Rufen Sie uns an:Telefon +49 (0) 611.7878-628
ALLE ZEITSCHRIFTEN
Springer DE
THEMENÜBERSICHT
INFORMATIONEN
