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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 Citations (Scopus)
3 Downloads (Pure)

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.
Original languageEnglish
Title of host publication2016 11th IEEE International Symposium on Industrial Embedded Systems (SIES), Krakow, Poland, 23-25 May 2016 : Proceedings
Place of PublicationPiscataway
PublisherInstitute of Electrical and Electronics Engineers
Number of pages8
ISBN (Print)978-1-5090-2282-3
DOIs
Publication statusPublished - 2016
Event11th IEEE International Symposium on Industrial Embedded Systems (SIES 2016), May 23-25, 2016, Krakow, Poland - Krakow, Poland
Duration: 23 May 201625 May 2016
http://sies2016.org/

Conference

Conference11th IEEE International Symposium on Industrial Embedded Systems (SIES 2016), May 23-25, 2016, Krakow, Poland
Abbreviated titleSIES 2016
CountryPoland
CityKrakow
Period23/05/1625/05/16
Internet address

    Fingerprint

Cite this

Baghbanbehrouzian, A., Goswami, D., Geilen, M. C. W., Hendriks, M., Alizadeh Ara, H., van Horssen, E. P., ... 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 Piscataway: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/SIES.2016.7509410