J' Garca Martn 06012010

1
SISTEMAS DE TIEMPO REALEspecificación formal de
sistemas. Statecharts

2
INDICE

• INTRODUCCIÓN
• FORMALISMO DE STATECHARTS
• ESPECIFICACIÓN DE STR CON STATECHARTS

3
INTRODUCCIÓN

• Características

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
FORMALISMO DE STATECHARTS

• Introducción
• Statecharts Máquina de estados finita
• Jerarquía Concurrencia Broadcast

6
FORMALISMO DE STATECHARTS

• Diagramas de transición entre estados

Transición ec/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
FORMALISMO DE STATECHARTS

• Jerarquía agrupación y refinamiento

8
FORMALISMO DE STATECHARTS

• Estado inicial

9
FORMALISMO DE STATECHARTS

• Historia

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
FORMALISMO DE STATECHARTS

• Ejemplo

12
FORMALISMO DE STATECHARTS

• Ortogonalidad (concurrencia)

13
FORMALISMO DE STATECHARTS

• Ejemplo

• gas
• NivelAlto, NivelBajo
• temperatura
• NivelAlto, NivelMedio, NivelBajo
• presión
• NivelAlto, NivelBajo

14
FORMALISMO DE STATECHARTS

• Entradas a los autómatas ortogonales

15
FORMALISMO DE STATECHARTS

• Salidas de los autómatas ortogonales

16
FORMALISMO DE STATECHARTS

• Condiciones y variables

Transición evento condición / acción
17
FORMALISMO DE STATECHARTS

• Condiciones y variables

18
FORMALISMO DE STATECHARTS

• Conectores de condición

19
FORMALISMO DE STATECHARTS

• Acciones

20
FORMALISMO DE STATECHARTS

• Actividades

21
FORMALISMO DE STATECHARTS

• Acciones de entrada/salida de los estados

22
FORMALISMO DE STATECHARTS

• Comunicación broadcast

23
FORMALISMO DE STATECHARTS

• Retardos y timeouts

24
FORMALISMO DE STATECHARTS

• Ejemplo

25
ESPECIFICACIÓN DE STR CON STATECHARTS

• Esquema

26
ESPECIFICACIÓN DE STR CON STATECHARTS

• Esquema

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
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