J. García Martín 22/06/2015 - 1 SISTEMAS DE TIEMPO REAL Especificación formal de sistemas. Statecharts.

Presentación del tema: "J. García Martín 22/06/2015 - 1 SISTEMAS DE TIEMPO REAL Especificación formal de sistemas. Statecharts."— Transcripción de la presentación:

1 J. García Martín 22/06/2015 - 1 SISTEMAS DE TIEMPO REAL Especificación formal de sistemas. Statecharts

2 J. García Martín 22/06/2015 - 2 INDICE INTRODUCCIÓN FORMALISMO DE STATECHARTS ESPECIFICACIÓN DE STR CON STATECHARTS

3 J. García Martín 22/06/2015 - 3 INTRODUCCIÓN Características STRMétodo de especificación Restricciones temporales Especificación de plazos límite, periodos etc. Complejidad Desarrollo jerárquico Representación visual Concurrencia Modelado del comportamiento Fiabilidad Validación formal Ejecución de modelos Generación automática de código

4 J. García Martín 22/06/2015 - 4 DESCRIPCIÓN DEL MARCO Métodos de especificación Lenguaje natural Especificaciones matemáticas Análisis estructurado Extensiones de Hatley y Pirbhai Redes de Petri Statecharts Lógica temporal UML

5 J. García Martín 22/06/2015 - 5 FORMALISMO DE STATECHARTS Introducción Statecharts = Máquina de estados finita + Jerarquía + Concurrencia + Broadcast

6 J. García Martín 22/06/2015 - 6 FORMALISMO DE STATECHARTS Diagramas de transición entre estados Transición: e[c]/a e: evento que hace disparar la transición c: condición que se debe cumplir para poder realizar la transición a: acción que se ejecuta al realizarse la transición

7 J. García Martín 22/06/2015 - 7 FORMALISMO DE STATECHARTS Jerarquía: agrupación y refinamiento

8 J. García Martín 22/06/2015 - 8 FORMALISMO DE STATECHARTS Estado inicial

9 J. García Martín 22/06/2015 - 9 FORMALISMO DE STATECHARTS Historia

10 J. García Martín 22/06/2015 - 10 FORMALISMO DE STATECHARTS Ejemplo On: Enciende el televisor Off: apaga el televisor +: Pasa al siguiente canal -: Pasa al canal anterior Txt: Visualiza las páginas de teletexto del canal actual Tv: Vuelve del teletexto a la visualización del canal Sint: Sintonización automática de la frecuencia Mem: Memoriza la frecuencia sintonizada en el canal actual

11 J. García Martín 22/06/2015 - 11 FORMALISMO DE STATECHARTS Ejemplo

12 J. García Martín 22/06/2015 - 12 FORMALISMO DE STATECHARTS Ortogonalidad (concurrencia)

13 J. García Martín 22/06/2015 - 13 FORMALISMO DE STATECHARTS Ejemplo gas: NivelAlto, NivelBajo temperatura: NivelAlto, NivelMedio, NivelBajo presión: NivelAlto, NivelBajo

14 J. García Martín 22/06/2015 - 14 FORMALISMO DE STATECHARTS Entradas a los autómatas ortogonales

15 J. García Martín 22/06/2015 - 15 FORMALISMO DE STATECHARTS Salidas de los autómatas ortogonales

16 J. García Martín 22/06/2015 - 16 FORMALISMO DE STATECHARTS Condiciones y variables Transición: evento [condición] / acción

17 J. García Martín 22/06/2015 - 17 FORMALISMO DE STATECHARTS Condiciones y variables

18 J. García Martín 22/06/2015 - 18 FORMALISMO DE STATECHARTS Conectores de condición

19 J. García Martín 22/06/2015 - 19 FORMALISMO DE STATECHARTS Acciones

20 J. García Martín 22/06/2015 - 20 FORMALISMO DE STATECHARTS Actividades

21 J. García Martín 22/06/2015 - 21 FORMALISMO DE STATECHARTS Acciones de entrada/salida de los estados

22 J. García Martín 22/06/2015 - 22 FORMALISMO DE STATECHARTS Comunicación broadcast

23 J. García Martín 22/06/2015 - 23 FORMALISMO DE STATECHARTS Retardos y timeouts

24 J. García Martín 22/06/2015 - 24 FORMALISMO DE STATECHARTS Ejemplo

25 J. García Martín 22/06/2015 - 25 ESPECIFICACIÓN DE STR CON STATECHARTS Esquema

26 J. García Martín 22/06/2015 - 26 ESPECIFICACIÓN DE STR CON STATECHARTS Esquema

27 J. García Martín 22/06/2015 - 27 ESPECIFICACIÓN DE STR CON STATECHARTS Reglas C1.- Componentes de Entrada C2.- Transiciones de entrada i_e [true] / f_e C3.- Transiciones en las funciones  i_e  f_e  timeout   condicion    f_e  o_e  C4.- Transiciones en las salidas o_e  true  

28 J. García Martín 22/06/2015 - 28 ESPECIFICACIÓN DE STR CON STATECHARTS Resumen Sólo se permiten tres tipos de comunicación (broadcast): de entradas a funciones de funciones a funciones de funciones a salidas