Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme
Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme
Automobile eingebettete Systeme sind komplexe verteilte Netzwerke, die aus zahlreichen Hardware- und Software-Teilsystemen bestehen. Viele Funktionalitten sind verteilt und knnen erst durch das Zusammenwirken mehrerer Teilsysteme erbracht werden. Der logische Architekturentwurf, in dem die Spezifikation der Netzwerkarchitektur sowie der verteilten Funktionalitten stattfindet, ist daher ein wesentlicher Bestandteil des Entwicklungsprozesses. Um den Qualittssicherungsaufwand zu verringern und hohe Produktqualitt zu erreichen, ist bereits beim Systementwurf eine Spezifikation von Verhalten und Funktionalitten wichtig, die keine Mehrdeutigkeiten zulsst und gleichzeitig przise Definition von Freirumen fr die weitere Systementwicklung ermglicht. David Trachtenherz entwickelt den Lsungsansatz der eigenschaftsorientierten Beschreibung der logischen Architektur eingebetteter Systeme, der eine przise deklarative Spezifikation funktionaler Eigenschaften mit whlbarem Grad der Abstraktion fr unterschiedliche Entwicklungsphasen und -ebenen ermglicht. Die Erstellung funktionaler Spezifikationen wird in diesem Ansatz durch strukturierende und veranschaulichende Darstellungstechniken untersttzt. An einer industriellen Fallstudie wird die praktische Anwendung der vorgestellten Konzepte demonstriert.
Price Comparison
Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
---|---|---|---|---|---|---|---|---|---|---|
BEST PRICE 1 Product Purchase
|
$69.99 | $69.99 |
|
$69.99 | See Site | In stock | Visit Store |