HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Timed Path Conditions in MATLAB/Simulink

Abstract : MATLAB/Simulink is a widely-used industrial tool for the development of complex embedded systems. However, due to the complexity and the dynamic character of the developed models, their analysis is a difficult challenge, in particular if timing aspects are involved. In this paper, we present an approach for the construction of timed path conditions for MATLAB/Simulink models. Timed path conditions allow for fine-grained conclusions about the existence of possibly critical paths through a model containing time-dependent elements. With the help of timed path conditions, it is possible to identify interference and non-interference between model parts. Furthermore, they have the potential to reduce the complexity of models to improve verifiability, reason about compliance with security policies as well as generate feasible, efficient test cases. We demonstrate the applicability of our approach with a shared buffer for public as well as confidential data.
Document type :
Conference papers
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download

Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Monday, August 6, 2018 - 3:10:14 PM
Last modification on : Monday, December 28, 2020 - 10:22:04 AM
Long-term archiving on: : Wednesday, November 7, 2018 - 2:26:23 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Marcus Mikulcak, Paula Herber, Thomas Göthel, Sabine Glesner. Timed Path Conditions in MATLAB/Simulink. 5th International Embedded Systems Symposium (IESS), Nov 2015, Foz do Iguaçu, Brazil. pp.64-76, ⟨10.1007/978-3-319-90023-0_6⟩. ⟨hal-01854161⟩



Record views


Files downloads