MODELICA El objetivo de Modelica fue crear un lenguaje de modelado capaz de expresar la conducta de modelos de un amplio abanico de campos de la ingeniera

y sin limitar a los modelos a una herramienta comercial en particular. Se puede pues considerar a Modelica no solo como un lenguaje de modelado sino como una especificacin de dominio pblico que permite el intercambio de modelos. Modelica es as un lenguaje de modelado que no tiene propietario y su nombre es una marca registrada de la Modelica Association que es la responsable de la publicacin de la especificacin del lenguaje Modelica que entre otras ofrece a los desarrolladores de modelos las siguientes caractersticas: Encapsulacin del conocimiento. El modelador debe ser capaz de codificar todo el conocimiento relacionado a un objeto particular en una forma compacta y con puntos de interfaz bien definidos con el exterior. Capacidad de interconexin topolgica. El modelador debe ser capaz de interconectar objetos de una forma topolgica, poniendo juntos modelos de componentes mediante un proceso similar a como un experimentador conecta equipos reales en un laboratorio. Este requisito entraa que las ecuaciones que describen los modelos deben tener una naturaleza declarativa o lo que es equivalente deben ser acausales. Modelado jerrquico. El modelador debe ser capaz de declarar a los modelos interconectados como nuevos objetos, hacindolos indistinguibles desde el exterior de los modelos basados en ecuaciones. Se puede as construir modelos con una estructura jerrquica bien definida. Instanciacin de objetos. El modelador debe tener la posibilidad para describir clases de objetos genricos e instanciar objetos actuales de8 Peter Fritzson Introduccin al Modelado y Simulacin de Sistemas Tcnicos y Fsicos estas definiciones de clases mediante un mecanismo de invocacin de modelos. Herencia de clases. Una caracterstica muy til es la herencia de clases ya que permite el encapsulamiento del conocimiento incluso por debajo del nivel de los objetos fsicos. El conocimiento as encapsulado puede entonces distribuirse a travs del modelo por un mecanismo de herencia que asegura que el mismo conocimiento no tendr que ser codificado separadamente algunas veces en lugares diferentes del modelo. Capacidad de interconexin generalizada. Una caracterstica til de un entorno de modelado es su capacidad de interconectar modelos a travs de sus puertos en la interfaz. Los puertos son diferentes de los modelos regulares (objetos) ya que ofrecen a los modelos un nmero variable de conexiones.

Anlisis de Modelos La simulacin es una de las tcnicas ms comunes de utilizar los modelos para contestar a preguntas acerca de los sistemas. Sin embargo, tambin hay otros mtodos de analizar los modelos, tales como el anlisis de la sensibilidad y el diagnstico basado en modelos, o tcnicas matemticas analticas, aplicables en aquellos casos donde se pueden encontrar soluciones cerradas en forma analtica. Puede considerarse que Modelica es un enfoque casi universal para el modelado y simulacin computacional de alto nivel, al ser capaz de representar un abanico de reas de aplicacin y proporcionar una notacin general, as como abstracciones poderosas e implementaciones eficientes. La parte introductoria de este libro, compuesta por los dos primeros captulos, da una visin panormica de los dos temas principales de este texto: Modelado y simulacin. El lenguaje Modelica.

