Introducción al Modelado de Sistemas

Información Básica

  • Código y Nombre: 300IGO001, Introducción al Modelado de Sistemas.
  • Créditos y horas de contacto: 2 Créditos, 3 horas por semana.
  • Nombre del profesor o coordinador del curso: Camilo Rueda.
  • Prerrequisitos: Ninguno.
  • Tipo de curso: Abierto.

Textos del Curso

Información Específica del Curso

Este curso introduce nociones básicas para diseñar de manera precisa el modelo de un sistema y para razonar sobre su comportamiento. Utilizando el lenguaje de “event B” los estudiantes definen propiedades de las observaciones del sistema, junto con acciones que determinan cambios en ellas para diferentes contextos. Mediante el uso de software de animación de modelos en “event B”, los estudiantes analizan el comportamiento del sistema y verifican que respeta las propiedades esperadas.

Objetivos Específicos del Curso

Objetivos de aprendizaje:
  • Identificar las diferencias entre los modelos usados en computación y en otras disciplinas.
  • Enumerar ejemplos de problemas que las ingenierías y la computación pueden abordar.
  • Reconocer los componentes de un sistema y sus interacciones.
  • Modelar un sistema utilizando técnicas de abstracción y refinamiento.
  • Observar el comportamiento de un sistema por medio de la simulación de su modelo.
  • Establecer propiedades simples acerca del comportamiento de un sistema y verificarlas en el modelo construido.
Relación con los resultados de programa
Resultados de Programa
A B C D E F G H I J K
Relevancia 3 3 2 1 5 2

Escala: (1) baja relevancia - (5) alta relevancia.

Tópicos del Curso

  • Componentes estático y dinámico de un sistema.
  • La noción de “invariante” de un sistema. Relación entre observaciones e invariante. Qué es el “comportamiento” de un sistema.
  • Observaciones: la noción de “tipo”. Conjuntos y sus operaciones. Predicados simples.
  • Modelar con conjuntos. Uso de las operaciones de conjuntos para establecer propiedades de las observaciones.
  • La noción de “evento”. Guarda y acción de un evento. Observaciones antes y después de un evento.
  • Los requerimientos de un sistema. Cómo especificarlos. Requerimientos en Rodin. Relacionar requerimientos y componentes del modelo.
  • Predicados sobre expresiones aritméticas. Modelo completo de sistemas con observaciones aritméticas.
  • Conjuntos: especificar elementos y colecciones. Pertenencia e inclusión. Especificar agregación y eliminación de elementos en colecciones. Propiedades de operaciones sobre conjuntos. Predicados sobre conjuntos. Su uso en las guardas de los eventos.
  • Conjuntos y predicados aritméticos en contextos y en máquinas. Axiomas e invariantes. Limitaciones de conjuntos simples en el diseño de sistemas.
  • Tablas: especificación mediante relaciones.
  • Tipos de relaciones.
  • Relaciones vs funciones.
  • Uso de funciones en especificación de secuencias y arreglos.
  • Estructuración de sistemas grandes.
  • La noción de refinamiento de un modelo.
  • Concretar modelos mediante cadenas de refinamientos.
  • Acción de eventos e invariante del refinamiento.
 
pregrados/dptoccomputacionyelectronica/intromodelado.txt · Última modificación: 2014/07/15 16:03 por lsosorio
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki