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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Language Based Modeling for Asynchronous Discrete Event Systems


    Contributors:

    Conference:

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



    Publication date :

    2016-01-01


    Size :

    6 pages



    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



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

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


    Modeling Public Transportation Using Discrete Event Simulation

    Pratama, Yohanssen / Dirgayussa, I. Gde Eka | Springer Verlag | 2019


    Discrete Event Modeling of Visually Guided Behaviors

    Kosecka, J. / Christensen, H. I. / Bajcsy, R. | British Library Online Contents | 1995


    Model-Based Fault Diagnosis of Discrete Event Systems

    Ushio, T. | British Library Online Contents | 1998


    Supervisory Control of Discrete-Event Systems

    Komenda, Jan / Masopust, Tomáš | Springer Verlag | 2014