Sample-drop firmness analysis of TDMA-scheduled control applications

A. Baghbanbehrouzian, D. Goswami, M.C.W. Geilen, M. Hendriks, H. Alizadeh Ara, E.P. van Horssen, W.P.M.H. Heemels, Twan Basten

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Citaten (Scopus)
3 Downloads (Pure)

Samenvatting

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.
Originele taal-2Engels
Titel2016 11th IEEE International Symposium on Industrial Embedded Systems (SIES), Krakow, Poland, 23-25 May 2016 : Proceedings
Plaats van productiePiscataway
UitgeverijInstitute of Electrical and Electronics Engineers
Aantal pagina's8
ISBN van geprinte versie978-1-5090-2282-3
DOI's
StatusGepubliceerd - 2016
Evenement11th IEEE International Symposium on Industrial Embedded Systems (SIES 2016), May 23-25, 2016, Krakow, Poland - Krakow, Polen
Duur: 23 mei 201625 mei 2016
http://sies2016.org/

Congres

Congres11th IEEE International Symposium on Industrial Embedded Systems (SIES 2016), May 23-25, 2016, Krakow, Poland
Verkorte titelSIES 2016
LandPolen
StadKrakow
Periode23/05/1625/05/16
Internet adres

Vingerafdruk Duik in de onderzoeksthema's van 'Sample-drop firmness analysis of TDMA-scheduled control applications'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    Baghbanbehrouzian, A., Goswami, D., Geilen, M. C. W., Hendriks, M., Alizadeh Ara, H., van Horssen, E. P., Heemels, W. P. M. H., & Basten, T. (2016). Sample-drop firmness analysis of TDMA-scheduled control applications. In 2016 11th IEEE International Symposium on Industrial Embedded Systems (SIES), Krakow, Poland, 23-25 May 2016 : Proceedings Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/SIES.2016.7509410