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
01.01.2011
6 pages
Aufsatz (Konferenz)
Elektronische Ressource
Deutsch
Fahrantriebe mit automotiver Steuerung
Kraftfahrwesen | 1981
|Integration automotiver Standards in die Seriencodegenerierung
Tema Archiv | 2002
|Beschleunigter Formenbau. Automotiver Modellbau geht neue Wege
Tema Archiv | 2003
Haertetest fuer Software - Validierung automotiver Software
Kraftfahrwesen | 2014
|