(DOWNLOAD) "Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme" by David Trachtenherz ~ Book PDF Kindle ePub Free
eBook details
- Title: Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme
- Author : David Trachtenherz
- Release Date : January 24, 2010
- Genre: Computers,Books,Computers & Internet,
- Pages : * pages
- Size : 14203 KB
Description
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.
Post a Comment for "(DOWNLOAD) "Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme" by David Trachtenherz ~ Book PDF Kindle ePub Free"