liu.seSearch for publications in DiVA
Change search
Refine search result
1 - 47 of 47
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Rows per page
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sort
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
Select
The maximal number of hits you can export is 250. When you want to export more records please use the 'Create feeds' function.
  • 1.
    Asghar, Adeel
    et al.
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Pop, Adrian
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Sjölund, Martin
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Efficient Debugging of Large Algorithmic Modelica Applications2012Conference 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.

  • 2.
    Asghar, Syed Adeel
    et al.
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Tariq, Sonia
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Torabzadeh-Tari, Mohsen
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Pop, Adrian
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Sjölund, Martin
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Vasaiely, Parham
    EADS Innovation Works, Engineering & Architecture, Hamburg, Germany.
    Schamai, Wladimir
    EADS Innovation Works, Engineering & Architecture, Hamburg, Germany.
    An Open Source Modelica Graphic Editor Integrated with Electronic Notebooks and Interactive Simulation2011Conference 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.

  • 3.
    Eriksson, Henrik
    et al.
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Magnusson, Henrik
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Pop, Adrian Dan Iosif
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    3D Animation and Programmable 2D Graphics for Visualization of Simulations in OpenModelica2008In: Proceedings from the 49th Scandinavian Conference on Simulation and Modeling, 2008, www.scansims.org: Scandinavian Simulation Society , 2008, 10- p.Conference paper (Refereed)
    Abstract [en]

    This paper describes recent work on visualization of simulation results from simulating Modelica models in Open-Modelica. A new 3D graphics package with interactive animation and a new flexible programmable 2D graphicshave been added to OpenModelica. The 2D graphics package provides very flexible usage, either directly from asimulation, from the electronic book client OMNotebook, or programmable graphics, called directly from aModelica model.

  • 4.
    Frenkel, Jens
    et al.
    Dresden University of Technology, Institute of Mobile Machinery and Processing Machines, Germany.
    Kunze, Günter
    Dresden University of Technology, Institute of Mobile Machinery and Processing Machines, Germany.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Sjölund, Martin
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Pop, Adrian
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Braun, Willi
    FH Bielefeld, University of Applied Sciences, Germany.
    Towards a Modular and Accessible Modelica Compiler Backend2011Conference paper (Refereed)
    Abstract [en]

    Modelica is well suited for modelling complex physical systems due to the acausal description it is using. The causalisation of the model is carried out prior to each simulation. A significant part of the causalisation process is the symbolic manipulation and optimisation of the model. Despite the growing interest in Modelica, the capabilities of symbolic manipulation and optimisation are not fully utilized. This paper presents an approach to increase the customisability, access, and reuse of symbolic optimisation by a more modular and flexible design concept. An overview of the common symbolic manipulation and optimisation algorithms of a typical Modelica compiler is presented as well as a general modular design concept for a Modelica compiler backend. The modularisation concept will be implemented in a future version of the OpenModelica compiler.

  • 5.
    Frenkel, Jens
    et al.
    Dresden University of Technology, Institute of Mobile Machinery and Processing Machines, Germany.
    Schubert, Christian
    Dresden University of Technology, Institute of Mobile Machinery and Processing Machines, Germany.
    Kunze, Günter
    Dresden University of Technology, Institute of Mobile Machinery and Processing Machines, Germany.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Sjölund, Martin
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Pop, Adrian
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Towards a Benchmark Suite for Modelica Compilers: Large Models2011Conference paper (Refereed)
    Abstract [en]

    The paper presents a contribution to a Modelica benchmark suite. Basic ideas for a tool independent benchmark suite based on Python scripting along with models for testing the performance of Modelica compilers regarding large systems of equation are given. The automation of running the benchmark suite is demonstrated followed by a selection of benchmark results to determine the current limits of Modelica tools and how they scale for an increasing number of equations.

  • 6.
    Fritzson, Peter
    et al.
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Aronsson, Peter
    Linköping University, Department of Computer and Information Science. Linköping University, The Institute of Technology.
    Lundvall, Håkan
    Linköping University, Department of Computer and Information Science. Linköping University, The Institute of Technology.
    Nyström, Kaj
    Linköping University, Department of Computer and Information Science.
    Pop, Adrian
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Saldamli, Levon
    Linköping University, Department of Computer and Information Science. Linköping University, The Institute of Technology.
    Broman, David
    Linköping University, Department of Computer and Information Science. Linköping University, The Institute of Technology.
    The OpenModelica Modeling, Simulation, and Development Environment2005Conference paper (Refereed)
    Abstract [en]

    Modelica is a modern, strongly typed, declarative, and object-oriented language for modeling and simulation of complex systems. This paper gives a quick overview of some aspects of the OpenModelica environment – an open-source environment for modeling, simulation, and development of Modelica applications. An introduction of the objectives of the environment is given, an overview of the architecture is outlined and a number of examples are illustrated.

  • 7.
    Fritzson, Peter
    et al.
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Pop, Adrian
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Meta-Programming and Language Modeling with MetaModelica 1.02011Report (Other academic)
    Abstract [en]

    This report gives a language definition and tutorial on how to model languages using MetaModelica 1.0 – an extended subset of Modelica designed for efficient language modeling. Starting from an extremely simple language, a series of small languages are modeled by gradually adding features. Both interpretive and translational language semantics are modeled. Exercises with solutions are given.

    The approach of allowing the modeling language to model language semantics in principle allows the definition of language semantics in libraries, which could be used to reverse the current trend of model compilers becoming very large and complex.

    MetaModelica 1.0 is the first Modelica language version that supports  language modeling, and has been in extensive use since 2005, primarily in the development of the OpenModelica compiler.

    MetaModelica 1.0 is strongly related to the RML specification language for Natural Semantics/Structural Operational Semantics, and is implemented using the RML compiler kernel but with a new compiler frontend. Thus, it lacks many standard language features in Modelica and requires a strictly functional modeling style.

    The next version of MetaModelica, becoming available during the spring 2011, is implemented within the standard OpenModelica compiler. Therefore it also supports the standard Modelica 3 language features as well as additional features for expressiveness and conciseness.

  • 8.
    Fritzson, Peter
    et al.
    Linköping University, Department of Computer and Information Science.
    Pop, Adrian
    Linköping University, Department of Computer and Information Science.
    Broman, David
    Linköping University, Department of Computer and Information Science.
    Aronsson, Peter
    Linköping University, Department of Computer and Information Science.
    Formal Semantics Based Translator Generation and Tool Development in Practice2009In: Proceedings of  20th Australian Software Engineering Conference (ASWEC 2009), Gold Coast, Queensland, Australia, April 14 – 17, 2009, IEEE Computer Society , 2009, 256-266 p.Conference paper (Refereed)
    Abstract [en]

    In this paper we report on a long-term research effort to develop and use efficient language implementation generators in practice. The generator is applied to a number of different languages, some of which are used for projects in industry. The used formal specification style is operational semantics, primarily in the form called natural semantics, represented and supported by a meta-language and tool called the relational meta language (RML), which can generate efficient implementations in C, on par with hand-implemented code. Generating implementations from formal specifications are assumed to give advantages such as: high level descriptions, higher degree of correctness, and consistency between specification and implementation. To what extent can this be realized in practice? Does it scale to large language implementations? To answer some of these questions we have developed specifications of a range of languages: imperative, functional, object-oriented (Java), and equation-based (Modelica). The size of specifications range from half a page to large specifications of 60 000 lines. It turns out to be possible to generate efficient compilers, also for large languages. However, the performance of the generator tool and the user support of the development environment become increasingly important for large specifications. To satisfy such user needs the speed of the generator was increased a factor of ten to reduce turn-around time, and an Eclipse plug-in including a debugger were developed. For very large specifications, the structuring and modularity of the specification itself also become essential for performance and maintainability.

  • 9.
    Fritzson, Peter
    et al.
    Linköping University, Department of Computer and Information Science.
    Pop, Adrian Dan Iosif
    Linköping University, Department of Computer and Information Science.
    Aronsson, Peter
    Linköping University, Department of Computer and Information Science.
    Towards Comprehensive Meta-Modeling and Meta-Programming Capabilities in Modelica2005Conference paper (Other academic)
  • 10.
    Fritzson, Peter
    et al.
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Pop, Adrian Dan Iosif
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Lundvall, Håkan
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Aronsson, Peter
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Nyström, Kaj
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Saldamli, Levon
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Broman, David
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Sandholm, Anders
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    OpenModelica - A Free Open-Source Environment for System Modeling, Simulation, and Teaching2006In: Proceedings of the2006 IEEE International Conference on Control Applications (CCA)2006 IEEE Conference on Computer-Aided Control Systems Design (CACSD)2006 IEEE International Symposium on Intelligent Control (ISIC), Munich, Germany: IEEE , 2006, 1588-1595 p.Conference paper (Refereed)
    Abstract [en]

    Modelica is a modern, strongly typed, declarative, and object-oriented language for modeling and simulation of complex systems. This paper gives a quick overview of some aspects of the OpenModelica environment - an open-source environment for modeling, simulation, and development of Modelica applications. An introduction of the objectives of the environment is given, an overview of the architecture is outlined and a number of examples are illustrated.   

  • 11.
    Fritzson, Peter
    et al.
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Pop, Adrian Dan Iosif
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Norling, Kristoffer
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Blom, Mikael
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Comment- and Indentation Preserving Refactoring and Unparsing for Modelica2008In: Proceedings of the 6th International Modelica Conference, March 3rd-4th, 2008, University of Applied Sciences Bielefeld, Bielefeld, Germany / [ed] Bernhard Bachmann, Modelica Website: Modelica Association , 2008, 657-665 p.Conference paper (Refereed)
    Abstract [en]

    In this paper we present a strategy for comment- and indentation preserving refactoring and unparsing for Modelica. The approach is general, but is currently being implemented for Modelica in the OpenModelica environment. We believe this to be one of the first unparsing approaches that can preserve all user-defined indentation and comment information, as well as fulfilling the principle of minimal replacement at refactorings.

  • 12.
    Fritzson, Peter
    et al.
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Pop, Adrian
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Sjölund, Martin
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Towards Modelica 4 Meta-Programming and Language Modeling with MetaModelica 2.02011Report (Other academic)
    Abstract [en]

    This report gives a language definition and tutorial on how to model languages using MetaModelica 2.0 – an extension of Modelica 3.2 designed for efficient language modeling. Starting from an extremely simple language, a series of small languages are modeled by gradually adding features. Both interpretive and translational language semantics are modeled. Exercises with solutions are given.

    The approach of allowing the modeling language to model language semantics in principle allows the definition of language semantics in libraries, which could be used to reverse the current trend of model compilers becoming very large and complex.

    MetaModelica 2.0 builds on MetaModelica 1.0 which was the first Modelica language version that supports language modeling, and has been in extensive use since 2005, primarily in the development of the OpenModelica compiler.

    The following version of MetaModelica, called MetaModelica 2.0, is described in this report. It is easier to use since it also supports the standard Modelica 3 language features as well as additional modeling features for expressiveness and conciseness. It is implemented within the OpenModelica compiler itself. This means that the OpenModelica compiler supporting MetaModelica 2.0 is bootstrapped, i.e., it compiles itself.

    This work is strongly connected to the Modelica 4 effort announced by Modelica Association in September 2010, which includes moving language functionality into library packages to achieve more extensible and modular Modelica model compilers. The MetaModelica language features contribute to realizing that goal. The language features have been proven in large-scale usage in the packages within the OpenModelica compiler. However, much work still remains in improving the modularity and interface properties that are expected by library packages.

  • 13.
    Fritzson, Peter
    et al.
    Linköping University, Department of Computer and Information Science.
    Privitzer, Pavol
    Sjölund, Martin
    Linköping University, Department of Computer and Information Science.
    Pop, Adrian
    Linköping University, Department of Computer and Information Science.
    Towards a Text Generation Template Language for Modelica2009Conference paper (Refereed)
  • 14.
    Jagudin, Elmir
    et al.
    Linköping University, Department of Computer and Information Science.
    Remar, Andreas
    Linköping University, Department of Computer and Information Science.
    Pop, Adrian Dan Iosif
    Linköping University, Department of Computer and Information Science.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science.
    OpenModelica MDT Eclipse plugin for Modelica Development, Code Browsing, and Simulation2006Conference paper (Refereed)
    Abstract [en]

      

  • 15.
    Johansson, Olof
    et al.
    Linköping University, Department of Computer and Information Science.
    Pop, Adrian Dan Iosif
    Linköping University, Department of Computer and Information Science.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science.
    A functionality coverage analysis of industrially used ontology languages2004Conference paper (Refereed)
  • 16.
    Johansson, Olof
    et al.
    Linköping University, Department of Computer and Information Science.
    Pop, Adrian Dan Iosif
    Linköping University, Department of Computer and Information Science.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science.
    Engineering Design Tool Standards and Interfacing Possibilities to Modelica Simulation Tools2006Conference paper (Refereed)
    Abstract [en]

    This paper briefly describes some international standards used for engineering design tools that precede simulation in the product development process. Very much information in such design tools can be reused when developing Modelica simulation models. Examples are product structures, component parameters, and component connection information. The Modelica Standard Library (MSL) with the latest version 2.2.1 has grown significantly the last years. An analysis of the contents of MSL is provided, and a classification method described to ease the work of mapping structures, component parameters and connections in engineering design tools such that their information content can be reused for development of Modelica simulation models. ModelicaXML has been upgraded to support Modelica 2.2, and is briefly described as one of the most promising intermediate formats for exchange of models between engineering design tools and Modelica simulation tools. 

  • 17.
    Johansson, Olof
    et al.
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Pop, Adrian Dan Iosif
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    ModelicaDB - A Tool for Searching, Analysing, Crossreferencing and Checking of Modelica Libraries2005In: Proceedings fo the 4th International Modelica Conference, March 7-8, Hamburg University of Technology, Hamburg-Harburg, Germany, Volume 2 / [ed] Gerhard Schmitz, 2005, 445-454 p.Conference paper (Refereed)
    Abstract [en]

    This paper presents ModelicaDB, a tool that provides several kinds of queries on repositories of Modelica models.

    The Modelica language has a growing user community that produce a large and increasing code base of models.

    However, the reuse of models within the Modelica community can be greatly hampered in the future if there are no tools to address a number of management issues (i.e. scalable searching, analysing, crossreferencing, checking, etc) of such a large repository of models.

    We try to address these issues by providing the Modelica community with a ModelicaDB database for storing models and services for quering this database to perform a wide range of model engineering tasks in ascalable fashion.

    In the long-term, this work also aims at providing integration between Modelica tools and advanced product development processes that rely on database technology.

  • 18.
    Pop, Adrian
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Contributions to Meta-Modeling Tools and Methods2005Licentiate thesis, comprehensive summary (Other academic)
    Abstract [en]

    Highly integrated domain-specific environments are essential for the efficient design of complex physical products. However, developing such design environments is today a resource-consuming error-prone process that is largely manual. Meta-modeling and meta-programming are the key to the efficient development of such environments.

    The ultimate goal of our research is the development of a meta-modeling approach and its associated meta-prograrnming methods for the synthesis of model-driven product design environments that support modeling and simulation. Such environments include model-editors, compilers. debuggers and simulators. This thesis presents several contributions towards this vision, in the context of the Modelica framework.

    Thus, we have first designed a meta-model for the object-oriented declarative modeling language Modelica, which faci litates the development of tools for analysis. checking, querying, documentation, transformation and management of Modelica models. We have used XML Schema for the representation of the meta-model. namely, ModelicaXML. Next, we have focused on the automatic composition. refactoring and transformation of Modelica models. We have extended the invasive composition environment COMPOST to handle Modelica models described using ModelicaXML.

    The Modelica language semantics has already been specified in the Relational Meta-Language (RML). which is an executable meta-programming system based on the Natural Semantics formalism. Using such a meta-programming approach to manipulate ModelicaXML, it is possible to automatically synthesize a Modelica compiler. However. such a task is difficult without the support for debugging. To address this issue we have developed a debugging framework for RML, based on abstract syntax tree instrumentation in the RML compiler and support of efficient tools for complex data structures and proof-trees visualization.

    Our contributions have been implemented within OpenModelica, an open-source Modelica framework. The evaluations performed using several case studies show the efficiency of our metamodeling tools and methods.

    List of papers
    1. ModelicaXML: A Modelica XML Representation with Applications
    Open this publication in new window or tab >>ModelicaXML: A Modelica XML Representation with Applications
    2003 (English)In: Proceedings of the 3rd International Modelica Conference (Modelica 2003) / [ed] Peter Fritzson, 2003, 419-430 p.Conference paper, Published paper (Other academic)
    Abstract [en]

    This paper presents the Modelica XML representation with some applications. ModelicaXML provides an Extensible Markup Language (XML) alternative representation of Modelica source code. The language was designed as a standard format for storage, analysis and exchange of models. ModelicaXML represents the structure of the Modelica language as XML trees, similar to Abstract Syntax Trees (AST) generated by a compiler when parsing Modelica source code. The ModelicaXML (DTD/XML-Schema) grammar that validates ModelicaXML documents is introduced. We reflect on the software-engineering analyses one can perform over ModelicaXML documents using standard and general XML tools and techniques. Furthermore we investigate how we can use more powerful markup languages, like the Resource Description Framework (RDF) and the Web Ontology Language (OWL), to express some of the Modelica language semantics.

    National Category
    Computer Sciences
    Identifiers
    urn:nbn:se:liu:diva-30333 (URN)15870 (Local ID)15870 (Archive number)15870 (OAI)
    Conference
    3rd International Modelica Conference (Modelica 2003), November 3-4, 2003, Linköping, Sweden
    Available from: 2009-10-09 Created: 2009-10-09 Last updated: 2018-01-13
    2. Composition of XML Dialects: A ModelicaXML Case Study
    Open this publication in new window or tab >>Composition of XML Dialects: A ModelicaXML Case Study
    2005 (English)In: Electronical Notes in Theoretical Computer Science, ISSN 1571-0661, E-ISSN 1571-0661, Vol. 114, no SPEC. ISS., 137-152 p.Article in journal (Refereed) Published
    Abstract [en]

    This paper investigates how software composition and transformation can be applied to domain specific languages used today in modeling and simulation of physical systems. More specifically, we address the composition and transformation of the Modelica language. The composition targets the ModelicaXML dialect which is the XML representation of the Modelica language. By extending the COMPOST concrete composition layer with a component model for Modelica, we provide composition and transformation of Modelica. The design of our COMPOST extension is presented togheter with examples of composition programs for Modelica.

    Keyword
    Composition of XML dialects, COMPOST, Domain Specific Languages, Modelica, ModelicaXML, XML
    National Category
    Engineering and Technology
    Identifiers
    urn:nbn:se:liu:diva-45526 (URN)10.1016/j.entcs.2004.02.071 (DOI)
    Available from: 2009-10-11 Created: 2009-10-11 Last updated: 2017-12-13
    3. An integrated framework for model-driven design and development using Modelica
    Open this publication in new window or tab >>An integrated framework for model-driven design and development using Modelica
    2004 (English)In: Proceedings of SIMS 2004 the 45th International Conference of Scandinavian Simulation Society / [ed] Brian Elmegaard, Jon Sporring, Kenny Erleben, Kim Sørensen, 2004, 405-412 p.Conference paper, Published paper (Refereed)
    Abstract [en]

    This paper presents recent work in the area of model-driven product development processes. The focus is on the integration of product design tools with modeling and simulation tools. The goal is to provide automatic generation of models from product specifications using a highly integrated set of tools. Also, we provide the designer with the possibility of selecting the best design choice, verified through (automatic) simulation of different implementation alternatives of the same product model. To have a flexible interaction among various tools of the framework an XML representation of the Modelica modeling language called ModelicaXML is used. For efficient search in a large base of simulation models the Modelica Database was designed.

    National Category
    Computer Sciences
    Identifiers
    urn:nbn:se:liu:diva-22648 (URN)1934 (Local ID)87-7475-316-9 (ISBN)1934 (Archive number)1934 (OAI)
    Conference
    SIMS 2004, the 45th International Conference of Scandinavian Simulation Society Copenhagen, Denmark. September 23–24, 2004
    Available from: 2009-10-07 Created: 2009-10-07 Last updated: 2018-01-13
    4. The Modelica Standard Library as an Ontology for Modeling and Simulation of Physical Systems
    Open this publication in new window or tab >>The Modelica Standard Library as an Ontology for Modeling and Simulation of Physical Systems
    2004 (English)Report (Other academic)
    Abstract [en]

    This paper presents the Modelica Standard Library, an ontology used in modeling and simulation of physical systems. The Modelica Standard Library is continuously developed in the Modelica community. We present parts of the Modelica Standard Library and show an example of its usage. Also, in this paper we focus on the comparison of Modelica, the language used to specify the Modelica Standard Library with other ontology languages developed in the Semantic Web community.

    Series
    Internal Report
    National Category
    Engineering and Technology
    Identifiers
    urn:nbn:se:liu:diva-100402 (URN)
    Available from: 2013-11-06 Created: 2013-11-06 Last updated: 2014-10-08
    5. Debuging Natural Semantics Specifications
    Open this publication in new window or tab >>Debuging Natural Semantics Specifications
    2005 (English)In: Proceedings of the sixth international symposium on Automated analysis-driven debugging. AADEBUG'05, New York, NY, USA: ACM , 2005, 77-82 p.Conference paper, Published paper (Refereed)
    Abstract [en]

    In this paper we present the design and usage of a debugging framework for the Relational Meta-Language (RML), which is a language for writing executable Natural Semantics specifications. The language is successfully used at our department for writing large specifications for a range of languages like Java, Modelica, Pascal, MiniML etc. The RML system previously had no debugging facilities, which made it hard for programmers to debug their specifications. With this work we address these issues by providing a debugging framework for debugging high level Natural Semantics specifications in RML.

    Place, publisher, year, edition, pages
    New York, NY, USA: ACM, 2005
    Keyword
    debugging, logical functional languages, proof-trees, rule-based
    National Category
    Computer Sciences
    Identifiers
    urn:nbn:se:liu:diva-30334 (URN)10.1145/1085130.1085140 (DOI)15871 (Local ID)1-59593-050-7 (ISBN)15871 (Archive number)15871 (OAI)
    Conference
    AADEBUG2005, Sixth International Symposium On Automated And Analysis-Driven Debugging, Monterey, California, September 19-21, 2005
    Available from: 2009-10-09 Created: 2009-10-09 Last updated: 2018-01-13
  • 19.
    Pop, Adrian
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Integrated Model-Driven Development Environments for Equation-Based Object-Oriented Languages2008Doctoral thesis, monograph (Other academic)
    Abstract [en]

    Integrated development environments are essential for efficient realization of complex industrial products, typically consisting of both software and hardware components. Powerful equation-based object-oriented (EOO) languages such as Modelica are successfully used for modeling and virtual prototyping increasingly complex physical systems and components, whereas software modeling approaches like UML, especially in the form of domain specific language subsets, are increasingly used for software systems modeling.

    A research hypothesis investigated to some extent in this thesis is if EOO languages can be successfully generalized also to support software modeling, thus addressing whole product modeling, and if integrated environments for such a generalized EOO language tool support can be created and effectively used on real-sized applications.

    However, creating advanced development environments is still a resource-consuming error-prone process that is largely manual. One rather successful approach is to have a general framework kernel, and use meta-modeling and meta-programming techniques to provide tool support for specific languages. Thus, the main goal of this research is the development of a meta-modeling approach and its associated meta-programming methods for the synthesis of model-driven product development environments that includes support for modeling and simulation. Such environments include components like model editors, compilers, debuggers and simulators. This thesis presents several contributions towards this vision in the context of EOO languages, primarily the Modelica language.

    Existing state-of-the art tools supporting EOO languages typically do not satisfy all user requirements with regards to analysis, management, querying, transformation, and configuration of models. Moreover, tools such as model-compilers tend to become large and monolithic. If instead it would be possible to model desired tool extensions with meta-modeling and meta-programming, within the application models themselves, the kernel tool could be made smaller, and better extensibility, modularity and flexibility could be achieved.

    We argue that such user requirements could be satisfied if the equation-based object-oriented languages are extended with meta-modeling and meta-programming. This thesis presents a new language that unifies EOO languages with term pattern matching and transformation typically found in functional and logic programming languages. The development, implementation, and performance of the unified language are also presented.

    The increased ease of use, the high abstraction, and the expressivity of the unified language are very attractive properties. However, these properties come with the drawback that programming and modeling errors are often hard to find. To overcome these issues, several methods and integrated frameworks for run-time debugging of the unified language have been designed, analyzed, implemented, and evaluated on non-trivial industrial applications.

    To fully support development using the unified language, an integrated model-driven development environment based on the Eclipse platform is proposed, designed, implemented, and used extensively. The development environment integrates advanced textual modeling, code browsing, debugging, etc. Graphical modeling is also supported by the development environment based on a proposed ModelicaML Modelica/UML/SysML profile. Finally, serialization, composition, and transformation operations on models are investigated.

  • 20.
    Pop, Adrian
    et al.
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Akhvlediani, David
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Towards Unified System Modeling with the ModelicaML UML Profile2007In: Simulation News Europe, ISSN 0929-2268, Vol. 17, no 2, 9-15 p.Article in journal (Refereed)
    Abstract [en]

    In order to support the development of complex products, modeling tools and processes need to support co-design of software and hardware in an integrated way. Modelica is the major object-oriented mathematical modeling language for component-oriented modeling of complex physical systems and UML is the dominant graphical modeling notation for software. In this paper we propose ModelicaML UML profile as an integration of Modelica and UML. The profile combines the major UML diagrams with Modelica graphic connection diagrams and is based on the System Modeling Language (SysML) profile.

  • 21.
    Pop, Adrian Dan Iosif
    et al.
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Akhvlediani, David
    IDA, PELAB Linköping University.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Integrated UML and Modelica System Modeling with ModelicaML in Eclipse2007In: The 11th IASTED International Conference on Software Engineering and Applications,2007 / [ed] J. Smith, Cambridge, MA, USA: ACTA Press, 2007, 400- p.Conference paper (Refereed)
    Abstract [en]

    Complex products are increasingly consisting of both software and hardware components which are closely interacting. Thus, modeling tools and processes need to support co-design of software and hardware in an integrated way. Currently, UML is the dominant graphical modeling notation for software, whereas Modelica is the major object-oriented mathematical modeling language for component-oriented modeling of complex physical systems, e.g., systems containing mechanical, electrical, electronic, hydraulic, thermal, control, electric power or process-oriented subcomponents. Here we present the first comprehensive UML-Modelica-SysML integrated modeling environment as a ModelicaML profile integrated in Eclipse. The profile reuses artifacts from the System Modeling Language (SysML) profile, and combines the major UML diagrams with Modelica graphic connection diagrams. Requirement, equation, and simulation diagrams are also supported in an integrated way. Moreover, the availability of the UML-style internal class diagram view for Modelica classes may also ease the understanding of modeling with Modelica for software developers with a UML background. 

  • 22.
    Pop, Adrian Dan Iosif
    et al.
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Akhvlediani, David
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Towards Unified System Modeling with the ModelicaML UML Profile2007In: EOLT 2007, Linköping: Linköping University Electronic Press , 2007, 13-24 p.Conference paper (Other academic)
    Abstract [en]

    In order to support the development of complex products, modeling tools and processes need to support co-design of software and hardware in an integrated way. Modelica is the major object-oriented mathematical modeling language for component-oriented modeling of complex physical systems and UML is the dominant graphical modeling notation for software. In this paper we propose ModelicaML UML profile as an integration of Modelica and UML. The profile combines the major UML diagrams with Modelica graphic connection diagrams and is based on the System Modeling Language (SysML) profile.

  • 23.
    Pop, Adrian Dan Iosif
    et al.
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Baluta, Vasile
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Eclipse Support for Design and Requirements Engineering based on ModelicaML2007In: SIMS 2007 / [ed] Peter Bunus, Dag Fritzson and Claus Führer, Linköping: Linköping University Electronic Press , 2007, 93-100 p.Conference paper (Other academic)
    Abstract [en]

    In order to support the development of complex products, modeling tools and processes need to support codesign of software and hardware in an integrated way. Modelica is the major object-oriented mathematical modeling language for component-oriented modeling of complex physical systems and UML is the dominant graphical modeling notation for software. The ModelicaML UML profile integrates Modelica and UML to support engineering of whole products. In this paper we present the Eclipse ModelicaML implementation and integration with the MDT Eclipse plugin, with emphasis on requirements support.

  • 24.
    Pop, Adrian Dan Iosif
    et al.
    Linköping University, Department of Computer and Information Science.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science.
    A Portable Debugger for Algorithmic Modelica Code2005Conference paper (Refereed)
    Abstract [en]

    In this paper we present the first comprehensive debugger for the algorithmic subset of the Modelica language, which augments previous work in our group on declarative static and dynamic debugging of equations in Modelica. This replaces debugging of algorithmic code using primitive means such as print statements or asserts which is complex, time-consuming and errorprone. The debugger is portable since it is based on transparent source code instrumentation techniques that are independent of the implementation platform. The usual debugging functionality found in debuggers for procedural or traditional object-oriented languages is supported: setting and removing breakpoints, singlestepping, inspecting variables, back-trace of stack contents, tracing, etc.

  • 25.
    Pop, Adrian Dan Iosif
    et al.
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    An Eclipse-based Integrated Environment for Developing Executable Structural Operational Semantics Specifications2007In: Electronical Notes in Theoretical Computer Science, ISSN 1571-0661, E-ISSN 1571-0661, Vol. 175, no 1, 71-75 p.Article in journal (Refereed)
    Abstract [en]

    The Structural Operational Semantics Development Tooling (SOSDT) Eclipse Plugin integrates the Relational Meta-Language (RML) compiler and debugger with the Eclipse Integrated Development Environment Framework. SOSDT, together with the RML compiler and debugger, provides an environment for developing and maintaining executable Structural Operational Semantics specifications, including the Natural Semantics big step variant of SOS specifications. The RML language is successfully used at our department for writing large specifications for a range of languages like Java, Modelica, Pascal, MiniML etc. The SOSDT environment includes support for browsing, code completion through menus or popups, code checking, automatic indentation, and debugging of specifications. © 2007 Elsevier B.V. All rights reserved.

  • 26.
    Pop, Adrian Dan Iosif
    et al.
    Linköping University, Department of Computer and Information Science.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science.
    MetaModelica: A Unified Equation-Based Semantical and Mathematical Modeling Language2006Conference paper (Refereed)
    Abstract [en]

    For a long time, one of the major research goals in the computer science research community has been to raise the level of abstraction power of specification languages/programming languages. Many specification languages and formalisms have been invented, but unfortunately very few of those are practically useful, due to limited computer support of these languages and/or inefficient implementations. Thus, one important goal is executable specification languages of high abstraction power and with high performance, good enough for practical usage and comparable in execution speed to hand implementations of applications in low-level languages such as C or C++. In this paper we briefly describe our work in creating efficient executable specification languages for two application domains. The first area is formal specification of programming language semantics, whereas the second is formal specification of complex systems for which we have developed an object-oriented mathematical modeling language called Modelica, including architectural support for components and connectors. Based on these efforts, we are currently working on a unified equation-based mathematical modeling language that can handle modeling of items as diverse as programming languages, computer algebra, event-driven systems, and continuous-time physical systems. The key unifying feature is the notion of equation. In this paper we describe the design and implementation of the unified language. A compiler implementation is already up and running, and used for substantial applications. This work was supported by the SSF RISE project, the Vinnova SWEBPROD project, and by the CUGS graduate school.

  • 27.
    Pop, Adrian Dan Iosif
    et al.
    Linköping University, Department of Computer and Information Science.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science.
    ModelicaXML: A Modelica XML Representation with Applications2003In: Proceedings of the 3rd International Modelica Conference (Modelica 2003) / [ed] Peter Fritzson, 2003, 419-430 p.Conference paper (Other academic)
    Abstract [en]

    This paper presents the Modelica XML representation with some applications. ModelicaXML provides an Extensible Markup Language (XML) alternative representation of Modelica source code. The language was designed as a standard format for storage, analysis and exchange of models. ModelicaXML represents the structure of the Modelica language as XML trees, similar to Abstract Syntax Trees (AST) generated by a compiler when parsing Modelica source code. The ModelicaXML (DTD/XML-Schema) grammar that validates ModelicaXML documents is introduced. We reflect on the software-engineering analyses one can perform over ModelicaXML documents using standard and general XML tools and techniques. Furthermore we investigate how we can use more powerful markup languages, like the Resource Description Framework (RDF) and the Web Ontology Language (OWL), to express some of the Modelica language semantics.

  • 28.
    Pop, Adrian Dan Iosif
    et al.
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Towards Run-time Debugging of Equation-based Object-oriented Languages2007In: SIMS 2007 / [ed] Peter Bunus, Dag Fritzson and Claus Führer, Linköping: Linköping University Electronic Press , 2007, 134-139 p.Conference paper (Other academic)
    Abstract [en]

    The development of today-s complex products requires advanced integrated environments and modeling languages for modeling and simulation. Equation-based object-oriented declarative (EOO) languages are emerging as the key approach to physical system modeling and simulation. The increased ease of use, the high abstraction and the expressivity of EOO languages are very attractive properties. However, these attractive properties come with the drawback that programming and modeling errors are often hard to find. In this paper we propose an integrated framework for run-time debugging of equation-based modeling languages. The framework integrates classical debugging techniques with special techniques for debugging EOO languages and is based on graph visualization and interaction. The debugging framework targets the Modelica language.

  • 29.
    Pop, Adrian Dan Iosif
    et al.
    Linköping University, Department of Computer and Information Science.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science.
    Jagudin, Elmir
    Linköping University, Department of Computer and Information Science.
    Remar, Andreas
    Linköping University, Department of Computer and Information Science.
    Akhvlediani, David
    Linköping University, Department of Computer and Information Science.
    OpenModelica Development Environment with Eclipse Integration for Browsing, Modeling, and Debugging2006Conference paper (Refereed)
    Abstract [en]

    The OpenModelica (MDT) Eclipse Plugin integrates the OpenModelica compiler and debugger with the Eclipse Integrated Development Environment Framework.. MDT, together with the OpenModelica compiler and debugger, provides an environment for Modelica development projects. This includes browsing, code completion through menus or popups, automatic indentation even of syntactically incorrect models, and model debugging. Simulation and plotting is also possible from a special command window. To our knowledge, this is the first Eclipse plugin for an equationbased language.

  • 30.
    Pop, Adrian Dan Iosif
    et al.
    Linköping University, Department of Computer and Information Science.
    Johansson, Olof
    Linköping University, Department of Computer and Information Science.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science.
    An integrated framework for model-driven design and development using Modelica2004In: Proceedings of SIMS 2004 the 45th International Conference of Scandinavian Simulation Society / [ed] Brian Elmegaard, Jon Sporring, Kenny Erleben, Kim Sørensen, 2004, 405-412 p.Conference paper (Refereed)
    Abstract [en]

    This paper presents recent work in the area of model-driven product development processes. The focus is on the integration of product design tools with modeling and simulation tools. The goal is to provide automatic generation of models from product specifications using a highly integrated set of tools. Also, we provide the designer with the possibility of selecting the best design choice, verified through (automatic) simulation of different implementation alternatives of the same product model. To have a flexible interaction among various tools of the framework an XML representation of the Modelica modeling language called ModelicaXML is used. For efficient search in a large base of simulation models the Modelica Database was designed.

  • 31.
    Pop, Adrian Dan Iosif
    et al.
    Linköping University, Department of Computer and Information Science.
    Savga, Ilie
    Linköping University, Department of Computer and Information Science.
    Assmann, Uwe
    Linköping University, Department of Computer and Information Science.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science.
    Composition of XML Dialects: A ModelicaXML Case Study2005In: Electronical Notes in Theoretical Computer Science, ISSN 1571-0661, E-ISSN 1571-0661, Vol. 114, no SPEC. ISS., 137-152 p.Article in journal (Refereed)
    Abstract [en]

    This paper investigates how software composition and transformation can be applied to domain specific languages used today in modeling and simulation of physical systems. More specifically, we address the composition and transformation of the Modelica language. The composition targets the ModelicaXML dialect which is the XML representation of the Modelica language. By extending the COMPOST concrete composition layer with a component model for Modelica, we provide composition and transformation of Modelica. The design of our COMPOST extension is presented togheter with examples of composition programs for Modelica.

  • 32.
    Pop, Adrian Dan Iosif
    et al.
    Linköping University, Department of Computer and Information Science.
    Savga, Ilie
    Linköping University, Department of Computer and Information Science.
    Assmann, Uwe
    Linköping University, Department of Computer and Information Science.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science.
    Composition of XML dialects: A ModelicaXML case study2004Conference paper (Refereed)
  • 33.
    Pop, Adrian Dan Iosif
    et al.
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Stavåker, Kristian
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Exception Handling for Modelica2008In: Proceedings of the 6th International Modelica Conference, March 3rd-4th, 2008. University of Applied Sciences Bielefeld, Bielefeld, Germany / [ed] Bernhard Bachmann, Modelica Website: Modelica Association , 2008, 409-417 p.Conference paper (Refereed)
    Abstract [en]

    Any mature modeling and simulation language should provide support for error recovery. Errors might always appear in the runtime of such languages and the developer should be able to specify alternatives when failures happen. In this paper we present the design and implementation of exception handling in Modelica. To our knowledge this is the first approach of integrating equation-based object-oriented languages (EOO) with exception handling.

  • 34.
    Pop, Adrian
    et al.
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Debuging Natural Semantics Specifications2005In: Proceedings of the sixth international symposium on Automated analysis-driven debugging. AADEBUG'05, New York, NY, USA: ACM , 2005, 77-82 p.Conference paper (Refereed)
    Abstract [en]

    In this paper we present the design and usage of a debugging framework for the Relational Meta-Language (RML), which is a language for writing executable Natural Semantics specifications. The language is successfully used at our department for writing large specifications for a range of languages like Java, Modelica, Pascal, MiniML etc. The RML system previously had no debugging facilities, which made it hard for programmers to debug their specifications. With this work we address these issues by providing a debugging framework for debugging high level Natural Semantics specifications in RML.

  • 35.
    Pop, Adrian
    et al.
    Linköping University, Department of Computer and Information Science.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science.
    The Modelica Standard Library as an Ontology for Modeling and Simulation of Physical Systems2004Report (Other academic)
    Abstract [en]

    This paper presents the Modelica Standard Library, an ontology used in modeling and simulation of physical systems. The Modelica Standard Library is continuously developed in the Modelica community. We present parts of the Modelica Standard Library and show an example of its usage. Also, in this paper we focus on the comparison of Modelica, the language used to specify the Modelica Standard Library with other ontology languages developed in the Semantic Web community.

  • 36.
    Pop, Adrian
    et al.
    Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, The Institute of Technology.
    Sjölund, Martin
    Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, The Institute of Technology.
    Asghar, Adeel
    Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, The Institute of Technology.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, The Institute of Technology.
    Casella, Francesco
    Politecnico di Milano, Italy.
    Integrated Debugging of Modelica Models2014In: Modeling, Identification and Control, ISSN 1890-1328, Vol. 35, no 2, 93-107 p.Article in journal (Refereed)
    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.

  • 37.
    Schamai, Wladimir
    et al.
    EADS Innovation Works, Hamburg, Germany.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Paredis, Chris
    Georgia Institute of Technology, Atlanta, USA.
    Pop, Adrian
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Towards Unified Systems Modeling and Simulation with ModelicaML: Modeling of Executable Behavior Using Graphical Notations2009In: Proceedings of the 7th International Modelica Conference, Como, Italy, 20-22 September 2009, Linköping, Sweden: Linköping University Electronic Press, 2009, 612-621 p.Conference paper (Refereed)
    Abstract [en]

    This paper is a further step towards application of the Model-Based Systems Engineering (MBSE) paradigm, using standardized, graphical, and executable system modeling languages. It presents further development of Modelica graphical Modeling Language (ModelicaML), a UML Profile for Modelica, which enables an integrated modeling and simulation of system requirements and design (for systems including both hardware and software). This approach combines the power of the OMG UML/SysML standardized graphical notation for system and software modeling, and the modeling and simulation power of Modelica. It facilitates the creation of executable system-specification and analysis models that can simulate time-discrete (or eventbased) and time-continuous system behavior.

  • 38.
    Sjölund, Martin
    et al.
    Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, The Institute of Technology.
    Casella, Francesco
    Politecnico di Milano, Italy.
    Dan Iosif Pop, Adrian
    Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, The Institute of Technology.
    Asghar, Adeel
    Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, The Institute of Technology.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, The Institute of Technology.
    Braun, Willi
    FH Bielefeld, University of Applied Sciences, Germany.
    Ochel, Lennart
    FH Bielefeld, University of Applied Sciences, Germany.
    Bachmann, Bernhard
    FH Bielefeld, University of Applied Sciences, Germany.
    Integrated Debugging of Equation-Based Models2014In: Proceedings of the 10th International Modelica Conference / [ed] Hubertus Tummescheit and Karl-Erik Årzén, Linköping University Electronic Press, 2014, 195-204 p.Conference 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.

  • 39.
    Sjölund, Martin
    et al.
    Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, The Institute of Technology.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, The Institute of Technology.
    Pop, Adrian
    Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, The Institute of Technology.
    Bootstrapping a Compiler for an Equation-Based Object-Oriented Language2014In: Modeling, Identification and Control, ISSN 0332-7353, E-ISSN 1890-1328, Vol. 35, no 1, 1-19 p.Article in journal (Refereed)
    Abstract [en]

    What does it mean to bootstrap a compiler, and why do it? This paper reports on the first bootstrapping of a full-scale EOO (Equation-based Object-Oriented) modeling language such as Modelica. Bootstrapping means that the compiler of a language can compile itself. However, the usual application area for the Modelica is modeling and simulation of complex physical systems. Fortunately it turns out that with some minor extensions, the Modelica language is well suited for the modeling of language semantics. We use the name MetaModelica for this slightly extended Modelica. This is a prerequisite for bootstrapping which requires that the language can be used to model and/or implement itself. The OpenModelica Compiler (OMC) has been written in this MetaModelica language. It originally supported only the standard Modelica language but has been gradually extended to also cover the MetaModelica language extensions. After substantial work, OMC is able to quickly compile itself and produces an executable with good performance. The benefits include a more extensible and maintainable compiler by introducing improved language constructs and a more powerful runtime that makes it easy to add functionality such as parser generators, debuggers, and profiling tools. Future work includes extracting and restructuring parts of OMC, making the compiler smaller and more modular and extensible. This will also make it easier to interface with OMC, making it possible to create more powerful and user-friendly OpenModelica-based tools. The compiler and its bootstrapping is a major effort -- it is currently about 330 000 lines of code, and the MetaModelica extensions are used routinely by approximately ten developers on a daily basis. 

  • 40.
    Sjölund, Martin
    et al.
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Pop, Adrian
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Bootstrapping a Modelica Compiler aiming at Modelica 42011Conference paper (Refereed)
    Abstract [en]

    What does it mean to bootstrap a compiler, and why do it? This paper reports on the first bootstrapping (i.e., a compiler can compile itself) of a full-scale EOO (Equation-based Object-Oriented) modeling language such as Modelica. The Modelica language has been modeled/implemented in the OpenModelica compiler (OMC) using an extended version of Modelica called MetaModelica. OMC models the MetaModelica language and is now compiling itself with good performance. Benefits include a more extensible maintainable compiler, also making it easier to add functionality such as debugging support. This work is in line with the recently started Modelica 4 design effort which includes moving implementation of language features from the compiler to a Modelica Core library, allowing compilers to become smaller while increasing correctness and portability. A number of language constructs discussed for Modelica 4 are already supported in some form by the bootstrapped compiler. Future work includes adapting language constructs according to the Modelica 4 design effort and extracting and restructuring parts of the Modelica implementation from the OMC compiler to instead reside in a Modelica Core library, making the compiler smaller and more extensible.

  • 41.
    Stavåker, Kristian
    et al.
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Pop, Adrian
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Compiling and Using Pattern Matching in Modelica2008In: Proceedings of the 6th International Modelica Conference, March 3rd-4th, 2008, University of Applied Sciences Bielefeld, Bielefeld, Germany / [ed] Bernhard Bachmann, Modelica Website: Modelica Association , 2008, 637-645 p.Conference paper (Refereed)
    Abstract [en]

    Pattern matching is a well-known, powerful language feature found in functional programming languages. In this paper we present the implementation of pattern matching for Modelica. A pattern matching construct is useful for classification and decomposition of (possibly recursive) hierarchies of components such as the union type structures in the MetaModelica language extension. We argue that pattern matching not only is useful for language specification (as in the MetaModelica case) but also to write functional-style programs. One useful application is in list processing (lists are currently missing from Modelica but are part of MetaModelica). Other possible applications are in the generation of models from other models, e.g. the generation of models with uncertainty equations or models with different parameters. Another application is the generation of documentation from models and checking of guidelines or certain properties of models.

  • 42.
    Suess, Jörn Guy
    et al.
    University of Queensland, Australia.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Pop, Adrian Dan Iosif
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    The Impreciseness of UML and Implications for ModelicaML2008In: EOOLT 2008 / [ed] Peter Fritzson, François Cellier, David Broman, Linköping University Electronic Press , 2008, 17-26 p.Conference paper (Other academic)
    Abstract [en]

    The Modelica community has long pursued the vision of Integrated Whole Product Modelling. This implies the ability to integrate best practice modelling languages and techniques. With ModelicaML a first step towards an open integration within the sphere of the Eclipse Modelling Framework exists. This paper argues for a development direction of ModelicaML that creates a small core with well-defined semantics, instead of the current version that is based on an extension of SysML. To this end, modelling standards and their practicabilities are discussed and exemplified through a usage scenario.

  • 43.
    Süss, Jörn Guy
    et al.
    School of Information Technology and Electrical Engineering The University of Queensland.
    Pop, Adrian Dan Iosif
    Linköping University, Department of Computer and Information Science.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science.
    Wildman, Luke
    School of Information Technology and Electrical Engineering The University of Queensland.
    Towards Integrated Model-Driven Testing of SCADA Systems Using the Eclipse Modeling Framework and Modelica2008Conference paper (Refereed)
    Abstract [en]

    Testing SCADA (Supervisory Control And Data Acquisition) near real-time systems is challenging, as it involves complex interactions and the simulation of the supervised and controlled environment. Model-driven testing techniques can help to achieve clarity about the inner workings of the system and facilitate test construction, but these models are currently disconnected from those of the environmental simulation, leading to a paradigm break. This paper presents a strategy to remedy this situation. To this end, it leverages Modelica and the Eclipse Modeling Framework.Modelica is an object-oriented mathematical modeling language for component-oriented modeling of complex physical systems. It is an open standard and implementation, and provides a rendering of its input language in Ecore, the meta-language of the Eclipse Model-ing Framework (EMF). It also offers convenient visual editors, whose notation via the ModelicaML profile is consistent with the SysML standard, a restricted version of UMLThe strategy presented here leverages EMF as a common basis for model-driven development, reusing Modelica-s powerful simulation features in integration with a custom-designed testing process. With this tool-ing, a test engineer can model all aspects of a SCADA test within one workbench and enjoy full traceability between the proprietary test model, and its surrounding environment simulation.

  • 44.
    Torabzadeh-Tari, Mohsen
    et al.
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Pop, Adrian
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Sjölund, Martin
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Generalization of an Active Electronic Notebook for Teaching Multiple Programming Languages2010In: IEEE EDUCON Education Engineering 2010 – The Future of Global Learning Engineering Education: Learning Environments and Ecosystems in Engineering Education, 2010, 1083-1084 p.Conference paper (Refereed)
    Abstract [en]

    In this paper we present a generalization of the active electronic notebook, OMNotebook, for handling multiple programming languages for educational purposes. OMNotebook can be an alternative or complementary tool to the traditional teaching method with lecturing and reading textbooks. Experience shows that using such an electronic book will lead to more engagement from the students. OMNotebook can contain technical computations and text, as well as graphics. Hence it is a suitable tool for teaching, experimentation, simulation, scripting, model documentation, storage, etc. OMNotebook is part of the open source platform OpenModelica. It is already used for the course material DrModelica in teaching the Modelica language but can easily be adapted to other programming languages which is also shown in this paper. The notebook can also be adapted to other areas, such as physics, chemistry, biology, biomechanics etc., where phenomena can be illustrated by dynamic simulations within the notebook. The idea behind this paper is to show that by using a standardized interface the notebook can be extended to any computer language, i.e., being language independent. This is shown in the form of an implementation and adaptation of the notebook to support the Scheme language.

  • 45.
    Torabzadeh-Tari, Mohsen
    et al.
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Sjölund, Martin
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Pop, Adrian
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    OpenModelica-Python Interoperability Applied to Monte Carlo Simulation2009In: Proceedings of the 50th Scandinavian Conference on Simulation and Modeling, 2009Conference paper (Refereed)
  • 46.
    Torabzadeh-Tari, Mohsen
    et al.
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Remala, Jhansi Reddy
    Linköping University, Department of Computer and Information Science. Linköping University, The Institute of Technology.
    Sjölund, Martin
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Pop, Adrian
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    OMSketch — Graphical Sketching in the OpenModelica Interactive Book, OMNotebook2011Conference paper (Refereed)
    Abstract [sv]

    In this paper we present a new functionality for graphical sketching in the OpenModelica interactive book, OMNotebook, which is part of the OpenModelica environment and used mainly for teaching. The new functionality is called OMSketch and allows the user to edit and draw shapes and figures within the electronic book. This allows teachers to prepare more pedagogic course material and stu-dents to make graphical notes in addition to the currenttextual ones.

    The active electronic notebook, OMNotebook, is already used as basis for two course materials, DrModelica and DrControl for teaching the Modelica languages and control theory respectively. Electronic notebooks can be an alternative or complement compared to the traditional teaching me-thod with lecturing and reading textbooks. Experience shows that using such an electronic book will lead to more engagement from the students. OMNotebook can contain interactive technical computations and text, as well as graphics. Hence it is a suitable tool for teaching, experimentation, simu-lation, scripting, model documentation, storage, etc.

  • 47.
    Torabzadeh-Tari, Mohsen
    et al.
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Sjölund, Martin
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Pop, Adrian
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    DrControl: An Interactive Course Material for  Teaching Control Engineering2011Conference paper (Refereed)
    Abstract [en]

    In this paper we present an interactive course material called DrControl for teaching control theory concepts mixed together with exercises and example models in Modelica. The active electronic notebook, OMNotebook, is the basis for the course material. This can be an alternative or complement compared to the traditional teaching method with lecturing and reading textbooks. Experience shows that using such an electronic book will lead to more engagement from the students. OMNotebook can contain interactive technical computations and text, as well as graphics. Hence it is a suitable tool for teaching, experimentation, simulation, scripting, model documentation, storage, etc.

1 - 47 of 47
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf