Title
Sample-Drop Firmness Analysis of TDMA-Scheduled Control Applications
Author
Behrouzian, A.R.B.
Goswami, D.
Geilen, M.
Hendriks, M.
Alizadeh Ara, H.
van Horssen, E.P.
Heemels, W.P.M.H.
Basten, T.
Publication year
2016
Abstract
This paper proposes methods for verification of (m, k)-firmness properties of control applications running on a shared TDMA-scheduled processor. We particularly consider dropped samples arising from processor sharing. Based on the available processor budget for any sample that is ready for execution, the Finite-Point (FP) method is proposed for quantification of the maximum number of dropped samples. The FP method is further generalized using a timed automata based model to consider the variation in the period of samples. The UPPAAL tool is used to validate and verify the timed automata based model. The FP method gives an exact bound on the number of dropped samples, whereas the timed-automata analysis provides a conservative bound. The methods are evaluated considering a realistic case study. Scalability analysis of the methods shows acceptable verification times for different sets of parameters.
Subject
ICT
ESI - Embedded Systems Innovations
TS - Technical Sciences
Electronics
Industrial Innovation
Sample-drop
TDMA
Processor sharing models
Uppaal
Finite-Point method
FP method
Analysis
To reference this document use:
http://resolver.tudelft.nl/uuid:e65b9128-69c2-4f69-98dc-73b8ca35442d
DOI
https://doi.org/10.1109/sies.2016.7509410
TNO identifier
551110
Publisher
IEEE
ISBN
9781509022823
Source
11th System of Systems Engineering Conference (SoSE), 2016.
Document type
conference paper