Los dos temas se presentan juntos porque forman un todo. A travs del texto, Modelica se utiliza como un vehculo para explicar diferentes aspectos del modelado y la simulacin. Inversamente, una serie de conceptos del lenguaje Modelica son presentados mediante ejemplos de modelado y simulacin. Este primer captulo introduce conceptos bsicos tales como sistema, modelo, y simulacin. El segundo captulo constituye un rpido recorrido por el lenguaje Modelica. Contiene una serie de ejemplos, entremezclados con presentaciones de 1516 Peter Fritzson Introduccin al Modelado y Simulacin de Sistemas Tcnicos y Fsicos temas tales como el modelado matemtico orientado a objetos, los formalismos declarativos, los mtodos para la compilacin de modelos basados en ecuaciones, etc. Los captulos siguientes contienen presentaciones detalladas de los principios del modelado orientado a objetos y de las caractersticas especficas de Modelica, introducciones a la metodologa de modelado para sistemas continuos, discretos, e hbridos, as como una revisin completa de una serie de libreras de modelos de Modelica para diferentes dominios de aplicacin. Finalmente, en el ltimo captulo, se presentan algunos de los entornos de simulacin que soportan Modelica que estn actualmente disponibles. El Diseador de Sistemas de MathModelica es un banco de trabajo para el modelado fsico basado en componentes, la simulacin, el anlisis y la documentacin de sistemas dinmicos usando Modelica. La interfaz de usuario consta del Editor de Modelos y del Centro de Simulacin. El Editor de Modelos es una interfaz grfica de usuario en la cual pueden componerse rpidamente modelos, usando componentes pertenecientes a cierto nmero de libreras estndar de modelos pertenecientes a diferentes dominios fsicos y disciplinas, tales como el dominio elctrico, mecnico y los diagramas de bloques. Estos modelos pueden ser simulados usando el Centro de Simulacin. Las caractersticas clave del Diseador de Sistemas de MathModelica son las siguientes:

 Modelado fsico acausal, multi dominio y basado en componentes. Entorno grfico con drag & drop, zoom y navegacin jerrquica. Acceso sencillo a libreras de modelos. Generacin de cdigo C eficiente, que permite trabajar con modelos de grandes dimensiones (>100 000 ecuaciones). Modelica y EcosimPro/ EL son lenguajes orientados a objeto y basados en ecuaciones para el modelado de sistemas fsicos continuos y de eventos discretos. En este artculo se presenta un estudio comparativo entre ambos lenguajes a nivel general, en el que se pretende poner de manifiesto las distintas caractersticas que cada lenguaje incorpora. Para realizar esta labor se han intentado abstraer las propiedades ms significativas de los lenguajes de modelado orientados a objeto en general y verificar cuales de ellas estn presentes en ambos lenguajes. Porteriormente se implementa el modelo de un sistema de control sencillo en ambos lenguajes, comentando con cierto grado de detalle las propiedades que se han utilizado en cada una de las implementaciones. Finalmente se presentan unas conclusiones indicando aquellas caractersticas que podran ser incorporadas o modificadas en ambos lenguajes con la intencin de aumentar las prestaciones que ambos ofrecen para modelado y simulacin de sistemas. Linkping, Suecia. La creacin de dicho lenguaje por parte de esta asociacin se debe a la necesidad de definir un lenguaje de modelado y simulacin estndar, fruto del acuerdo entre un grupo de especialistas de estas disciplinas. Por otra parte, EL es un lenguaje de modelado y simulacin de sistemas fsicos desarrollado por EA International para su herramienta de modelado EcosimPro. Ambos lenguajes son fundamentalmente declarativos y orientados a objetos, y contienen todos los elementos necesarios para modelar y simular sistemas dinmicos continuos, discretos e hbridos de manera acausal.

