liu.seSearch for publications in DiVA
Change search
Link to record
Permanent link

Direct link
BETA
Asghar, Adeel
Alternative names
Publications (5 of 5) Show all publications
Fritzson, P., Pop, A., Sjölund, M. & Asghar, A. (2019). MetaModelica – A Symbolic-Numeric Modelica Language and Comparison to Julia. In: Anton Haumer: OTH Regensburg, Germany (Ed.), Proceedings of the 13th International Modelica Conference, Regensburg, Germany, March 4–6, 2019: . Paper presented at The 13th International Modelica Conference, Regensburg, Germany, March 4–6, 2019. Linköping
Open this publication in new window or tab >>MetaModelica – A Symbolic-Numeric Modelica Language and Comparison to Julia
2019 (English)In: Proceedings of the 13th International Modelica Conference, Regensburg, Germany, March 4–6, 2019 / [ed] Anton Haumer: OTH Regensburg, Germany, Linköping, 2019Conference paper, Published paper (Refereed)
Abstract [en]

The need for integrating system modeling with advanced tool capabilities is becoming increasingly pronounced. For example, a set of simulation experiments may give rise to new data that are used to systematically construct a series of new models, e.g. for further simulation and design optimization. Such combined symbolic-numeric capabilities have been pioneered by dynamically typed interpreted languages such as Lisp and Mathematica. Such capabilities are also relevant for advanced modeling and simulation applications but lacking in the standard Modelica language. Therefore, this is a topic of long-running design discussions in the Modelica Design group. One contribution in this direction is MetaModelica, that has been developed to extend Modelica with symbolic operations and advanced data structures, while preserving safe engineering practices through static type checking and a compilation-based efficient implementation. Another recent effort is Modia, implemented using the Julia macro mechanism, making it dynamically typed but also adding new capabilities. The Julia language has appeared rather recently and has expanded into a large and fast-growing ecosystem. It is dynamically typed, provides both symbolic and numeric operations, advanced data structures, and has a just-intime compilation-based efficient implementation. Despite independent developments there are surprisingly many similarities between Julia and MetaModelica. This paper presents MetaModelica and its environment as a large case study, together with a short comparison to Julia. Since Julia may be important for the future Modelica, some integration options between Modelica tools and Julia are also discussed, including a possible approach for implementing MetaModelica (and OpenModelica) in Julia.

Place, publisher, year, edition, pages
Linköping: , 2019
Series
Linköping Electronic Conference Proceedings, ISSN 1650-3686, E-ISSN 1650-3740 ; 157
Keywords
Modelica, MetaModelica, symbolic, Julia, meta-programming, language, compilation
National Category
Computer Systems
Identifiers
urn:nbn:se:liu:diva-154346 (URN)10.3384/ecp19157289 (DOI)978-91-7685-122-7 (ISBN)
Conference
The 13th International Modelica Conference, Regensburg, Germany, March 4–6, 2019
Funder
VINNOVA, 2015-03027
Available from: 2019-02-06 Created: 2019-02-06 Last updated: 2019-02-15Bibliographically approved
Sjölund, M., Casella, F., Dan Iosif Pop, A., Asghar, A., Fritzson, P., Braun, W., . . . Bachmann, B. (2014). Integrated Debugging of Equation-Based Models. In: Hubertus Tummescheit and Karl-Erik Årzén (Ed.), Proceedings of the 10th International Modelica Conference: . Paper presented at Modelica Conference (pp. 195-204). Linköping University Electronic Press
Open this publication in new window or tab >>Integrated Debugging of Equation-Based Models
Show others...
2014 (English)In: Proceedings of the 10th International Modelica Conference / [ed] Hubertus Tummescheit and Karl-Erik Årzén, Linköping University Electronic Press, 2014, p. 195-204Conference paper, Published paper (Refereed)
Abstract [en]

The high abstraction level of equation-based object-oriented languages (EOO) such as Modelica has the drawback that programming and modeling errors are often hard to find. In this paper we present the first integrated debugger for equation-based languages like Modelica; which can combine static and dynamic methods for run-time debugging of equation-based Modelica models during simulations. This builds on and extends previous results from a transformational static equation debugger and a dynamic debugger for the algorithmic subset of Modelica.

Place, publisher, year, edition, pages
Linköping University Electronic Press, 2014
Series
Linköping Electronic Conference Proceedings, ISSN 1650-3686, E-ISSN 1650-3740
National Category
Computer Sciences
Identifiers
urn:nbn:se:liu:diva-117525 (URN)10.3384/ecp14096195 (DOI)978-91-7519-380-9 (ISBN)
Conference
Modelica Conference
Available from: 2015-04-30 Created: 2015-04-30 Last updated: 2018-01-11
Pop, A., Sjölund, M., Asghar, A., Fritzson, P. & Casella, F. (2014). Integrated Debugging of Modelica Models. Modeling, Identification and Control, 35(2), 93-107
Open this publication in new window or tab >>Integrated Debugging of Modelica Models
Show others...
2014 (English)In: Modeling, Identification and Control, ISSN 1890-1328, Vol. 35, no 2, p. 93-107Article in journal (Refereed) Published
Abstract [en]

