Técnicas de especificación de control

Técnicas de especificación de control

Una especificación técnica es un documento en el cual se da una descripción detallada de las características o condiciones mínimas con las que debe cumplir unproducto geográfico, con el fin de crearlo, proveerlo y usarlo, de manera estandarizada permitiendo la interoperabilidad entre los datos y maximizando la calidad de la información. Esto se logra enbase a las necesidades de los usuarios y las expectativas del productor. La especificación técnica alimenta posteriormente la elaboración del metadato y la evaluación de calidad.

Objetivo

Documentaren forma estandarizada los requerimientos mínimos para la creación, documentación, uso y evaluación de un producto geográfico.  
Introducir técnicas de control para el modelado de sistemas de tiemporeal.

MODELIZACION DE SISTEMAS EN TIEMPO REAL 
Un sistema de tiempo real es un sistema informático que interacciona con su entorno físico y responde a los estímulos del entorno dentro de un plazo detiempo determinado. No basta con que las acciones del sistema sean correctas, sino que, además, tienen que ejecutarse dentro de un intervalo de tiempo determinado.
Existen sistemas de tiempo realcrítico (tiempo real duro), en los que los plazos de respuesta deben respetarse siempre estrictamente y una sola respuesta tardía a un suceso externo puede tener consecuencias fatales; y sistemas de tiemporeal acrítico (tiempo real suave), en los que se pueden tolerar retrasos ocasionales en la respuesta a un suceso.
Un ejemplo que ilustra los puntos anteriores es el de un robot que necesita tomar unapieza de una banda sinfín. Si el robot llega tarde, la pieza ya no estará donde debía recogerla, por tanto, el trabajo se llevó a cabo incorrectamente, aunque el robot haya llegado al lugar adecuado.Si el robot llega antes de que la pieza llegue, la pieza aún no estará ahí y el robot puede bloquear su paso.




REDES PRETI
Una Red de Petri es una representación matemática o gráfica de un...