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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Axiomatischer Modellierungsansatz automotiver Systeme


    Contributors:

    Conference:

    AmE 2011 - Automotive meets Electronics - Beiträge der 2. GMM-Fachtagung ; 2011 ; Dortmund, Germany



    Publication date :

    2011-01-01


    Size :

    6 pages



    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    German



    Fahrantriebe mit automotiver Steuerung

    Ochsmann,G. | Automotive engineering | 1981




    Automatisierter HIL Test im Entwicklungsprozess vernetzter, automotiver Elektroniksysteme

    Ploeger,M. / Schuette,H. / Ferrera,F. et al. | Automotive engineering | 2004


    Modellierungsansatz zur Abbildung gesamtmotorischer Reibungsverluste

    Krecker, Oleg / Huber, Bernhard | TIBKAT | 2019