Sistema Embebidos: Propiedades de los Lenguajes y SDL

Presentación del tema: "Sistema Embebidos: Propiedades de los Lenguajes y SDL"— Transcripción de la presentación:

1 Sistema Embebidos: Propiedades de los Lenguajes y SDL
Agustín J. González 1s06 Se ha tomado como base el material generado por Peter Marwedel de la Univ. Dortmund, Informatik 12, Alemania

2 SDL (Specification and Description Language)
Es un lenguaje para especificar sistemas distribuidos. Data de los 70s, Definido por la ITU (International Telecommunication Union): recomendación Z.100 en 1980 Actualizaciones en 1984, 1988, 1992, 1996 and 1999 Descripción general en:

3 SDL (Specification and Description Language)
Provee formatos de texto y gráficos, Como en StateCharts, éste está basado en el modelo de computación de CFSM (máquinas de estado finitas complejas); cada FSM es llamada un proceso, Sin embargo, SDL usa paso de mensajes en lugar de comunicaciones de memoria compartida, SDL soporta operaciones sobre los datos.

4 Representación en SDL de FSMs/procesos
estado input output

5 Operaciones sobre datos
Las variables pueden ser declaradas localmente en un proceso. Su tipo puede ser predefinido o definido en el mismo SDL. SDL soporta tipos de datos abstractos (ADTs). Ejemplo:

6 Comunicación entre FSMs
La comunicación entre FSMs (o “procesos”) está basada en paso de mensajes, se asume una cola FIFO indefinidamente larga (lo cual es no realista). Cada proceso trae la próxima entrada desde la FIFO, Chequea si la entrada genera una transición, Si es así: la transición tiene lugar, Sino: la entrada es ignorada.

7 Diagrama de interacción ente Procesos
La interacción entre procesos puede ser descrita en un diagrama de interacción entre procesos (caso especial de diagrama de bloques). Además de procesos, estos diagramas contienen canales y declaración de señales locales. Ejemplo: ,

8 Designación de destinatarios
A través de identificadores de procesos: Ejemplo: OFFSPRING representa identificador de procesos. Explícitamente: incluyendo el nombre del canal. Implícitamente: Si nombres de señales implican nombres de canales (B  Sw1) Counter TO OFFSPRING Counter Via Sw1

9 Jerarquía en SDL Un diagrama de interacción entre procesos puede ser incluido en bloques. El bloque raíz es llamado sistema. Procesos no pueden contener otros procesos, diferencia con StateCharts.

10 Temporizadores (Timers)
Timers pueden ser declarados localmente. Timers pueden poner eventos en colas (no son procesados inmediatamente necesariamente). RESET también remueve los eventos desde la cola (anula su efecto).

11 Elementos adicionales del lenguaje
SDL incluye un número de elementos adicionales del lenguaje como: procedimientos Creación y término de procesos Descripción avanzada de datos

12 Aplicación: descripción de un protocolo de red

13 Ejemplo más completo: “Vending machine”
Máquina vende pretzels, (potato) chips, cookies, y doughnuts: acepta nickels, dime, quarters, y monedas de medio dolar. No es una aplicación distribuida. ° [J.M. Bergé, O. Levia, J. Roullard: High-Level System Modeling, Kluwer Academic Publishers, 1995]

14 Overall view of vending machine

15 Proceso: Decode Requests

16 Proceso: ChipHandler no yes yes no

17 Versiones y herramientas
SDL-88 SDL-92: se agrega orientación a objetos SDL-96 SDL-2000: Se extiende el soporte gráfico; procesos y bloques pasan a ser reemplazados por agentes. Herramientas para conectarlo a MSCs (Message sequence charts, es otro lenguaje) Herramientas para conectarlo a UML. Herramientas para traducirlo a CHILL (un lenguaje similar a Pascal usado en telefonía). Más información en:

18 Evaluación Excelente para aplicaciones distribuidas (fue usado para especificar ISDN), Herramientas comerciales disponibles: SINTEF, Telelogic, Cinderella (// No necesariamente determinista (se desconoce el en que las FSMs están leyendo su entrada)  no es un lenguaje sincrónico, Implementaciones requieren límite para él largo máximo de las FIFOs, esto puede ser difícil de determinar, Concepto de tiempo adecuado sólo para sistemas con plazos “blandos” (soft), Uso limitado de jerarquía, Soporte de lenguaje de programación limitado, No hay descripción de propiedades non-funcionales.

19 Resumen Propiedades de los lenguajes
Lenguajes sincrónicos vs. asincrónicos Propiedades de procesos Comunicación Timing SDL Representación de procesos Comunicación y diagramas de bloques Timers y otros elementos del lenguaje Ejemplo: Vending machine Versiones y evaluación