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
Aufsatz (Konferenz)
Elektronische Ressource
Deutsch
Integration automotiver Standards in die Seriencodegenerierung
British Library Conference Proceedings | 2002
|Precoated steel sheets for automotiver use
Tema Archiv | 1986
|Integration automotiver Standards in die Seriencodegenerierung
Tema Archiv | 2002
|Haertetest fuer Software - Validierung automotiver Software
Kraftfahrwesen | 2014
|