Please enable JavaScript.
Coggle requires JavaScript to display documents.
Sistemas Ciber-Físicos: Espeficicaciones yModelado (Técnicas de Modelado,…
Sistemas Ciber-Físicos:
Espeficicaciones yModelado
Definición
Un modelo es una simplificación de otra entidad que puede ser una cosa física o otro modelo.
El modelo contiene exactamente las caracteristicas y propiedades de la entidad modelada que es relevante para las tareas dadas.
Un modelo es minimalista con respecto a la tarea si no contiene ninguna otra característica que no sea relevante para la tarea.
Requerimientos de Especificación
Jerarquía
Humanos no son capaces de entender sistemas que contengan mas de 5 objectos
Jerarquía de Comportamiento
Estados, Procesos, Procedimientos
Jerarquía Estructural
Procesadores, pilas, tarjetas de circuito impresas
Diseño basado en componentes
Sistemas deben ser diseñados desde componenes
Más facíl derivar ambientes desde ambientes de subsistemas
Concurrencia
Sincronización y Comunicación
Comportamiento del Tiempo
Esencial para CPS/ES
Información Adicional bienvenida
Periodos, dependencias, escenarios, casos de uso
La velocidad de la plataforma debe ser conocida
Consecuencias de gran alcance para el diseño de procesos
Apoyo para el diseño de sistemas reactivos
Ambiente orientado a estados
Requerido para sistemas reactivos. Un autómata clásico es insuficiente
Manejo de Eventos
Eventos Internos o Externos
Ambiente orientado a excepciones
No es aceptable describir excepciones por cada estado
Técnicas de Modelado
Presencia de programación de elementos
Ejecutabilidad
Apoyo para diseño de sistemas grander
Apoyo para Dominio Especificio
Legibilidad
Portabilidad y Flexibilidad
Terminación
Soportado para dispositivos con I/O no estandar
Propiedades no Funcionales
Apoyo para el diseño de sistemas confiables
No obstaculos para una implementación eficiente
Modelos de Computación
¿Qué significa computar?
Los modelos de computación lo definen como:
Modelos de componentes y de una ejecución para computaciones de cada componente
Modelos de comunicación para intercambio de información entre componentes
Grafo de Dependencia
Los nodos pueden ser programas o simples operaciones
Grafos de Dependencia pueden contener información adicional como el tiempo.
Información I/O
Recursos Compartidos
Programas de Peridos
Grafos de Jerarquiía de Tareas