Language based modeling for asynchronous discrete event systems

Uygur G, Sattler S (2019)

Publication Type: Conference contribution

Publication year: 2019

Publisher: VDE Verlag GmbH

Pages Range: 52-57

Conference Proceedings Title: AmE 2016 - Automotive meets Electronics

Event location: Dortmund DE

ISBN: 9783800741670

Abstract

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.

Authors with CRIS profile

Gürkan Uygur Lehrstuhl für Zuverlässige Schaltungen und Systeme Sebastian Sattler Lehrstuhl für Zuverlässige Schaltungen und Systeme

How to cite

APA:

Uygur, G., & Sattler, S. (2019). Language based modeling for asynchronous discrete event systems. In AmE 2016 - Automotive meets Electronics (pp. 52-57). Dortmund, DE: VDE Verlag GmbH.

MLA:

Uygur, Gürkan, and Sebastian Sattler. "Language based modeling for asynchronous discrete event systems." Proceedings of the Automotive meets Electronics, AmE 2016, Dortmund VDE Verlag GmbH, 2019. 52-57.

BibTeX: Download