Resumen

Modelica es un lenguaje innovador, basado en ecuaciones y acausal que permite modelar sistemas físicos complejos, formados por componentes mecánicos, eléctricos y electrotécnicos, y evaluar su diseño mediante técnicas de simulación. Desgraciadamente, la creciente complejidad y precisión de estos sistemas físicos exige herramientas y técnicas nuevas, más potentes y flexibles, para evaluar las propiedades importantes de los sistemas y, en particular, las de fiabilidad, seguridad y mantenimiento. En este contexto, el artículo describe algunas extensiones del lenguaje Modelica para soportar el modelado de los requisitos del sistema y sus relaciones. Dichas extensiones permiten el análisis de verificación de requisitos mediante construcciones nativas del lenguaje Modelica. Además, permiten exportar el diseño de un sistema basado en Modelica como una Red Bayesiana para analizar su fiabilidad empleando un enfoque probabilístico. La propuesta se ejemplifica mediante un estudio de caso relativo al análisis de fiabilidad de un sistema de tanques.

• Materias:Algoritmos genéticos Modelado Campo de flujo Teoría de elasticidad Sensor pasivo
• Subjects:Genetic algorithms Modeling Flow field Elasticity theory Passive sensor
• Palabras claves:Lenguaje Modelica, sistemas físicos complejos, propiedades importantes del sistema, análisis de verificación de requisitos, tales sistemas físicos, Modelica, Red Bayesiana, Tales extensiones, Sistema Tanque, lenguaje acausal
• Keywords:Modelica language, complex physical systems, important system properties, requirement verification analysis, such physical systems, Modelica, Bayesian Network, Such extensions, Tank System, acausal language