Language Based Modeling for Asynchronous Discrete Event Systems

Konferenz: AmE 2016 – Automotive meets Electronics - 7. GMM-Fachtagung
01.03.2016 - 02.03.2016 in Dortmund, Deutschland

Tagungsband: GMM-Fb. 85: AmE 2016

Seiten: 6Sprache: EnglischTyp: PDF

Persönliche VDE-Mitglieder erhalten auf diesen Artikel 10% Rabatt

Uygur, Guerkan; Sattler, Sebastian M. (Chair of Reliable Circuits and Systems, LZS, Friedrich-Alexander-University Erlangen-Nuremberg, Paul-Gordan-Str. 5, 91052 Erlangen, Germany)

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.