The high abstraction level of equation-based object-oriented (EOO) languages such as Modelica has the drawback that programming and modeling errors are often hard to find. In this paper we present integrated static and dynamic debugging methods for Modelica models and a debugger prototype that addresses several of those problems. The goal is an integrated debugging framework that combines classical debugging techniques with special techniques for equation-based languages partly based on graph visualization and interaction. To our knowledge, this is the first Modelica debugger that supports both equation-based transformational and algorithmic code debugging in an integrated fashion.

Place, publisher, year, edition, pages
Norwegian Society of Automatic Control, 2014
Keywords
Modelica, Debugging, Modeling and Simulation, Transformations, Equations
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
urn:nbn:se:liu:diva-109729 (URN)10.4173/mic.2014.2.3 (DOI)000344366300003 ()
Available from: 2014-08-27 Created: 2014-08-27 Last updated: 2017-12-13Bibliographically approved
Asghar, A., Pop, A., Sjölund, M. & Fritzson, P. (2012). Efficient Debugging of Large Algorithmic Modelica Applications. In: : . Paper presented at 7th Vienna International Conference on Mathematical Modelling (MATHMOD 2012), Vienna, Austria, February 15-17, 2012.
Open this publication in new window or tab >>Efficient Debugging of Large Algorithmic Modelica Applications
2012 (English)Conference paper, Published paper (Refereed)
Abstract [en]

Modelica models often contain functions with algorithmic code. The fraction of algorithmiccode is increasing in Modelica models since Modelica, in addition to equation-based modeling, is also used for embedded system control code and symbolic model transformations in compilers using the MetaModelica language extension. For these reasons, debugging of algorithmic Modelica code is becoming increasingly relevant.

Our earlier work in debuggers for the algorithmic subset of Modelica used trace-based techniques. These have the advantages of being very portable, but turned out to have too much overhead for very large applications.

The new debugger is the first Modelica debugger that can operate without trace information. Instead it communicates with a low-level C-language symbolic debugger, the Gnu debugger GDB, to directly extract information from a running executable, set and remove breakpoints, etc. This is made possible by the new bootstrapped OpenModelica compiler which keeps track of a detailed mapping from the high level Modelica code down to the generated C code compiled to machine code.

The debugger is operational, supports browsing of both standard Modelica data structures and tree/list data structures, and operates efficiently on large applications such as the OpenModelica compiler with more than 100 000 lines of code.

Keywords
Modelica, Run-time Debugging, Modeling and Simulation, Algorithmic code, Eclipse
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
urn:nbn:se:liu:diva-110304 (URN)
Conference
7th Vienna International Conference on Mathematical Modelling (MATHMOD 2012), Vienna, Austria, February 15-17, 2012
Available from: 2014-09-05 Created: 2014-09-05 Last updated: 2014-10-14Bibliographically approved
Asghar, S. A., Tariq, S., Torabzadeh-Tari, M., Fritzson, P., Pop, A., Sjölund, M., . . . Schamai, W. (2011). An Open Source Modelica Graphic Editor Integrated with Electronic Notebooks and Interactive Simulation. In: Christoph Clauß (Ed.), Proceedings of the 8th International Modelica Conference, March 20th-22nd, Technical Univeristy, Dresden, Germany: . Paper presented at 8th International Modelica Conference (Modelica'2011), Dresden, Germany, March 20-22, 2011 (pp. 739-747). Linköping: Linköping University Electronic Press, 63
Open this publication in new window or tab >>An Open Source Modelica Graphic Editor Integrated with Electronic Notebooks and Interactive Simulation
Show others...
2011 (English)In: Proceedings of the 8th International Modelica Conference, March 20th-22nd, Technical Univeristy, Dresden, Germany / [ed] Christoph Clauß, Linköping: Linköping University Electronic Press, 2011, Vol. 63, p. 739-747Conference paper, Published paper (Refereed)
Abstract [en]

This paper describes the first open source Modelica graphic editor which is integrated with interactive electronic notebooks and online interactive simulation. The work is motivated by the need for easy-to-use graphic editing of Modelica models using OpenModelica, as well as needs in teaching where the student should be able to interactively modify and simulate models in an electronic book. Models can be both textual and graphical. The interactive online simulation makes the simulation respond in real-time to model changes, which is useful in a number of contexts including immediate feedback to students.

Place, publisher, year, edition, pages
Linköping: Linköping University Electronic Press, 2011
Series
Linköping Electronic Conference Proceedings, ISSN 1650-3686, E-ISSN 1650-3740 ; 63
Keywords
Graphic editing, notebook, teaching, inter-active, Modelica, modeling, simulation, online
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
urn:nbn:se:liu:diva-110298 (URN)9789173930963 (ISBN)
Conference
8th International Modelica Conference (Modelica'2011), Dresden, Germany, March 20-22, 2011
Available from: 2014-09-05 Created: 2014-09-05 Last updated: 2019-04-02Bibliographically approved
Organisations

Search in DiVA

Show all publications