Resumen

La programación suele ser una tarea difícil, especialmente en sistemas complejos. Son pocas las herramientas dirigidas tanto al modelado como a la programación de los sistemas. En la síntesis de controladores, un planificador es visto como un controlador para gestionar los recursos compartidos y los requisitos de tiempo de un sistema. Este artículo propone un enfoque basado en redes de Petri temporales para la síntesis de controladores y la búsqueda de un programador mediante un cronómetro. La solución sugerida aquí es particularmente interesante para fines de programación preventiva. Este trabajo trata de redes Petri temporales con transiciones controlables e incontrolables y asume que una transición controlable puede ser suspendida y recuperada cuando sea necesario. De hecho, el trabajo supone que cada transición controlable puede asociarse a un cronómetro. Con esta hipótesis, el objetivo es modelar un sistema mediante redes de Petri temporales y calcular los subintervalos en los que el sistema viola la propiedad dada. A continuación, el controlador asocia las correspondientes transiciones controlables con cronómetro para suspenderlas en sus subintervalos malos. La ventaja interesante de esta solución es que este enfoque sintetiza un modelo de red de Petri de tiempo ordinario antes de añadir el cronómetro. Por lo tanto, se evitan los cálculos complicados y las sobreaproximaciones necesarias durante la síntesis del controlador de las redes de Petri temporales asociadas con el cronómetro.

• Materias:Celda de memoria Arquitectura informática Levitación magnética Diseño Kansei Análisis de algoritmos
• Subjects:Memory cell Computer architecture Magnetic levitation Kansei Design Algorithm analysis
• Palabras claves:redes de Petri de tiempo, cronómetro, síntesis de controlador, sistema, transición controlable, Petri de tiempo ordinario, fines de programación preventiva, red de Petri de tiempo, enfoque, controlador
• Keywords:time Petri nets, stopwatch, controller synthesis, system, controllable transition, ordinary time Petri, preemptive scheduling purposes, time Petri net, approach, controller