Eigenschaftsorientierte Beschreibung Der Logischen Architektur Eingebetteter Systeme [German]

By David Trachtenherz

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.

• Format: Paperback
• Language: German
• ISBN: 3834810290
• ISBN13: 9783834810298
• Release Date: June 2010
• Publisher: Vieweg+teubner Verlag
• Length: 431 Pages