Tarea

LUIS ENRIQUE COLMENARES GUILLEN

Diseño descendentes
 Especificación de requisitos  Diseño arquitectónico  Diseño detallado  Implementación  Prueba  Prototipado  HCI

Niveles derepresentación
 Informal  Estructurada  Formal

Especificación de requisitos
 PSL  CORE

OTROS  UML  Forest  ALBERT  VDM Ninguna notación estructurada o formal capturará los requisitos que el“cliente” haya olvidado mencionar.

Actividades de Diseño
 Encapsulamiento  Cohesión y acoplamiento  Aproximaciones formales

Metodos de diseño
 Estructurados orientados a los sistemas detiempo real:  Mascot  jSD  Yourdon  Moon  Ood  Rtsa,HOOD  DARTS, ADARTS, CODARTS, EPOS

Objetivos para un método de diseño de tiempo real
 Estructurar un sistemas de tareas concurrentes Dar soporte al desarrollo de componentes reusables mediante la ocultación de la información.  Definir los aspectos del comportamiento mediante maquinas de estado finito  Analizar las prestacionesde un diseño para determinar sus propiedades de tiempo real

Implementación
 Ensamblador  Lenguajes de implementación de sistemas secuenciales.  Lenguajes de programación concurrente de altonivel

Lenguajes de programación concurrente de alto nivel
 Modula, modula-2, PEARL, MESA, CHILI, JAVA y ADA  Occam por el contrario es un lenguaje reducido:  No da soporte para la programación desistemas grandes y complejos  Ha estado ligado al transputer  Aplicaciones embedded distribuidas debilmente acopladas.

Criterios generales de diseño de lenguajes de tiempo real
 Seguridad Legibilidad  Flexibilidad  Simplicidad  Portabilidad  eficiencia

Prueba
 Simuladores

Prototipado(1)
 El principal objetivo de un prototipo es ayudar a cerciorarnos de que en laespecificación de requisitos ha sido captado lo que realmente quiere el cliente  ¿es correcta la especificación de requisitos (en términos de lo que desea el cliente)?  ¿Es completa la especificación de...