Download Eigenschaftsorientierte Beschreibung der logischen by David Trachtenherz PDF

By David Trachtenherz

Automobile eingebettete Systeme sind komplexe verteilte Netzwerke, die aus zahlreichen undefined- 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.

Show description

Read Online or Download Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme PDF

Best german_6 books

Kundenorientierung im Innovationsprozess: Die erfolgreiche Integration von Kunden in den frühen Phasen der Produktentwicklung

Erfolg auf dem Markt ist nur den Produktinnovationen beschieden, die den Anforderungen der Kunden entsprechen. Deshalb gilt es, schon frühzeitig den Kontakt mit den Kunden aufzunehmen und alle Entwicklungsaktivitäten auf ihre Bedürfnisse auszurichten. Sybille V. Reichart gibt einen Überblick über theoretische Konzepte zum Verlauf von Produktinnovationen und analysiert die Rolle der Kunden.

Einsatz und Bewertung von Exotischen Optionen

Exotische Optionen bieten die Möglichkeit zu maßgeschneiderter und kostengünstiger Absicherung oder Spekulation. Ihre praktische Anwendung hängt entscheidend von der genauen Bewertung ab. Da in vielen Fällen eine unmittelbare analytische Lösung nicht möglich ist, kommt den numerischen Bewertungsverfahren immer größere Bedeutung zu.

Mediendemokratie im Medienland: Inszenierungen und Themensetzungsstrategien im Spannungsfeld von Medien und Parteieliten am Beispiel der nordrhein-westfälischen Landtagswahl 2000

Ist Deutschland tatsächlich auf dem Weg in die ,Mediendemokratie' und hin zu einer Amerikanisierung des Verhältnisses zwischen Politik(ern) und Medien? Am Beispiel der nordrhein-westfälischen Landtagswahl 2000 will die Studie diese Frage beantworten. Es wird gezeigt, in welchem Umfang die Parteieliten im komplexen Wechselspiel zwischen Mediensystem und politischem method an Macht gewinnen und wie sich die veränderten Formen politischer Kommunikation auf innerparteiliche Willensbildungsprozesse, auf die Planung und Gestaltung von Wahlkämpfen und nicht zuletzt auch auf die Wahrnehmung durch die Bevölkerung auswirken.

Additional info for Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme

Sample text

Für einen Strom s ∈ M ω stellt s↓k die Kommunikationsgeschichte vor dem Zeitpunkt k und s↑k die Kommunikationsgeschichte ab dem Zeitpunkt k dar. Wir definieren einen weiteren Operator. Für einen gezeiteten Strom s ist seine Zeitabstraktion s der ungezeitete Strom, der sich aus s ergibt, indem Zeitangaben entfernt werden – die Reihenfolge der Nachrichten bleibt erhalten. 31) m s Beispielsweise ist die Zeitabstraktion des Stroms s = a, b, c , b , c gleich dem ungezeiteten Strom s = a, b, c, b, c , in dem keine Informationen über den Zeitpunkt des Auftretens einer Nachricht mehr enthalten sind.

Der Typ kann sich aus expliziter Typangabe oder durch Typinferenz ergeben. • Die Logik ist zweiwertig, d. , jeder boolesche Ausdruck (Variable oder boolesche Formel) kann als Ergebnis nur den booleschen Wert True oder False liefern. • Alle Funktionen sind total. Partielle Funktionen werden mithilfe des ausgezeichneten Elements ⊥ (Bottom) totalisiert, das als Ergebnis für Argumente zurückgegeben wird, für welche die Funktion nicht definiert ist. Zur besseren Lesbarkeit von Formeln können mehrere Transformationen und Konstrukte verwendet werden: • Variablensubstitution: Für eine Formel P bezeichnen wir mit P [vt ] die Formel, in der alle freien Vorkommen der Variablen v durch den Term t ersetzt wurden.

Beide Definitionen sind gleich mächtig, da jeder Strom in der Tick-Notation in einen Strom in der Sequenz-Notation und umgekehrt transformiert werden kann: • Ein Strom in der Tick-Notation mit n ∈ N∞ Ticks, aufsteigend nummeriert mit Beginn bei 0, wird in einen Strom in der Sequenz-Notation überführt, indem für jedes i ∈ [0 . . n) der Teilstrom zwischen den Ticks mit den Nummern i − 1 und i (bzw. zwischen Strombeginn und Tick Nummer 0 für i = 0) zur i-ten Sequenz des Stroms in der Sequenz-Notation wird.

Download PDF sample

Download Eigenschaftsorientierte Beschreibung der logischen by David Trachtenherz PDF
Rated 4.91 of 5 – based on 5 votes