TY - GEN
T1 - Regular specifications of resource requirements for embedded control software
AU - Alur, Rajeev
AU - Weiss, Gera
PY - 2008/9/12
Y1 - 2008/9/12
N2 - For embedded control systems, a schedule for the allocation of resources to a software component can be described by an infinite word whose ith symbol models the resources used at the ith sampling interval. Dependency of performance on schedules can be formally modeled by an automaton (w-regular language) which captures all the schedules that keep the system within performance requirements. We show how such an automaton is constructed for linear control designs and exponential stability or settling time performance requirements. Then, we explore the use of the automaton for online scheduling and for schedulability analysis. As a case study, we examine how this approach can be applied for the LQG control design. We demonstrate, by examples, that online schedulers can be used to guarantee performance in worst-case condition together with good performance in normal conditions. We also provide examples of schedulability analysis.
AB - For embedded control systems, a schedule for the allocation of resources to a software component can be described by an infinite word whose ith symbol models the resources used at the ith sampling interval. Dependency of performance on schedules can be formally modeled by an automaton (w-regular language) which captures all the schedules that keep the system within performance requirements. We show how such an automaton is constructed for linear control designs and exponential stability or settling time performance requirements. Then, we explore the use of the automaton for online scheduling and for schedulability analysis. As a case study, we examine how this approach can be applied for the LQG control design. We demonstrate, by examples, that online schedulers can be used to guarantee performance in worst-case condition together with good performance in normal conditions. We also provide examples of schedulability analysis.
UR - http://www.scopus.com/inward/record.url?scp=51249112608&partnerID=8YFLogxK
U2 - 10.1109/RTAS.2008.13
DO - 10.1109/RTAS.2008.13
M3 - Conference contribution
AN - SCOPUS:51249112608
SN - 0769531466
SN - 9780769531465
T3 - Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS
SP - 159
EP - 168
BT - Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2008
T2 - 14th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2008
Y2 - 22 April 2008 through 24 April 2008
ER -