Tipo de dato abstracto para sistemas de bases de datos de tiempo real

Abstract

En la actualidad, los Sistemas de Tiempo Real incorporan aplicaciones con uso intensivo de datos dentro del extenso espectro de soluciones en los cuales son aplicados. Un problema común a abordar por los desarrolladores, es el diseño orientado a datos con constricciones temporales, debido a que requiere considerar propiedades y reglas específicas para garantizar la validez de objetos respecto a instantes particulares de tiempo. Este trabajo propone un modelo para facilitar dicha tarea. Se presenta el concepto de dato de tiempo real con garantía de consistencia temporal y un conjunto de definiciones y clasificaciones asociadas. En base a esto, se modela un tipo de dato abstracto parametrizable que encapsula atributos y validaciones de constricciones temporales, de manera que el desarrollador de aplicaciones pueda abstraer y desligarse de esas responsabilidades. El resultado se verifica con la aplicación del modelo sobre un caso concreto de diseño, en un problema de informática industrial.