Please enable JavaScript.
Coggle requires JavaScript to display documents.
Diseño de sistemas de tiempo real (Especificaciones de requisitos (Se…
Diseño de sistemas de tiempo real
Niveles de notación
Estructurada
Emplean notación gráfica definida
Esquemas construidos a partir de un pequeño número de componentes predefinidos conectados de forma controlada.
Formal
Notación con base matemática
Se puede realizar descripciones precisas.
Pueden ser analizados o manipulados
Informal
Hacen uso del lenguaje natural y diversos tipos de diagramas imprecisos
Especificaciones de requisitos
Es donde se define la funcionalidad del sistema
Factores de tiempo real por cumplir: comportamiento temporal del sistema, requisitos de fiabilidad, comportamiento deseado en caso de fallos y test de aceptación
Construcción de un modelo del entorno de la aplicación
Se emplean
Técnicas y notaciones estructuradas,
Métodos orientados al objeto
Métodos formales
Proporciona especificación acreditada de requisitos.
Actividades de diseño
Descomposición
Para aislar componentes que pueden ser:
Comprendidos y diseñados por individuos o grupos pequeñps
Debe haber descripción y método para documentar
Abstracción
Permite tener visión simplificada del sistema
Visión de los objetivos contenidos
Contendrá propiedades y características escenciales
Encapsulamiento
Cuando la especificación completa del sistema software puede verificarse teniendo en cuenta la especificación de los subcomonentes, se dice que la descomposición es composicional.
Existen técnicas para encapsular y representar subcomponentes
Cohesión
Grado de unión de un módulo (fuerza interna)
Casual
Los elementos mantienen vínculos muy superficiales
Lógica
Están relacionados desde el punto de vista de sistema completo
Temporal
Los elementos se ejecutan en momentos similares
De comunicación
Los elementos operan sobre la misma estructura de datos
Fucnional
Los elementos operan conjuntamente para contribuir a la ejecución de una única función del sistema
Procedual
Los elementos se emplean en la misma sección del programa
Acoplamiento
Medida de la interdependencia entre dos módulos de un programa
Si dos módulos intercambian información de control entre ellos, se dicen que poseen un acoplamiento alto.
Acoplamiento débil: si únicamente se intercambian datos
Buena descomposición: posee fuerte cohesión y débil acoplamiento
Método de diseño de tiempo real debe ser capaz de:
Estructurar un sistema en tareas concurrentes
Dar soporte al desarrollo de componentes reusables mediante la ocultación de información
Definir los aspectos del comportamiento mediante máquinas de estado finito
Analizar las prestaciones de un diseño para determinar sus propiedades de tiempo real
Implementación de STR
3 clases de lenguajes de programación
Ensamblador
Implementación de sistemas secuenciales
Lenguajes concurrentes de alto nivel
Prueba
Extremadamente exigentes por la alta confiabilidad que deben de tener
Prueba de cada módulo
Emplear simuladores
Prototipado
Intenta descubrir fallos lo antes posible
Cerciorarnos de que las especificaciones de requisitos ha sido captado lo que el cliente quiere
Gestión del diseño
Para lograr calidad se necesita
Verificación
Validación
En cada etapa de diseño e implementación
Usar procedimientos bien definidos para asegurar que las técnicas necesarias se realizan correctamente
Diseño del comportamiento Interacción Hombre-maquina
Es de los más criticos de toda la estructura
Quién esta al mando
La persona dirige al computador para realizar ciertas funciones concrétas
El computador podría tener el control completo (solicitar información al operador humano)
Iniciativa mixta (mezcla de los dos primeros)
Laura Marisol Ramos Pérez Sisteas en Tiempo Real Tarea 3