liu.seSearch for publications in DiVA
Change search
Refine search result
123456 151 - 200 of 275
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)
  • Disputation date (earliest first)
  • Disputation date (latest 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)
  • Disputation date (earliest first)
  • Disputation date (latest 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.
  • 151.
    Larsdotter Nilsson, Emma
    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.
    Biochemical and Metabolic Modeling and Simulation with Modelica2005In: BioMedSim 2005. Proceedings of the Conference on Modeling and Simulation in Biology, Medicine and Biomedical Engineering, May 26-27, 2005, Linköping, Sweden / [ed] Peter Fritzson, 2005, p. 115-124Conference paper (Refereed)
    Abstract [en]

    In the drug industry, the later a substance is discharged from the drug development pipeline, the higher the financial cost. In order to reduce the number of lead compounds a number of computerized systems have been suggested, and in most of these systems modeling and simulation of the lead compound’s effects on different metabolic pathways are essential. Inthese systems, substances that are expected to be harmful or lethal can be removed at an early stage and a reduced number of lead compounds can be chosen for the concluding tests.

    Given Modelica’s previous success with modeling and simulation of huge and complex systems it is likely that it will also be suitable for modeling, simulation, and visualization of metabolic pathway systems, e.g. those systems used in the drug industry. A Modelica library designed to be used for modeling, simulation, and visualization of metabolic pathways is the specialpurpose library Metabolic, an extension of the abstract Modelica library BioChem.

  • 152.
    Larsdotter Nilsson, Emma
    et al.
    Linköping University, Department of Computer and Information Science.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science.
    Simulating Willow Productivity Using Modelica2003Conference paper (Refereed)
  • 153.
    Larsdotter Nilsson, Emma
    et al.
    Linköping University, Department of Computer and Information Science.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science.
    Using Modelica for Modeling of Discrete, Continuous and Hybrid Biological and Biochemical Systems2003Conference paper (Refereed)
  • 154.
    Larsson, Jonas
    et al.
    Linköping University, Department of Computer and Information Science.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science.
    A Modelica-based Format for Flexible Code Generation and Causal Model Transformation2006Conference paper (Refereed)
    Abstract [en]

     The equation-based modeling language Modelica offers the possibility to extract a differential algebraic equation system (DAE). The DAE in turn can be used in numerical simulation, optimization, sensitivity analysis, diagnosis and more. For each of these categories, there exist software tools that all require slightly different input data, sometimes in symbolic form. Through examples, this paper briefly outlines a Modelica based format which can be used as input to the final code generation. This could yield a modular Modelica compiler in which the creation of diverse code generators is encouraged, which in turn widens the application area for Modelica. However, no formal definition of the format is presented here.. The paper also briefly addresses the issue of possible model causal adaptation needed at the equation level to make the model fit into target application with a causal usage context and how to automate the inclusion of these changes for seamless translation.

  • 155.
    Lengquist Sandelin, Eva-Lena
    et al.
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Monemar, Susanna
    Linköping University, Department of Computer and Information Science, CASL - Cognitive Autonomous Systems 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.
    Bunus, Peter
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    DrModelica - A Web-Based Teaching Environment for Modelica2003In: Proceedings of the 44th Conference on Simulation and Modeling (SIMS), Malardalen University , 2003Conference paper (Other academic)
    Abstract [en]

    This paper states the need for interactive teaching materials for programming languages within the area of modeling and simulation. We propose an interactive teaching material for the modeling language Modelica inspired by existing tutoring systems for Java and Scheme.

    The purpose of this new teaching material, called DrModelica, is to facilitate the learning of Modelica in a modeling and simulation environment. We have developed two versions of DrModelica, one that is based on Mathematica and another that is intended for the web. With the web version of DrModelica we hope for an increased usage of Modelica.

  • 156.
    Lengquist Sandelin, Eva-Lena
    et al.
    Linköping University, Department of Computer and Information Science. Linköping University, The Institute of Technology.
    Monemar, Susanna
    Linköping University, Department of Computer and Information Science. 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.
    Bunus, Peter
    Linköping University, Department of Computer and Information Science. Linköping University, The Institute of Technology.
    DrModelica - An Interactive Environment for Learning Modelica and Modeling using MathModelica2003Conference paper (Refereed)
    Abstract [en]

    This paper states the need for interactive teaching materials for programming languages within the area of modeling and simulation. We propose an interactive teaching material for the modeling language Modelica inspired by existing tutoring systems for Java and Scheme. The purpose of this new teaching material, called DrModelica, is to facilitate the learning of Modelica through an environment that integrates programming, program documentation and visualization. The teaching material is intended to be used for modeling and simulation related courses at the undergraduate and graduate level.

  • 157.
    Lengquist Sandelin, Eva-Lena
    et al.
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Monemar, Susanna
    Linköping University, Department of Computer and Information Science, CASL - Cognitive Autonomous Systems 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.
    Bunus, Peter
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    DrModelica - An Interactive Tutoring Environment for Modelica2003In: Proceedings of the 3rd International Modelica Conference, Linköping: Modelica Association , 2003Conference paper (Refereed)
    Abstract [en]

    This paper states the need for interactive teaching materials for programming languages within the area of modeling and simulation. We propose an interactive teaching material for the modeling language Modelica inspired by existing tutoring systems for Java and Scheme.

    The purpose of this new teaching material, called DrModelica, is to facilitate the learning of Modelica through an environment that integrates programming, program documentation and visualization. The teaching material is intended to be used for modeling and simulation related courses at the undergraduate and graduate level.

  • 158.
    Lundvall, Håkan
    et al.
    Linköping University, Department of Computer and Information Science.
    Bunus, Peter
    Linköping University, Department of Computer and Information Science.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science.
    Towards Automatic Generation of Model Checkable Code from Modelica2004Conference paper (Other academic)
  • 159.
    Lundvall, Håkan
    et al.
    Linköping University, Department of Computer and Information Science.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science.
    Automatic Parallelization of Mathematical Models Solved with Inlined Runge-Kutta Solvers2007Conference paper (Other academic)
  • 160.
    Lundvall, Håkan
    et al.
    Linköping University, Department of Computer and Information Science.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science.
    Automatic Parallelization of Object Oriented  Models Across Method and System2007Conference paper (Refereed)
    Abstract [en]

    In this work we report preliminary results of automatically generating parallel code from equation-based models together at two levels: Performing inline expansion of a Runge-Kutta solver combined with fine-grained automatic parallelization of the resulting RHS opens up new possibilities for generating high performance code, which is becoming increasingly relevant when multi-core computers are becoming common-place.We have introduced a new way of scheduling the task graph generated from the simulation problem which utilizes knowledge about locality of the simulation problem. The scheduling is also done in a way that limits communication, to the greatest extent possible, to neighboring processors thus avoiding expensive global synchronization. Preliminary tests on a PC-cluster show speedup that is better than what was achieved in previous work where parallelization was done only at the equation system level.

  • 161.
    Lundvall, Håkan
    et al.
    Linköping University, Department of Computer and Information Science.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science.
    Automatic Parallelization of Object Oriented Models Executed with Inline Solvers2007Conference paper (Other academic)
  • 162.
    Lundvall, Håkan
    et al.
    Linköping University, Department of Computer and Information Science.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science.
    Automatic Parallelization using Pipelining for Equation-Based Simulation Languages2009Conference paper (Refereed)
  • 163.
    Lundvall, Håkan
    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.
    Event Handling in the OpenModelica Compiler and Run-time System2005Conference paper (Refereed)
    Abstract [en]

    The paper gives an introduction to the problem simulating hybrid DAEs with event-handling using the Modelica language. An implementation in the OpenModelica compiler is presented, and some preliminary results are reported.

  • 164.
    Lundvall, Håkan
    et al.
    Linköping University, Department of Computer and Information Science.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science.
    Modelling concurrent activities and resource sharing in Modelica2003Conference paper (Refereed)
  • 165.
    Lundvall, Håkan
    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.
    Bachmann, Bernhard
    Dept. Mathematics and Engineering, University of Applied Sciences, Bielefeld, Germany.
    Event Handling in the OpenModelica Compiler and Runtime System2008Report (Other academic)
    Abstract [en]

    This paper gives an introduction and overview of problems and solutions regarding simulating hybrid DAEs (systems of Differential Algebraic Equations) with event-handling, in the context of producing such equations from models in the Modelica language. Iimplementation and measurements are done in the OpenModelica environment. The basic hybrid DAE solution algorithm is presented, followed by a discussion of handling possibly varying structure of the active part of the hybrid DAE, and how to find consistent initial values at start or restart of simulation. The problem of detecting events during continuous-time simulation is dealt with using crossing functions and an algorithm for proper integration with a numerical solver, here DASRT. Event-related aspects of code generation from models are presented, followed by an example showing how the event mechanism works. Finally, preliminary results from translating and simulating two examples models, the bouncing ball and the full wave rectifier, are presented and compared with those from a commercial simulation tool (Dymola), giving identical results.

  • 166.
    Lundvall, Håkan
    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.
    Kessler, Christoph
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Automatic Parallelization of Simulation Code for Equation-based Models with Software Pipelining and Measurements on Three Platforms2008In: Proceedings from the First Swedish Workshop on Multi-Core Computing, MCC-08, November 27-28, 2008, Ronneby, Sweden / [ed] Håkan Grahn, Ronneby, Sweden: Blekinge Institute of Technology , 2008, p. 60-69Conference paper (Refereed)
    Abstract [en]

    In this work we report results from a new integrated method of automatically generating parallel code from Modelica models by combining parallelization at two levels of abstraction. Performing inline expansion of a Runge-Kutta solver combined with fine-grained automatic parallelization of the right-hand side of the resulting equation system opens up new possibilities for generating high performance code, which is becoming increasingly relevant when multi-core computers are becoming commonplace. An implementation, in the form of a backend module for the OpenModelica compiler, has been developed and used for measurements on two architectures: Intel Xeon and SGI Altix 3700 Bx2. This paper also contains some very recent results of a prototype implementation of this parallelization approach on the Cell BE processor architecture.

  • 167.
    Lundvall, Håkan
    et al.
    Linköping University, Department of Computer and Information Science.
    Stavåker, Kristian
    Linköping University, Department of Computer and Information Science.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science.
    Kessler, Christoph
    Linköping University, Department of Computer and Information Science.
    Automatic Parallelization of Simulation Code for Equation-based Models with Software Pipelining and Measurements on Three Platforms.2008In: SIGARCH Computer Architecture News, ISSN 0163-5964, E-ISSN 1943-5851, Vol. 36, no 5Article in journal (Refereed)
    Abstract [en]

    In this work we report results from a new integrated method of automatically generating parallel code from Modelica models by combining parallelization at two levels of abstraction. Performing inline expansion of a Runge-Kutta solver combined with fine-grained automatic parallelization of the right-hand side of the resulting equation system opens up new possibilities for generating high performance code, which is becoming increasingly relevant when multi-core computers are becoming commonplace. An implementation, in the form of a backend module for the OpenModelica compiler, has been developed and used for measurements on two architectures: Intel Xeon and SGI Altix 3700 Bx2. This paper also contains some very recent results of a prototype implementation of this parallelization approach on the Cell BE processor architecture.

  • 168. Machanik, Philip
    et al.
    Liebman, Ariel
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science.
    Modeling of CO2 Reduction Impacts on Energy Prices with Modelica2008Conference paper (Refereed)
  • 169.
    Maggio, Martina
    et al.
    Dipartimento di Elettronica e Informazione, Politecnico di Milano, Milano, Italy.
    Stavåker, Kristian
    Linköping University, Department of Computer and Information Science. Linköping University, The Institute of Technology.
    Donida, Filippo
    Dipartimento di Elettronica e Informazione, Politecnico di Milano, Milano, Italy.
    Casella, Francesco
    Dipartimento di Elettronica e Informazione, Politecnico di Milano, Milano, Italy.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science. Linköping University, The Institute of Technology.
    Parallel Simulation of Equation-based Object-Oriented Models with Quantized State Systems on a GPU2009In: Proceedings 7th Modelica Conference, Como, Italy, Sep. 20-22, 2009, Linköping: Linköping University Electronic Press, 2009, p. 251-260Conference paper (Refereed)
    Abstract [en]

    This work focuses on the use of parallel hardware to improve the simulation speed of equation-based object-oriented Modelica models. With this intention,a method has been developed that allows for the translation of a restricted class of Modelica models to parallel simulation code, targeted for the Nvidia Tesla architecture and based on the Quantized State Systems(QSS) simulation algorithm. The OpenModelica Compiler (OMC) has been extended with a new back-end module for automatic generation of the simulation code that uses the CUDA extensions to the C language to be executable with a General Purpose Graphic Processing Unit (GPGPU). Preliminary performance measurments of a small example model havebeen done on the Tesla architecture.

  • 170. Malmen, Joakim
    et al.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Algorithmic Debugging for Parallel Message-Passing Procedural Languages1993Conference paper (Refereed)
  • 171.
    Mattson, Håkan
    et al.
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Kessler, Christoph
    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.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    GridModelica: Modeling and Simulating on the Grid2005Conference paper (Refereed)
  • 172.
    Mengist, Alachew
    et al.
    Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, Faculty of Science & Engineering.
    Asghar, Adeel
    Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, Faculty of Science & Engineering.
    Pop, Adrian
    Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, Faculty of Science & Engineering.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, Faculty of Science & Engineering.
    Braun, Willi.
    Dept Mathematics and Engineering, University of Applied Sciences, Germany.
    Siemers, Alexander
    SKF, Göteborg, Sweden.
    Fritzson, Dag
    SKF, Göteborg, Sweden.
    An Open-Source Graphical Composite Modeling Editor and Simulation Tool Based on FMI and TLM Co-Simulation2015In: Proceedings of the 11th International Modelica Conference: Versailles, France, September 21-23, 2015 / [ed] Peter Fritzson, Hilding Elmqvist, Linköping: Linköping University Electronic Press, 2015, p. 181-188Conference paper (Refereed)
    Abstract [en]

    A common situation in industry is that a system model (here a composite model) is composed of several sub-models which may have been developed using different tools. FMI is one important technology for exporting/importing models between tools and/or connecting them via co-simulation. TLM based modeling and co-simulation is another important technique for modeling, connecting, and simulation of especially mechanical systems, which is simple, numerically stable, and efficient. A number of tool-specific simulation models, such as Modelica models, SimuLink models, Adams models, BEAST models, etc., have successfully been connected and simulated using TLM based co-simulation. However, previously there was no general open source tool for creation, graphic editing, and simulation of composite models connected via FMI or TLM based co-simulation. In this paper we present a graphical composite model editor based on OpenModelica which is integrated with the OpenModelica and the SKF TLM co-simulation frameworks to support both FMI and TLM based composite model editing and simulation. The editor supports creating, viewing and editing a composite model both in textual and graphical representation. The system supports simulation of composite models consisting of sub-models created using different tools.

  • 173.
    Moghadam, Afshin Hemmati
    et al.
    Linköping University, Department of Computer and Information Science. Linköping University, The Institute of Technology.
    Gebremedhin, Mahder
    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.
    Simulation and benchmarking of Modelica models on multi-core architectures with explicit parallel algorithmic language extensions2011In: Fourth Swedish Workshop on Multi-Core Computing MCC-2011 / [ed] Kessler, Christoph, 2011, Vol. S. 109-114, p. 109-114Conference paper (Other academic)
    Abstract [en]

    In this paper we introduce new parallel programming language construcructs which can be used in the algorithmic parts of Modelica models, and we present a benchmark test suite of suitable algorithmic Modelica models that makes use of the new constructs (such as models containing large matrix computations). We provide measurements of simulating three models fraom this benchmark test suite using single-core and multi-core CPUs as well as GPUs. 

  • 174.
    Myers, T.
    et al.
    Institute of Intelligent and Integrated Systems, Griffith University, Australia.
    Schamai, Wladimir
    Airbus.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science. Linköping University, The Institute of Technology.
    Comodeling revisited: Execution of behavior trees in modelica2011In: Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2011, Linköping University Electronic Press , 2011, p. 97-106Conference paper (Refereed)
    Abstract [en]

    Large-scale systems increasingly consist of a mixture of co-dependent software and hardware. The differing nature of software and hardware means that they are often modeled separately and with different approaches. Comodeling is a design strategy that allows hardware/software integration issues to be identified, investigated and resolved in the early stages of development. Previous work described a comodeling approach that integrates Behavior Engineering with Modelica. This paper revisits this approach and introduces a new means of integration that natively executes Behavior Trees in Modelica rather than utilizing external functions. This enhanced integration has several benefits. Firstly, it makes comodeling easier to apply as the comodel is captured solely in Modelica. Secondly, it makes the ability to execute Behavior Trees widely available. Finally, it opens the possibility to use comodeling with other complementary approaches such as the virtual verification of system designs against system requirements.

  • 175.
    Myers, Toby
    et al.
    Griffith University.
    Dromey, R Geoff
    Griffith University.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science.
    Comodeling: From Requirements to an Integrated Software/Hardware Model2011In: COMPUTER, ISSN 0018-9162, Vol. 44, no 4, p. 62-70Article in journal (Refereed)
    Abstract [en]

    n/a

  • 176.
    Myers, Toby
    et al.
    Griffith University, Australia.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Dromey, Geoff
    Griffith University, Australia.
    Seamlessly Integrating Software & Hardware Modelling for Large-Scale Systems2008In: EOOLT 2008, Linköping University Electronic Press , 2008, p. 5-15Conference paper (Other academic)
    Abstract [en]

    Large-scale systems increasingly consist of a mixture of co-dependent software and hardware. The differing nature of software and hardware means that they are often modelled separately and with different approaches. This can cause failures later in development during the integration of software and hardware designs, due to incompatible assumptions of software/hardware interactions. This paper proposes a method of integrating the software engineering approach, Behavior Engineering, with the mathematical modelling approach, Modelica, to address the software/hardware integration problem. The environment and hardware components are modelled in Modelica and integrated with an executable software model designed using Behavior Engineering. This allows the complete system to be simulated and interactions between software and hardware to be investigated early in development.

  • 177.
    Nilsson, Henrik
    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.
    Algorithmic debugging for lazy functional languages1992In: Programming Language Implementation and Logic Programming, Springer Berlin/Heidelberg, 1992, p. 385-399Conference paper (Refereed)
    Abstract [en]

    Lazy functional languages have non-strict semantics and are purely declarative, i.e. they support the notion of referential transparency and are devoid of side effects. Traditional debugging techniques are, however, not suited for lazy functional languages since computations generally do not take place in the order one might expect. Since algorithmic debugging allows the user to concentrate on the declarative aspects of program semantics, and will semi-automatically find functions containing bugs, we propose to use this technique for debugging lazy functional programs. In this paper we present an algorithmic debugger for a lazy functional language and some experience in using it. Because of the non-strict semantics of lazy functional languages, arguments to functions are in general partially evaluated expressions. The user is, however, usually more concerned with the values that these expressions represent. We address this problem by providing the user with a strictified view of the execution trace whenever possible.

  • 178.
    Nilsson, Henrik
    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.
    Declarative Algorithmic Debugging for Lazy Functional Languages1994In: Journal of functional programming (Print), ISSN 0956-7968, E-ISSN 1469-7653, Vol. 4, no 3, p. 337-370Article in journal (Refereed)
    Abstract [en]

     Lazy functional languages are declarative and allow the programmer to write programs where operational issues such as the evaluation order are left implicit. It is desirable to maintain a declarative view also during debugging so as to avoid burdening the programmer with operational details, for example concerning the actual evaluation order which tends to be difficult to follow. Conventional debugging techniques focus on the operational behaviour of a program and thus do not constitute a suitable foundation for a general-purpose debugger for lazy functional languages. Yet, the only readily available, general-purpose debugging tools for this class of languages are simple, operational tracers. This thesis presents a technique for debugging lazy functional programs declaratively and an efficient implementation of a declarative debugger for a large subset of Haskell. As far as we know, this is the first implementation of such a debugger which is sufficiently efficient to be useful in practice. Our approach is to construct a declarative trace which hides the operational details, and then use this as the input to a declarative (in our case algorithmic) debugger. The main contributions of this thesis are: A basis for declarative debugging of lazy functional programs is developed in the form of a trace which hides operational details. We call this kind of trace the Evaluation Dependence Tree (EDT). We show how to construct EDTs efficiently in the context of implementations of lazy functional languages based on graph reduction. Our implementation shows that the time penalty for tracing is modest, and that the space cost can be kept below a user definable limit by storing one portion of the EDT at a time. Techniques for reducing the size of the EDT are developed based on declaring modules to be trusted and designating certain functions as starting-points for tracing. We show how to support source-level debugging within our framework. A large subset of Haskell is handled, including list comprehensions. Language implementations are discussed from a debugging perspective, in particular what kind of support a debugger needs from the compiler and the run-time system. We present a working reference implementation consisting of a compiler for a large subset of Haskell and an algorithmic debugger. The compiler generates fairly good code, also when a program is compiled for debugging, and the resource consumption during debugging is modest. The system thus demonstrates the feasibility of our approach

  • 179.
    Nilsson, Henrik
    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.
    Lazy algorithmic debugging: Ideas for practical implementation1993In: Automated and Algorithmic Debugging, Springer Berlin/Heidelberg, 1993, p. 117-134Conference paper (Refereed)
    Abstract [en]

    Lazy functional languages have non-strict semantics and are purely declarative, i.e. they support the notion of referential transparency and are devoid of side effects. Traditional debugging techniques are, however, not suited for lazy functional languages since computations generally do not take place in the order one might expect. Since algorithmic debugging allows the user to concentrate on the declarative aspects of program semantics, and will semi-automatically find functions containing bugs, we propose to use this technique for debugging lazy functional programs. Our earlier work showed that this is a promising approach. However, the current version of our debugger has severe implementational problems, e.g. too large trace size and too many questions asked. This paper suggests a number of techniques for overcoming these problems, at least partially. The key techniques are immediate strictification and piecemeal tracing.

  • 180.
    Nordling, Patrik
    et al.
    Linköping University, Department of Computer and Information Science. 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.
    Parallelization of the CVODE ordinary differential equation solver with applications to rolling bearing simulation1995In: High-Performance Computing and Networking, Springer, 1995Conference paper (Refereed)
    Abstract [en]

    We discuss how to solve ordinary differential equations on parallel computers, with application to dynamic rolling bearing simulation. We show how to parallelize both the solver and the model, in order to get a scalable application. The obtained results show that, within the original CVODE solver, LU factorization and the forward/backward elimination of the Newton matrix, for the rolling bearing application can be done in almost constant time, independent of the problem size.

  • 181.
    Nordling, Patrik
    et al.
    Linköping University, Department of Computer and Information Science. 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.
    Solving ordinary differential equations on parallel computers — applied to dynamic rolling bearings simulation1994In: Parallel Scientific Computing, Springer Berlin/Heidelberg, 1994, p. 397-415Conference paper (Refereed)
    Abstract [en]

    In this paper we investigate how to solve certain kinds of ordinary differential equations (ODEs) efficiently on several types of MIMD parallel computers. The amount of parallelism for solving initial value problems such as ODEs is often quite limited, but by exploiting some characteristics of the application area where these problems are solved, the amount of parallelism can be increased. We focus on solving ODEs for rolling bearing dynamics simulation, which is computationally expensive. Typical characteristics of such ODEs are: stiff ODEs, very high numerical precision needed for solution, and computationally expensive to evaluate the derivatives.

    We have adapted conventional solvers such as LSODA for execution on parallel computers, for example by evaluating the right-hand sides of the ODEs in parallel. The parallel machines used are: a Parsytec GigaCube with 16 T805 processors using the PARIX operating system, a Sun SPARCcenter 2000 with 8 processors and Solaris 2.3, and a cluster of nine SPARC 10 workstations connected via ethernet and using PVM. All these can be considered as Multiple Instruction Multiple Data (MIMD) architectures.

    The obtained speedup was fairly good, approximately two thirds of linear speedup. However, this application requires rather fine-grained synchronization, which favours scheduling methods that minimize communication. As always, it is easier to get good speedups on machines with slower processors

  • 182.
    Nordling, Patrik
    et al.
    Linköping University, Department of Computer and Information Science. 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.
    Fritzson, Dag
    SKF Engineering & Research Centre .
    Rolling Bearing Simulation On Mimd Computers1996Conference paper (Refereed)
    Abstract [en]

    Rolling bearing simulations are very computationally in tensive. Serial simulations may take weeks to execute, and there is a need to use the potential of parallel comput ing. The specific structure of the rolling bearing problem is used to develop suitable scheduling strategies. The authors discuss the system of stiff ordinary differential equations arising from a bearing model and show how to numerically solve these ordinary differential equations on parallel computers. Benchmarking results are presented for two test cases on three platforms.

  • 183. Norling, Kristoffer
    et al.
    Broman, David
    Linköping University, Department of Computer and Information Science.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science.
    Siemers, Alexander
    Linköping University, Department of Computer and Information Science.
    Fritzson, Dag
    Linköping University, Department of Computer and Information Science.
    Secure Distributed Co-Simulation over Wide Area Networks2007Conference paper (Other academic)
    Abstract [en]

    Modeling and simulation often require different tools for specialized purposes, which increase the motivation to use co-simulation. Since physical models often are describing enterprises¿ primary know-how, there is a need for a sound approach to securely perform modeling and simulation. This paper discusses different possibilities from a security perspective, with focus on secure distributed co-simulation over wide area networks (WANs), using transmission line modeling (TLM). An approach is outlined and performance is evaluated both in a simulated WAN environment, and for a real encrypted co-simulation between Sweden and Australia. It is concluded that several parameters affect the total simulation time, where especially the network delay (latency) has a significant impact.

  • 184.
    Nyström, Kaj
    et al.
    Linköping University, Department of Computer and Information Science.
    Aronsson, Peter
    Linköping University, Department of Computer and Information Science.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science.
    GridModelica- A Modeling and Simulation Framework for the Grid2004Conference paper (Other academic)
  • 185.
    Nyström, Kaj
    et al.
    Linköping University, Department of Computer and Information Science.
    Aronsson, Peter
    Linköping University, Department of Computer and Information Science.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science.
    Parallelization in Modelica2005Conference paper (Other academic)
  • 186.
    Nyström, Kaj
    et al.
    Linköping University, Department of Computer and Information Science.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science.
    Parallel Simulation with Transmission Lines in Modelica2006Conference paper (Refereed)
  • 187.
    Otter, Martin
    et al.
    Institute of System Dynamics and Control, DLR, Tyskland.
    Thuy, Nguyen
    EDF, Frankrike.
    Bouskela, Daniel
    EDF, Frankrike.
    Buffoni, Lena
    Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, Faculty of Science & Engineering.
    Elmqvist, Hilding
    Dassault Systèmes AB, Sverige.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, Faculty of Science & Engineering.
    Garro, Alfredo
    DIMES, University of Calabria, Italien.
    Jardin, Audrey
    EDF, Frankrike.
    Olsson, Hans
    Dassault Systèmes AB, Sverige.
    Payelleville, Maxime
    Dassault Aviation, Frankrike.
    Schamai, Wladimir
    Airbus Group Innovations, Tyskland.
    Thomas, Eric
    Dassault Aviation, Frankrike.
    Tundis, Andrea
    DIMES, University of Calabria, Italien.
    Formal Requirements Modeling for Simulation-Based Verification2015In: Proceedings of the 11th International Modelica Conference: Versailles, France, September 21-23, 2015 / [ed] Peter Fritzson, Hilding Elmqvist, Linköping: Linköping University Electronic Press, 2015, p. 625-635Conference paper (Refereed)
    Abstract [en]

    This paper describes a proposal on how to model formal requirements in Modelica for simulation-based verification. The approach is implemented in the open source Modelica_Requirements library. It requires extensions to the Modelica language, that have been prototypically implemented in the Dymola and OpenModelica software. The design of the library is based on the FOrmal Requirement Modeling Language (FORM-L) defined by EDF, and on industrial use cases from EDF and Dassault Aviation. It uses 2- and 3-valued temporal logic to describe requirements.

  • 188.
    Paredis, Christjaan
    et al.
    Georgia Institute of Technology.
    Bernard, Yves
    Airbus.
    Burkhart, Roger
    Deere&Co.
    Koning, Hans Peter de
    ESA/ESTEC.
    Friedenthal, Sanford
    Lockheed Martin Corp.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.
    Rouquette, Nicolas
    Jet Propulsion Laboratory.
    Schamai, Wladimir
    Airbus.
    An Overview of the SysML-Modelica Transformation Specification2010Conference paper (Refereed)
    Abstract [en]

    This paper provides an overview of the formal trans formation between the two complementary languages: OMG SysML TM and Modelica. SysML is a standardized general pur pose graphical modeling language for capturing complex system descriptions in terms of their structure, behavior, properties, and requirements. Modelica is a standa rdized general purpose systems modeling language for analyzing the continuous and discrete time dynamics of complex systems in terms of differential algebraic equations. Integrating the descriptive power of SysML models with the analytic and computational power of Modelica models provides a capability that is significantly greater than provided by SysML or Modelica individually. A standardized bi-directional transformation between the two modeling languages is being developed that will support implementations to transfer efficiently and automat ically the modeling information between SysML and Modelica models without ambiguity. In addition to an overview of this bi-directional transformation approach, the paper provides a simpl e example to clarify the transformation principles and to illustrate the important synergie s resulting from the integration between these two languages.

  • 189.
    Persson, Andreas
    et al.
    Linköping University, Department of Computer and Information Science. Linköping University, The Institute of Technology.
    Ringström, Johan
    Linköping University, Department of Computer and Information Science. 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.
    A Case Study of Code Generator Generation for Embedded SIMD Computers1996Conference paper (Refereed)
    Abstract [en]

    Can today's most advanced compiler generation systems handle specialized parallel processor architectures? To answer this question, a compiler targeting the embedded RVIP SIMD architecture was generated, using a combination of the DML-P front-end generator and the BEG back-end generator from the CoSy compiler generation toolset. A number of difficulties were encountered when specifying the code generator, for example disability to denote arbitrary register sequences in BEG specifications. However, the end result was positive and a number of lessons were learned on how to improve and generalize the code generation framework. An industrial-strength radar image filtering application was compiled with the generated compiler, giving a benchmarked performance of 2.8 times slower compared to the the same application implemented in micro-code like assembly. Despite the slow-down, industry considered this to be much better than expected.

  • 190.
    Persson, Tommy
    et al.
    Linköping University, Department of Computer and Information Science. 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.
    Parallel implementation of image reconstruction for the CARABAS long-wave penetrating radar1996In: High-Performance Computing and Networking / [ed] Heather Liddel, lAdrian Colbrook, Bob Hertzberger, Peter Sloot, Springer Berlin/Heidelberg, 1996, p. 327-332Conference paper (Refereed)
    Abstract [en]

    CARABAS (Coherent All RAdio BAnd Sensing) is a new type of radar that has the unique property of being able to penetrate through vegetation, and to some extent into upper levels of soil depending on water content. This can be done by using long radar waves in the range 3–15 meters, and new algorithms for image reconstruction from information in reflected radar waves. These algorithms are related to methods used for computer tomography, and are very computationally expensive. Two classes of algorithms for image reconstruction are direct Fourier methods and filtered backprojection. Even though filtered backprojection is more computationally demanding, we chose that method since it is easier to parallelize, it has better real-time properties, and it is easier to compensate for disturbances and achieve good image quality.

    In this paper we report results from the first parallel implementation of the CARABAS algorithms. The benchmarking was done on a Parsytec PowerGC MIMD computer with 128 PowerPC 601 processors. We come close to achieving the real-time requirement for significant parts of the computation.

  • 191.
    Pettersson, Mikael
    et al.
    Linköping University, Department of Computer and Information Science. 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.
    A General and Practical Approach to Concrete Syntax Objects within ML1992Conference paper (Refereed)
    Abstract [en]

    The ML programming language has been an important tool and framework for research in language design and implementation. As the language and its implementations have matured, the range of applications has increased greatly. New applications, combined with new ideas in design and implementation, have stimulated a large number of significant activities in research and software development. This workshop, like the previous workshops in Princeton, Edinburgh, and Pittsburgh, provides a forum for these activities, with a special emphasis on applications of the language.

  • 192.
    Pettersson, Mikael
    et al.
    Linköping University, Department of Computer and Information Science. Linköping University, The Institute of Technology.
    Fritzson, Peter
    Linköping University, Department of Computer and Information Science.
    DML - A Meta-language and System for the Generation of Practical and Efficient Compilers from Denotational Specifications1992In: Computer Languages, 1992, IEEE , 1992, p. 127-136Conference paper (Refereed)
    Abstract [en]

    DML (Denotational Meta Language) is a specification language and a compiler generation tool for producing practical and efficient compilers from denotational semantics specifications. This means that code emitted from generated compilers should be product quality, and that generated compilers should have reasonable compilation speed and interface well with standard front-ends and back-ends. To achieve this goal, the DML system contains: a general algorithm for producing efficient quadruple code from continuation semantics of Algol-like languages, and enhancements in the DML specification language with BNF rules for abstract syntax declarations and semantic brackets with inline concrete syntax and pattern matching for readable and concise semantic equations. Generated quadrupole code is fed into a standard optimizing back-end to obtain high-quality target code. The DML system generates efficient compilers in C and contains a foreign language interface for communication, e.g. with parsers or optimizing back-ends. DML is a superset of Standard ML and uses applicative order semantics, i.e. call by value, for reasons of efficiency

  • 193.
    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, p. 9-15Article 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.

  • 194.
    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, p. 400-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. 

  • 195.
    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, p. 13-24Conference 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.

  • 196.
    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, p. 93-100Conference 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.

  • 197.
    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.

  • 198.
    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, p. 71-75Article 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.

  • 199.
    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.

  • 200.
    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, p. 419-430Conference 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.

123456 151 - 200 of 275
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