Clever DAE: Compiler Optimizations for Digital Twins at Scale

Scuttari, Michele; Camillucci, Nicola; Cattaneo, Daniele; Agosta, Giovanni; Casella, Francesco; Cherubin, Stefano; Terraneo, Federico

Abstract

Modeling and simulation are fundamental activities in engineering to facilitate prototyping, verification and maintenance. Declarative modeling languages allow to simulate physical phenomena by expressing them in terms of Differential and Algebraic Equations (DAE) systems. In this paper, we focus on the problem of generating code for performing the numerical integration of the model equations, and in particular on the overhead introduced by external numerical solver libraries. We propose a novel methodology for minimizing the amount of equations which require to be solved through an external solver library, together with the number of computations that are required to computed the Jacobian matrix of the system. Through a prototype LLVM-based compiler, we demonstrate how this approach achieves a linear speed-up in simulation time with respect to the baseline.

Citation

Scuttari, M., Camillucci, N., Cattaneo, D., Agosta, G., Casella, F., Cherubin, S., & Terraneo, F. (2023, May). Clever DAE: Compiler Optimizations for Digital Twins at Scale. Presented at CF '23: 20th ACM International Conference on Computing Frontiers, Bologna, Italy

• Presentation Conference Type: Conference Paper (published)
• Conference Name: CF '23: 20th ACM International Conference on Computing Frontiers
• Start Date: May 9, 2023
• End Date: May 11, 2023
• Online Publication Date: Aug 4, 2023
• Publication Date: May 9, 2023
• Deposit Date: Mar 8, 2024
• Publisher: Association for Computing Machinery (ACM)
• Pages: 344-350
• Book Title: CF '23: Proceedings of the 20th ACM International Conference on Computing Frontiers
• ISBN: 9798400701405
• DOI: https://doi.org/10.1145/3587135.3589945
• Keywords: Modelica, compiler, simulation
• Public URL: http://researchrepository.napier.ac.uk/Output/3535075