Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts

Yanhong Huang; Joao Ferreira; Guanhua He; Shengchao Qin; Jifeng He

doi:10.1007/978-3-642-41202-8_12

Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts

Yanhong Huang, Joao Ferreira, Guanhua He, Shengchao Qin, Jifeng He

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

AUTOSAR, the open and emerging global standard for automotive embedded systems, offers a timing protection mechanism to protect tasks from missing their deadlines. However, in practice, it is difficult to predict when a deadline is violated, because a task missing its deadline may be caused by unrelated tasks or by the presence of interrupts. In this paper, we propose an abstract formal model to represent AUTOSAR OS programs with timing protection. We are able to determine schedulability properties and to calculate constraints on the allowed time that interrupts can take for a given task in a given period. We implement our model in Mathematica and give a case study to illustrate the utility of our method. Based on the results, we believe that our work can help designers and implementors of AUTOSAR OS programs check whether their programs satisfy crucial timing properties.

Original language	English
Title of host publication	Formal Methods and Software Engineering. ICFEM 2013
Editors	L. Groves , J. Sun
Publisher	Springer Berlin
Pages	165-181
ISBN (Electronic)	9783642412028
ISBN (Print)	9783642412011
DOIs	https://doi.org/10.1007/978-3-642-41202-8_12
Publication status	Published - 2013
Event	Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods - Queenstown, New Zealand Duration: 29 Oct 2013 → 1 Nov 2013 Conference number: 15

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer, Berlin
Volume	8144

Conference

Conference	Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods
Abbreviated title	ICFEM 2013
Country/Territory	New Zealand
City	Queenstown
Period	29/10/13 → 1/11/13

Access to Document

10.1007/978-3-642-41202-8_12

Cite this

@inproceedings{b994dca83160481996a0e89040c16bf8,

title = "Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts",

abstract = "AUTOSAR, the open and emerging global standard for automotive embedded systems, offers a timing protection mechanism to protect tasks from missing their deadlines. However, in practice, it is difficult to predict when a deadline is violated, because a task missing its deadline may be caused by unrelated tasks or by the presence of interrupts. In this paper, we propose an abstract formal model to represent AUTOSAR OS programs with timing protection. We are able to determine schedulability properties and to calculate constraints on the allowed time that interrupts can take for a given task in a given period. We implement our model in Mathematica and give a case study to illustrate the utility of our method. Based on the results, we believe that our work can help designers and implementors of AUTOSAR OS programs check whether their programs satisfy crucial timing properties.",

author = "Yanhong Huang and Joao Ferreira and Guanhua He and Shengchao Qin and Jifeng He",

year = "2013",

doi = "10.1007/978-3-642-41202-8_12",

language = "English",

isbn = "9783642412011",

series = "Lecture Notes in Computer Science",

publisher = "Springer Berlin",

pages = "165--181",

editor = "{Groves }, L. and {Sun }, J.",

booktitle = "Formal Methods and Software Engineering. ICFEM 2013",

address = "Germany",

note = "Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods, ICFEM 2013 ; Conference date: 29-10-2013 Through 01-11-2013",

}

Huang, Y, Ferreira, J, He, G, Qin, S & He, J 2013, Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts. in L Groves & J Sun (eds), Formal Methods and Software Engineering. ICFEM 2013. Lecture Notes in Computer Science, vol. 8144, Springer Berlin, pp. 165-181, Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods, Queenstown, New Zealand, 29/10/13. https://doi.org/10.1007/978-3-642-41202-8_12

Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts. / Huang, Yanhong; Ferreira, Joao; He, Guanhua et al.
Formal Methods and Software Engineering. ICFEM 2013. ed. / L. Groves ; J. Sun . Springer Berlin, 2013. p. 165-181 (Lecture Notes in Computer Science; Vol. 8144).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts

AU - Huang, Yanhong

AU - Ferreira, Joao

AU - He, Guanhua

AU - Qin, Shengchao

AU - He, Jifeng

N1 - Conference code: 15

PY - 2013

Y1 - 2013

N2 - AUTOSAR, the open and emerging global standard for automotive embedded systems, offers a timing protection mechanism to protect tasks from missing their deadlines. However, in practice, it is difficult to predict when a deadline is violated, because a task missing its deadline may be caused by unrelated tasks or by the presence of interrupts. In this paper, we propose an abstract formal model to represent AUTOSAR OS programs with timing protection. We are able to determine schedulability properties and to calculate constraints on the allowed time that interrupts can take for a given task in a given period. We implement our model in Mathematica and give a case study to illustrate the utility of our method. Based on the results, we believe that our work can help designers and implementors of AUTOSAR OS programs check whether their programs satisfy crucial timing properties.

AB - AUTOSAR, the open and emerging global standard for automotive embedded systems, offers a timing protection mechanism to protect tasks from missing their deadlines. However, in practice, it is difficult to predict when a deadline is violated, because a task missing its deadline may be caused by unrelated tasks or by the presence of interrupts. In this paper, we propose an abstract formal model to represent AUTOSAR OS programs with timing protection. We are able to determine schedulability properties and to calculate constraints on the allowed time that interrupts can take for a given task in a given period. We implement our model in Mathematica and give a case study to illustrate the utility of our method. Based on the results, we believe that our work can help designers and implementors of AUTOSAR OS programs check whether their programs satisfy crucial timing properties.

UR - http://dx.doi.org/10.1007/978-3-642-41202-8_12

U2 - 10.1007/978-3-642-41202-8_12

DO - 10.1007/978-3-642-41202-8_12

M3 - Conference contribution

SN - 9783642412011

T3 - Lecture Notes in Computer Science

SP - 165

EP - 181

BT - Formal Methods and Software Engineering. ICFEM 2013

A2 - Groves , L.

A2 - Sun , J.

PB - Springer Berlin

T2 - Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods

Y2 - 29 October 2013 through 1 November 2013

ER -

Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this