Skip to Main content Skip to Navigation
Reports

Reach Scheduling for Embedded Systems

Abstract : Reachability of a state in an embedded system, and steering the system into that state, are a frequent requirement. The technique we propose ensures reachability by construction. It pre-computes a set of local schedulers which are chosen at run-time depending on the current system state and on a predicate characterizing the set of states to be reached. This quasi-static scheduling approach combines the efficiency of pre-computed schedulers with flexibility during execution, making it possible to change at run-time the predicate to be reached. Our method uses both local controller synthesis and sufficient conditions to compositionally ensure reachability properties, in order to ensure a small memory footprint and efficient execution. The constructed schedulers are composable with further constraints and scheduling policies, which enables an incremental construction. The underlying component model uses transition systems to express the component behaviors, and composition and restriction to express coordination and constraints between components, and allow for heterogeneous models. The results have been implemented and validated in several case studies.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00071230
Contributor : Rapport de Recherche Inria <>
Submitted on : Tuesday, May 23, 2006 - 2:44:21 PM
Last modification on : Wednesday, April 11, 2018 - 1:54:32 AM
Long-term archiving on: : Sunday, April 4, 2010 - 10:02:41 PM

Identifiers

  • HAL Id : inria-00071230, version 1

Collections

Citation

Gregor Gössler. Reach Scheduling for Embedded Systems. RR-5651, INRIA. 2005. ⟨inria-00071230⟩

Share

Metrics

Record views

203

Files downloads

126