Modelica - un langage orienté objet pour modéliser les systèmes cyber-physiques

• Langage Modelica

  • Modelica est un langage orienté objet utilisé pour modéliser les systèmes cyber-physiques
  • Il prend en charge l’interconnexion acausale de composants réutilisables régis par des équations mathématiques, ce qui facilite la modélisation à partir des principes fondamentaux

• Bibliothèques Modelica

  • Diverses bibliothèques permettent de modéliser efficacement des systèmes complexes

• Outils Modelica

  • Il existe divers outils utilisant Modelica pour prendre en charge le travail de modélisation

• Association Modelica

  • Une association qui supervise diverses activités liées au langage Modelica
  • Comprend des membres organisationnels et diverses activités communautaires

• Newsletter

  • La newsletter publiée par l’Association Modelica fournit les dernières actualités et informations

• Contact

  • Il est possible de contacter l’Association Modelica par e-mail : [e-mail]

• Confidentialité et mentions légales

  • Informations fournies concernant la protection des données et les mentions imprimées

[GN⁺]

Commentaires sur Hacker News

• Modelica est un langage déclaratif de haut niveau qui décrit le comportement mathématique, principalement appliqué aux systèmes d’ingénierie

  • Modelica est beaucoup utilisé dans l’industrie du HVAC, et en tant qu’ingénieur contrôle, on demande aux ingénieurs système des FMU de divers composants pour les utiliser dans des travaux d’optimisation
  • Il est pratique de pouvoir intégrer des modèles physiques dans des workflows Python
  • Modelica demande une manière de penser différente de la programmation impérative classique, car c’est un langage déclaratif dans lequel on définit les équations, les variables et les contraintes d’un système
  • OpenModelica a beaucoup progressé comme implémentation open source, mais des applications propriétaires comme Dymola dominent encore l’industrie

• Modelica est un langage de niche largement utilisé en sport automobile (F1, NASCAR) pour la simulation en temps réel

  • La spécification du langage est open source, mais Dymola est le compilateur commercial le plus populaire
  • La nature acausale de ce langage est très puissante et permet de construire des modèles de façon modulaire
  • L’analogie la plus proche dans le monde de la programmation serait Haskell

• La compréhension de Modelica reste limitée, et l’absence d’exemples sur la landing page le rend difficile à saisir

  • Il serait bien d’avoir des exemples ou des liens vers des exemples sur la landing page
  • Même après 30 secondes à cliquer, rien d’attirant n’apparaît

• Modelica est utilisé avec OpenModelica pour décrire des systèmes électromagnétiques, offrant un excellent langage et un environnement utilisateur graphique

  • Les bibliothèques Modelica sont matures et complètes, et les solveurs numériques d’OpenModelica sont robustes et performants
  • C’est un standard implémenté par plusieurs fournisseurs, ce qui permet d’éviter le vendor lock-in et en fait une technologie sûre dans laquelle ingénieurs et entreprises peuvent investir

• Une étude du bond graph modeling est en cours, considéré comme le mécanisme de base de Modelica et Simscape

  • Comprendre la théorie des bond graphs devrait permettre de comprendre les systèmes de manière intuitive
  • C’est un domaine de niche, mais il semble apporter une solution presque magique à la résolution de problèmes

• Le concept de FMU est intéressant, mais le support tiers fait défaut

  • Il n’existe pas de méthode tierce pour générer des FMU de type Model Exchange sous Linux
  • Même Matlab manque de support sur ce point

• Modelica est souvent comparé à Simulink, mais il semble plus proche du package symbolic de matlab/octave ou de sympy en Python

• ModelingToolkit.jl reflète bien les enseignements de Modelica et c’est un outil agréable à utiliser