摘要：Los Sistemas Operativos en Tiempo Real deben brindar soporte para concurrencia, para lograrlo se requieren de los Planificadores de tareas. Los planificadores operan sobre un Conjunto de Tareas e n Tiempo Real Concurrentes donde sus instancias requieren ejecutarse hasta completarse dentro de su s plazos máximos; el planificador recibe un conjunto de Tiempos de Arribo y lo mapea hacia un Conjunto de Tiempos de Inicio para que las instancias empiecen su ejecución. En este contexto, un planificador se considera una función que mapea entre dos conjuntos que evolucionan en el tiempo, en este sentido, se presenta una clasificación de los planificadores ba sada en funciones y teoría de conjuntos siendo: críticos, no críticos, estáticos, adaptativos, predictivos, por desalojo de prioridades y óptimos. Esta propuesta de clasificación es novedosa ya que en el actual estad o del arte solo se presentan clasificaciones verbales no formales y no aportan elementos que ayuden a su análisis, modelado y/o caracterización. Como resultado adicional, esta clasificación podrá ser utilizada para realizar futuros estudios cualitativ os en optimalidad, estabilidad, controlabilidad, eficienc ia, convergencia y predecibilidad desde el punto de vi sta computacional. Al final del documento se clasifican dos ejemplos de planificadores: RM (Rate Monotionic) y EDF (Earliest Deadline First).
其他摘要：Real-Time Operating Systems must provide support for concurrency; to achieve this, task schedulers are necessary. Schedulers operate on a set of concurrent real-time tasks in which its instances are to complete their execution within their respective deadlines; a scheduler receives a set of arrival times and maps it to a set of start times for the instances to begin their execution. In this context, a scheduler is considered to be a function that performs mapping between two sets which evolve in time, with respect to this we present a classification of schedulers, based on functions and set theory, into such categories as critical, non-critical, static, adaptive, predictive, preemptive, and optimal. Our proposed classification is novel because the state of the art classifications are only verbal and non-formal and they do not support elements which assist in analysis, modeling and/or characterization of schedulers. As an additional result, this classification can be used for future qualitative studies of optimality, stability, controllability, efficiency, convergence, and predictability from the computational point of view. The paper concludes with two examples of schedulers: RM (Rate Monotonic) and EDF (Earliest Deadline First).
关键词：Tiempos de arribo; función; tiempos de inicio; planificador; clasificación; sistema en tiempo real.
