Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Thomas Strathmann"'
Autor:
Yosab Bebawy, Houssem Guissouma, Sebastian Vander Maelen, Andrew Koerner, Carl Philipp Hohl, Georg Hake, Thomas Strathmann
Publikováno v:
DATE
We describe the challenges addressed by the three year German national collaborative research project Step-Up!CPS that is currently in its third year. The goal of the project is to develop software methods and technologies for modular updates of safe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c52df8113841eb02264b021fc3747df2
https://doi.org/10.23919/date51398.2021.9474032
https://doi.org/10.23919/date51398.2021.9474032
Autor:
Thomas Strathmann, Jens Oehlerking
Publikováno v:
ARCH@CPSWeek
In this experience report, we apply the hybrid verification toolsiSAT-ODE, Flow*, and S-TaLiRo to a case study consisting of an experimentalelectro-mechanical braking system. Starting from a Simulink closed-loopmodel, we describe the derivation of hy
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ee854b45169af98e453fe4ec0449b5f2
https://doi.org/10.29007/x87p
https://doi.org/10.29007/x87p
Autor:
Thomas Strathmann, Jens Oehlerking
Publikováno v:
Advanced Model-Based Engineering of Embedded Systems ISBN: 9783319480022
Advanced Model-Based Engineering of Embedded Systems
Advanced Model-Based Engineering of Embedded Systems
One defining characteristic of embedded software systems is the tight interaction with the context of the system, which gives rise to real-time constraints for the software. In this chapter, we focus on one relevant class of software: systems interac
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ac29c32a1ef69ddf8d07e7eee0a34e45
https://doi.org/10.1007/978-3-319-48003-9_7
https://doi.org/10.1007/978-3-319-48003-9_7
