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.
Complete list of metadatas

Cited literature [17 references]  Display  Hide  Download

https://hal.inria.fr/hal-01854161
Contributor : Hal Ifip <>
Submitted on : Monday, August 6, 2018 - 3:10:14 PM
Last modification on : Monday, August 6, 2018 - 3:12:00 PM
Document(s) archivé(s) le : Wednesday, November 7, 2018 - 2:26:23 PM

File

467217_1_En_6_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

555

Files downloads

39