Regular Specifications of Resource Requirements for Embedded Control Software

Loading...
Thumbnail Image
Penn collection
Departmental Papers (CIS)
Degree type
Discipline
Subject
CPS Real-Time
CPS Embedded Control
Computer Sciences
Funder
Grant number
License
Copyright date
Distributor
Related resources
Author
Weiss, Gera
Contributor
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.

Advisor
Date of presentation
2008-04-01
Conference name
Departmental Papers (CIS)
Conference dates
2023-05-17T07:08:52.000
Conference location
Date Range for Data Collection (Start Date)
Date Range for Data Collection (End Date)
Digital Object Identifier
Series name and number
Volume number
Issue number
Publisher
Publisher DOI
Journal Issue
Comments
RTAS '08 was held April 22-24, 2008, in St. Louis, Missouri.
Recommended citation
Collection