A methodology for the construction of scheduled systemsReportar como inadecuado




A methodology for the construction of scheduled systems - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Presented at: Formal Techniques in Real-Time and Fault-Tolerant Systems. 6th International Symposium, FTRTFT 2000. Proceedings (Lecture Notes in Computer Science Vol.1926), Berlin, Germany Published in: Formal Techniques in Real-Time and Fault-Tolerant Systems. 6th International Symposium, FTRTFT 2000. Proceedings (Lecture Notes in Computer Science Vol.1926), p. 106 - 20 Publication date: 2000

We study a methodology for constructing scheduled systems by restricting successively the behavior of the processes to be scheduled. Restriction is used to guarantee the satisfaction of two types of constraints: schedulability constraints characterizing timing properties of the processes, and constraints characterizing particular scheduling algorithms including process priorities, non-idling, and preemption. The methodology is based on a controller synthesis paradigm. The main results deal with the characterization of scheduling policies as safety constraints and the simplification of the synthesis process by applying a composability principle

Keywords: control system synthesis ; formal specification ; graph theory ; processor scheduling ; real-time systems ; set theory Reference EPFL-CONF-185001





Autor: Altisen, K.; Gossler, G.; Sifakis, J.

Fuente: https://infoscience.epfl.ch/record/185001?ln=en







Documentos relacionados