La interfaz estándar FMI 3.0 para simulaciones sincronizadas y programadas
Autores: Hansen, Simon Thrane; Gomes, Cláudio Ângelo Gonçalves; Najafi, Masoud; Sommer, Torsten; Blesken, Matthias; Zacharias, Irina; Kotte, Oliver; Mai, Pierre R.; Schuch, Klaus; Wernersson, Karl; Bertsch, Christian; Blochwitz, Torsten; Junghanns, Andreas
Idioma: Inglés
Editor: MDPI
Año: 2022
Acceso abierto
Artículo científico
2022
La interfaz estándar FMI 3.0 para simulaciones sincronizadas y programadas
Categoría
Ingeniería y Tecnología
Subcategoría
Ingeniería Eléctrica y Electrónica
Palabras clave
Visión general
Formalización
Interfaz de Maqueta Funcional
FMI 3.0
Relojes
Simulación
Sistemas ciberfísicos
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 30
Citaciones: Sin citaciones
Este documento presenta una visión general y formalización de la Interfaz de Maqueta Funcional (FMI) 3.0. La formalización captura el nuevo estándar FMI 3.0 y está destinada a ser utilizada como una introducción para conceptualizar el uso de relojes en el estándar FMI para apoyar la simulación de sistemas ciberfísicos basados en eventos. El estándar FMI 3.0 soporta dos tipos de simulaciones basadas en relojes: Simulación Sincrónica Relojada para garantizar la programación de sistemas predecible con múltiples eventos simultáneos y ejecución programada para facilitar simulaciones en tiempo real que comprenden múltiples modelos de caja negra permitiendo un control detallado sobre el tiempo de computación de submodelos. La formalización es la base para el desarrollo de herramientas para orquestar, verificar y validar la composición de múltiples FMUs. La formalización se proporciona como una especificación VDM-SL accesible.
Descripción
Este documento presenta una visión general y formalización de la Interfaz de Maqueta Funcional (FMI) 3.0. La formalización captura el nuevo estándar FMI 3.0 y está destinada a ser utilizada como una introducción para conceptualizar el uso de relojes en el estándar FMI para apoyar la simulación de sistemas ciberfísicos basados en eventos. El estándar FMI 3.0 soporta dos tipos de simulaciones basadas en relojes: Simulación Sincrónica Relojada para garantizar la programación de sistemas predecible con múltiples eventos simultáneos y ejecución programada para facilitar simulaciones en tiempo real que comprenden múltiples modelos de caja negra permitiendo un control detallado sobre el tiempo de computación de submodelos. La formalización es la base para el desarrollo de herramientas para orquestar, verificar y validar la composición de múltiples FMUs. La formalización se proporciona como una especificación VDM-SL accesible.