Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme
Trachtenherz, David
Produktnummer:
18ef668d4ead6a4e84b85442ab6c745ab6
| Autor: | Trachtenherz, David |
|---|---|
| Themengebiete: | Eigenschaftsorientierte Architekturmuster Informatik Logische Architektur Modellbasierte Entwicklung Softwarearchitektur Softwarearchitektur und Systementwurf Verifikation formale Spezifikation |
| Veröffentlichungsdatum: | 25.06.2010 |
| EAN: | 9783834810298 |
| Sprache: | Deutsch |
| Seitenzahl: | 431 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | Vieweg & Teubner |
Produktinformationen "Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme"
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 einen Lösungsansatz zur 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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen