Viele Herausforderungen in Automotiv sind diskreter Natur, und lassen sich daher besonders geeignet mit ereignisdiskreten Modellen formal wiedergeben und handhaben. Die Auswahl an ereignisdiskreten Modellierungstechniken ist vielfältig, was sich z.B. in den Unterschieden in Syntax und Semantik und folglich in der Komplexität und Klassifizierung deutlich macht. Im vorliegenden Beitrag wird diese Vielfalt als Motivation aufgefasst, um das Phänomen im Ursprung zu betrachten, nämlich in den Axiomen. Es werden Modellierungsaxiome aufgestellt und daraus prädikatenlogische Definitionen, Sätze und Beweise abgeleitet, und schließlich eine automatentheoretische Kompositionsvorschrift vorgestellt. Der Beitrag setzt mit dem praktischen Teil der Verwendung der Komposition fort. Die Syntax, Semantik, Eigenart, Mächtigkeit und Komplexität der Komposition werden anhand einer Fallstudie unter Beweis gestellt, und die Ergebnisse diskutiert.
Axiomatischer Modellierungsansatz automotiver Systeme
AmE 2011 - Automotive meets Electronics - Beiträge der 2. GMM-Fachtagung ; 2011 ; Dortmund, Germany
2011-01-01
6 pages
Conference paper
Electronic Resource
German
Fahrantriebe mit automotiver Steuerung
Automotive engineering | 1981
|Integration automotiver Standards in die Seriencodegenerierung
Tema Archive | 2002
|Beschleunigter Formenbau. Automotiver Modellbau geht neue Wege
Tema Archive | 2003
Automatisierter HIL Test im Entwicklungsprozess vernetzter, automotiver Elektroniksysteme
Automotive engineering | 2004
|