Departmental Papers (CIS)

Date of this Version

4-2008

Document Type

Conference Paper

Comments

RTAS '08 was held April 22-24, 2008, in St. Louis, Missouri.

Abstract

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.

Subject Area

CPS Real-Time, CPS Embedded Control

Publication Source

Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS '08)

Start Page

159

Last Page

168

DOI

10.1109/RTAS.2008.13

Copyright/Permission Statement

© 2008 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.

Download

Share

COinS
 

Date Posted: 11 July 2012