We present a language based modeling which is capable to preserve the requirements specification in different levels of abstraction. To warrant a unique map between the specification and its abstraction respectively substantiation (materialization) we choose a propositional syntax; the modeling succeeds by syntactically translating the specified requirements into its propositional terms. Our approach preserves the behavior as well as the structure of the specification. This is an essential bonus for design verification and test of asynchronous feedbacked discrete event systems. In this paper, we state the definition of our formal specification language, apply it to a use case and discuss its testability.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Language Based Modeling for Asynchronous Discrete Event Systems


    Beteiligte:

    Kongress:

    AmE 2016 – Automotive meets Electronics - 7. GMM-Fachtagung ; 2016 ; Dortmund, Deutschland



    Erscheinungsdatum :

    01.01.2016


    Format / Umfang :

    6 pages



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    On Language Stability of Discrete Event Systems

    Hiraishi, K. / Roh, K.-S. | British Library Online Contents | 2001


    Modeling of Discrete Event Systems with Hard Real-Time Deadlines

    Li, H. / Wei, J. / Chen, H. et al | British Library Online Contents | 1998


    AFDX modeling and simulation based on discrete event method

    Zhen, H. / Yongtao, Z. / Huagang, X. | British Library Online Contents | 2011


    Agent-Based and Discrete-Event Modeling: A Quantitative Comparison

    Yu, Tai-Tuck / Scanlan, James / Wills, Gary | AIAA | 2007


    Agent-Based and Discrete-Event Modeling: A Quantitative Comparison

    Yu, T. / Scanlan, J. / Wills, G. | British Library Conference Proceedings | 2007