Timed Path Conditions in MATLAB/Simulink - Archive ouverte HAL Access content directly
Conference Papers Year : 2017

Timed Path Conditions in MATLAB/Simulink

(1) , (1) , (1) , (1)
1

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.
Fichier principal
Vignette du fichier
467217_1_En_6_Chapter.pdf (525.38 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01854161 , version 1 (06-08-2018)

Licence

Attribution - CC BY 4.0

Identifiers

Cite

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⟩
166 View
554 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More