Dymola Es un modelo comercial y el medio ambiente de simulacin basado en la libre Modelica lenguaje de modelado. Es desarrollado por la compaa sueca de Dassault Systmes AB, Lund (una filial de la accionista de la empresa Dassault Systemes ). Dymola est disponible como producto independiente, as como integrado en CATIA V6 de Sistemas. La primera versin de Dymola fue diseado inicialmente en 1978 por Elmqvist Hilding, por su doctorado tesis [1] en la Universidad de Lund (en 1978 llamada Lund Institute of Technology). Esta primera versin de Dymola se basa en el lenguaje de modelado Dymola y se llev a cabo en Simula 68 . Ms tarde se re-implementado en C + + . En 1991, Hilding Elmqvist cre la compaa sueca AB Dynasim para continuar con el desarrollo de Dymola. En 2006, Dassault Systmes adquiere Dynasim y comenz a integrar Dymola en CATIA . En 2010, Dassault Systmes AB, Suecia se ha creado y Dynasim AB es ahora parte de esta filial de Dassault Systmes. Dymola tiene sus propias capacidades de ingeniera multi-lo que significa que los modelos se componen de elementos de muchos mbitos de ingeniera. Bibliotecas en muchos mbitos diferentes de ingeniera para contener componentes mecnicos, control elctrico, trmico, neumticos, tren hidrulica, la energa, la termodinmica, la dinmica del vehculo, aire acondicionado, etc Herramientas de diseo de modelo de La opcin de calibracin del modelo se basa en un proceso en el que los datos medidos a partir de un dispositivo real se utiliza para ajustar los parmetros de tal manera que los resultados de la simulacin se encuentran en buen acuerdo con los datos medidos. La opcin de optimizacin de diseo se utiliza para ajustar los parmetros de un dispositivo o de su controlador para mejorar la dinmica del sistema de criterios mltiples y mltiples casos. El Modelo de Gestin incluye soporte para el cifrado de los modelos, el control de versiones de Dymola y utilidades para verificacin, control y comparacin de modelos. Interfaz con otros programas Interfaz con CAD: Animacin en tiempo real en 3D y la importacin de archivos CAD. Interfaz y el software Dymola SIMULIA: Es posible que la interfaz de Dymola y el SIMULIA herramientas Abaqus, iSight y Fiper fines cosimulacin por ejemplo. Interfaz Dymola y Simulink Importacin de modelos de Simulink utilizando el funcional Maquetas de interfaz estndar definido en la MODELISAR proyecto Exportar a Simulink por la generacin de la funcin S (con la opcin de interfaz de Simulink)

Hay muchas ventajas que Dymola Modelica y tienen en comparacin con estas otras herramientas y voy a tratar de resumir rpidamente algunos de estos. Dymola Modelica y estn diseados desde el principio para que el modelado de componentes orientados conveniente de los complejos multi-dominio de los sistemas. Las bibliotecas disponibles cubren muchos campos de ingeniera, incluyendo el control, la hidrulica, neumtica, mecnica, trmica y otras herramientas mucho ms. Ahora dicen que ofrecen la misma capacidad de multi-dominio, pero es la forma en que esta se presenta en Dymola que realmente la distingue de otras herramientas. " Dymola es totalmente compatible con el lenguaje de modelado Modelica y proporciona al usuario acceso al cdigo Modelica que se utiliza para definir los modelos. Por ejemplo, con la biblioteca estndar de Modelica que contiene muchos componentes diferentes, podemos ver la ecuacin para cada modelo que permite al usuario para comprender exactamente lo que el modelo est haciendo y por qu. Tambin proporcionan al usuario la libertad de duplicar estos modelos y editarlos para adaptar el cdigo para adaptarlo a sus propias necesidades no el modelo que sea exactamente lo que se requiere. Modelos en Dymola se luego se transform en Modelica al cdigo de simulacin eficientes utilizando el clculo simblico y es este proceso que nos permite optimizar el cdigo de simulacin. Capacidades en tiempo real de Dymola: Hay una opcin de simulacin en tiempo real disponible para Dymola que permite a los modelos que se elaboren para la simulacin de los sistemas LIS como xPC o dSpace. Esto requiere actualmente el taller en tiempo real para permitir que el cdigo que se exportan al sistema LIS. Capacidad de generacin de cdigo de Dymola: Los modelos desarrollados en Dymola se pueden exportar utilizando el cdigo fuente como opcin de generacin de cdigo C lo que significa que puede ser compilado para ejecutarse en cualquier plataforma que ha ac compilador. Nuestros clientes han utilizado esta va para que los modelos a correr por su cuenta en tiempo real de sistemas de simulacin y de exportar el cdigo para su uso en plataformas no Windows. El cdigo generado con esta opcin se ha diseado para la simulacin.