Výsledky vyhledávání - "Jan Toennemann"

Asserting Functional Equivalence between C Code and SCADE Models in Code-to-Model Transformations

Autor: Andreas Rausch, Adina Aniculaesei, Jan Toennemann

Publikováno v: SAST

Model-based development is on the rise and tool chains employing automated code generation from models using certified code generators are getting increasingly common. We present an approach which enables the reverse operation and creates an ANSYS SC

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::d931d06127f2e640e9dddb1221f24da5
https://doi.org/10.1145/3425174.3425213

Zobrazit plný text záznamu

Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process Using UPPAAL

Autor: Falk Howar, Andreas Rausch, Benjamin Cool, Jan Toennemann

Publikováno v: Formal Methods for Industrial Critical Systems ISBN: 9783030002435
FMICS

The next generation of automotive control software will run on complex networks of control units, connected by a multitude of different bus systems. With a rising number of safety-critical functions being realized (at least partly) in software, real-

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::3f094fd64dd23b1f92e7846b26eefa65
https://doi.org/10.1007/978-3-030-00244-2_5

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání