liu.seSearch for publications in DiVA
Endre søk
Begrens søket
123456 151 - 200 of 279
RefereraExporteraLink til resultatlisten
Permanent link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Treff pr side
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sortering
  • Standard (Relevans)
  • Forfatter A-Ø
  • Forfatter Ø-A
  • Tittel A-Ø
  • Tittel Ø-A
  • Type publikasjon A-Ø
  • Type publikasjon Ø-A
  • Eldste først
  • Nyeste først
  • Skapad (Eldste først)
  • Skapad (Nyeste først)
  • Senast uppdaterad (Eldste først)
  • Senast uppdaterad (Nyeste først)
  • Disputationsdatum (tidligste først)
  • Disputationsdatum (siste først)
  • Standard (Relevans)
  • Forfatter A-Ø
  • Forfatter Ø-A
  • Tittel A-Ø
  • Tittel Ø-A
  • Type publikasjon A-Ø
  • Type publikasjon Ø-A
  • Eldste først
  • Nyeste først
  • Skapad (Eldste først)
  • Skapad (Nyeste først)
  • Senast uppdaterad (Eldste først)
  • Senast uppdaterad (Nyeste først)
  • Disputationsdatum (tidligste først)
  • Disputationsdatum (siste først)
Merk
Maxantalet träffar du kan exportera från sökgränssnittet är 250. Vid större uttag använd dig av utsökningar.
  • 151.
    Larsdotter Nilsson, Emma
    et al.
    Linköpings universitet, Institutionen för datavetenskap.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap.
    A Metabolic Specialization of a General Purpose Modelica Library for Biological and Biochemical Systems2005Konferansepaper (Annet vitenskapelig)
  • 152.
    Larsdotter Nilsson, Emma
    et al.
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    BioChem - A Biological and Chemical Library for Modelica2003Inngår i: Proceedings of the 3rd International Modelica Conference (November 3-4, Linköping, Sweden), Modelica Assocation , 2003Konferansepaper (Fagfellevurdert)
  • 153.
    Larsdotter Nilsson, Emma
    et al.
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Biochemical and Metabolic Modeling and Simulation with Modelica2005Inngår i: 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, s. 115-124Konferansepaper (Fagfellevurdert)
    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.

  • 154.
    Larsdotter Nilsson, Emma
    et al.
    Linköpings universitet, Institutionen för datavetenskap.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap.
    Simulating Willow Productivity Using Modelica2003Konferansepaper (Fagfellevurdert)
  • 155.
    Larsdotter Nilsson, Emma
    et al.
    Linköpings universitet, Institutionen för datavetenskap.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap.
    Using Modelica for Modeling of Discrete, Continuous and Hybrid Biological and Biochemical Systems2003Konferansepaper (Fagfellevurdert)
  • 156.
    Larsson, Jonas
    et al.
    Linköpings universitet, Institutionen för datavetenskap.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap.
    A Modelica-based Format for Flexible Code Generation and Causal Model Transformation2006Konferansepaper (Fagfellevurdert)
    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.

  • 157.
    Lengquist Sandelin, Eva-Lena
    et al.
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Monemar, Susanna
    Linköpings universitet, Institutionen för datavetenskap, CASL - Cognitive Autonomous Systems Laboratory. Linköpings universitet, Tekniska högskolan.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Bunus, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    DrModelica - A Web-Based Teaching Environment for Modelica2003Inngår i: Proceedings of the 44th Conference on Simulation and Modeling (SIMS), Malardalen University , 2003Konferansepaper (Annet vitenskapelig)
    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.

  • 158.
    Lengquist Sandelin, Eva-Lena
    et al.
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Monemar, Susanna
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Bunus, Peter
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    DrModelica - An Interactive Environment for Learning Modelica and Modeling using MathModelica2003Konferansepaper (Fagfellevurdert)
    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.

  • 159.
    Lengquist Sandelin, Eva-Lena
    et al.
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Monemar, Susanna
    Linköpings universitet, Institutionen för datavetenskap, CASL - Cognitive Autonomous Systems Laboratory. Linköpings universitet, Tekniska högskolan.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Bunus, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    DrModelica - An Interactive Tutoring Environment for Modelica2003Inngår i: Proceedings of the 3rd International Modelica Conference, Linköping: Modelica Association , 2003Konferansepaper (Fagfellevurdert)
    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.

  • 160.
    Lundvall, Håkan
    et al.
    Linköpings universitet, Institutionen för datavetenskap.
    Bunus, Peter
    Linköpings universitet, Institutionen för datavetenskap.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap.
    Towards Automatic Generation of Model Checkable Code from Modelica2004Konferansepaper (Annet vitenskapelig)
  • 161.
    Lundvall, Håkan
    et al.
    Linköpings universitet, Institutionen för datavetenskap.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap.
    Automatic Parallelization of Mathematical Models Solved with Inlined Runge-Kutta Solvers2007Konferansepaper (Annet vitenskapelig)
  • 162.
    Lundvall, Håkan
    et al.
    Linköpings universitet, Institutionen för datavetenskap.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap.
    Automatic Parallelization of Object Oriented  Models Across Method and System2007Konferansepaper (Fagfellevurdert)
    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.

  • 163.
    Lundvall, Håkan
    et al.
    Linköpings universitet, Institutionen för datavetenskap.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap.
    Automatic Parallelization of Object Oriented Models Executed with Inline Solvers2007Konferansepaper (Annet vitenskapelig)
  • 164.
    Lundvall, Håkan
    et al.
    Linköpings universitet, Institutionen för datavetenskap.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap.
    Automatic Parallelization using Pipelining for Equation-Based Simulation Languages2009Konferansepaper (Fagfellevurdert)
  • 165.
    Lundvall, Håkan
    et al.
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Event Handling in the OpenModelica Compiler and Run-time System2005Konferansepaper (Fagfellevurdert)
    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.

  • 166.
    Lundvall, Håkan
    et al.
    Linköpings universitet, Institutionen för datavetenskap.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap.
    Modelling concurrent activities and resource sharing in Modelica2003Konferansepaper (Fagfellevurdert)
  • 167.
    Lundvall, Håkan
    et al.
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Bachmann, Bernhard
    Dept. Mathematics and Engineering, University of Applied Sciences, Bielefeld, Germany.
    Event Handling in the OpenModelica Compiler and Runtime System2008Rapport (Annet vitenskapelig)
    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.

  • 168.
    Lundvall, Håkan
    et al.
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Stavåker, Kristian
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Kessler, Christoph
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Automatic Parallelization of Simulation Code for Equation-based Models with Software Pipelining and Measurements on Three Platforms2008Inngår i: 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, s. 60-69Konferansepaper (Fagfellevurdert)
    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.

  • 169.
    Lundvall, Håkan
    et al.
    Linköpings universitet, Institutionen för datavetenskap.
    Stavåker, Kristian
    Linköpings universitet, Institutionen för datavetenskap.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap.
    Kessler, Christoph
    Linköpings universitet, Institutionen för datavetenskap.
    Automatic Parallelization of Simulation Code for Equation-based Models with Software Pipelining and Measurements on Three Platforms.2008Inngår i: SIGARCH Computer Architecture News, ISSN 0163-5964, E-ISSN 1943-5851, Vol. 36, nr 5Artikkel i tidsskrift (Fagfellevurdert)
    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.

  • 170. Machanik, Philip
    et al.
    Liebman, Ariel
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap.
    Modeling of CO2 Reduction Impacts on Energy Prices with Modelica2008Konferansepaper (Fagfellevurdert)
  • 171.
    Maggio, Martina
    et al.
    Dipartimento di Elettronica e Informazione, Politecnico di Milano, Milano, Italy.
    Stavåker, Kristian
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    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öpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Parallel Simulation of Equation-based Object-Oriented Models with Quantized State Systems on a GPU2009Inngår i: Proceedings 7th Modelica Conference, Como, Italy, Sep. 20-22, 2009, Linköping: Linköping University Electronic Press, 2009, s. 251-260Konferansepaper (Fagfellevurdert)
    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.

  • 172. Malmen, Joakim
    et al.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Algorithmic Debugging for Parallel Message-Passing Procedural Languages1993Konferansepaper (Fagfellevurdert)
  • 173.
    Mattson, Håkan
    et al.
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Kessler, Christoph
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Nyström, Kaj
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    GridModelica: Modeling and Simulating on the Grid2005Konferansepaper (Fagfellevurdert)
  • 174.
    Mengist, Alachew
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska fakulteten.
    Asghar, Adeel
    Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska fakulteten.
    Pop, Adrian
    Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska fakulteten.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska fakulteten.
    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-Simulation2015Inngår i: 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, s. 181-188Konferansepaper (Fagfellevurdert)
    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.

  • 175.
    Moghadam, Afshin Hemmati
    et al.
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Gebremedhin, Mahder
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Stavåker, Kristian
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Simulation and benchmarking of Modelica models on multi-core architectures with explicit parallel algorithmic language extensions2011Inngår i: Fourth Swedish Workshop on Multi-Core Computing MCC-2011 / [ed] Kessler, Christoph, 2011, Vol. S. 109-114, s. 109-114Konferansepaper (Annet vitenskapelig)
    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. 

  • 176.
    Myers, T.
    et al.
    Institute of Intelligent and Integrated Systems, Griffith University, Australia.
    Schamai, Wladimir
    Airbus.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Comodeling revisited: Execution of behavior trees in modelica2011Inngår i: Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2011, Linköping University Electronic Press , 2011, s. 97-106Konferansepaper (Fagfellevurdert)
    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.

  • 177.
    Myers, Toby
    et al.
    Griffith University.
    Dromey, R Geoff
    Griffith University.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap.
    Comodeling: From Requirements to an Integrated Software/Hardware Model2011Inngår i: COMPUTER, ISSN 0018-9162, Vol. 44, nr 4, s. 62-70Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    n/a

  • 178.
    Myers, Toby
    et al.
    Griffith University, Australia.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Dromey, Geoff
    Griffith University, Australia.
    Seamlessly Integrating Software & Hardware Modelling for Large-Scale Systems2008Inngår i: EOOLT 2008, Linköping University Electronic Press , 2008, s. 5-15Konferansepaper (Annet vitenskapelig)
    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.

  • 179.
    Nayak, Priyam
    et al.
    Indian Inst Technol, India.
    Dalve, Pravin
    Indian Inst Technol, India.
    Sai, Rahul Anandi
    Indian Inst Technol, India.
    Jain, Rahul
    Indian Inst Technol, India.
    Moudgalya, Kannan M.
    Indian Inst Technol, India.
    Naren, P. R.
    SASTRA Deemed Univ, India.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska fakulteten.
    Wagner, Daniel
    Independent Researcher, Manaus, Brazil.
    Chemical Process Simulation Using OpenModelica2019Inngår i: Industrial & Engineering Chemistry Research, ISSN 0888-5885, E-ISSN 1520-5045, Vol. 58, nr 26, s. 11164-11174Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    The equation-oriented general-purpose simulator OpenModelica provides a convenient, extendible modeling environment, with capabilities such as an easy switch from steady-state to dynamic simulations. This work reports the creation of a library of steady-state models of unit operations using OpenModelica. The use of this library is demonstrated through a few representative flow-sheets, and the results are compared with the steady-state simulators Aspen Plus and DWSIM. Being open-source and supported by a large community of developers across the world, OpenModelica provides a convenient platform to train a large number of chemical engineers to increase collaborative research and employment.

  • 180.
    Nilsson, Henrik
    et al.
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Algorithmic debugging for lazy functional languages1992Inngår i: Programming Language Implementation and Logic Programming, Springer Berlin/Heidelberg, 1992, s. 385-399Konferansepaper (Fagfellevurdert)
    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.

  • 181.
    Nilsson, Henrik
    et al.
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Declarative Algorithmic Debugging for Lazy Functional Languages1994Inngår i: Journal of functional programming (Print), ISSN 0956-7968, E-ISSN 1469-7653, Vol. 4, nr 3, s. 337-370Artikkel i tidsskrift (Fagfellevurdert)
    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

  • 182.
    Nilsson, Henrik
    et al.
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Lazy algorithmic debugging: Ideas for practical implementation1993Inngår i: Automated and Algorithmic Debugging, Springer Berlin/Heidelberg, 1993, s. 117-134Konferansepaper (Fagfellevurdert)
    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.

  • 183.
    Nordling, Patrik
    et al.
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Parallelization of the CVODE ordinary differential equation solver with applications to rolling bearing simulation1995Inngår i: High-Performance Computing and Networking, Springer, 1995Konferansepaper (Fagfellevurdert)
    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.

  • 184.
    Nordling, Patrik
    et al.
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Solving ordinary differential equations on parallel computers — applied to dynamic rolling bearings simulation1994Inngår i: Parallel Scientific Computing, Springer Berlin/Heidelberg, 1994, s. 397-415Konferansepaper (Fagfellevurdert)
    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

  • 185.
    Nordling, Patrik
    et al.
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Fritzson, Dag
    SKF Engineering & Research Centre .
    Rolling Bearing Simulation On Mimd Computers1996Konferansepaper (Fagfellevurdert)
    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.

  • 186. Norling, Kristoffer
    et al.
    Broman, David
    Linköpings universitet, Institutionen för datavetenskap.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap.
    Siemers, Alexander
    Linköpings universitet, Institutionen för datavetenskap.
    Fritzson, Dag
    Linköpings universitet, Institutionen för datavetenskap.
    Secure Distributed Co-Simulation over Wide Area Networks2007Konferansepaper (Annet vitenskapelig)
    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.

  • 187.
    Nyström, Kaj
    et al.
    Linköpings universitet, Institutionen för datavetenskap.
    Aronsson, Peter
    Linköpings universitet, Institutionen för datavetenskap.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap.
    GridModelica- A Modeling and Simulation Framework for the Grid2004Konferansepaper (Annet vitenskapelig)
  • 188.
    Nyström, Kaj
    et al.
    Linköpings universitet, Institutionen för datavetenskap.
    Aronsson, Peter
    Linköpings universitet, Institutionen för datavetenskap.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap.
    Parallelization in Modelica2005Konferansepaper (Annet vitenskapelig)
  • 189.
    Nyström, Kaj
    et al.
    Linköpings universitet, Institutionen för datavetenskap.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap.
    Parallel Simulation with Transmission Lines in Modelica2006Konferansepaper (Fagfellevurdert)
  • 190.
    Otter, Martin
    et al.
    Institute of System Dynamics and Control, DLR, Germany.
    Thuy, Nguyen
    EDF, France.
    Bouskela, Daniel
    EDF, France.
    Buffoni, Lena
    Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska fakulteten.
    Elmqvist, Hilding
    Dassault Systèmes AB, Sweden.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska fakulteten.
    Garro, Alfredo
    DIMES, University of Calabria, Italy.
    Jardin, Audrey
    EDF, France.
    Olsson, Hans
    Dassault Systèmes AB, Sweden.
    Payelleville, Maxime
    Dassault Aviation, France.
    Schamai, Wladimir
    Airbus Group Innovations, Germany.
    Thomas, Eric
    Dassault Aviation, France.
    Tundis, Andrea
    DIMES, University of Calabria, Italy.
    Formal Requirements Modeling for Simulation-Based Verification2015Inngår i: 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, s. 625-635Konferansepaper (Fagfellevurdert)
    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.

  • 191.
    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öpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Rouquette, Nicolas
    Jet Propulsion Laboratory.
    Schamai, Wladimir
    Airbus.
    An Overview of the SysML-Modelica Transformation Specification2010Konferansepaper (Fagfellevurdert)
    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.

  • 192.
    Persson, Andreas
    et al.
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Ringström, Johan
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    A Case Study of Code Generator Generation for Embedded SIMD Computers1996Konferansepaper (Fagfellevurdert)
    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.

  • 193.
    Persson, Tommy
    et al.
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Parallel implementation of image reconstruction for the CARABAS long-wave penetrating radar1996Inngår i: High-Performance Computing and Networking / [ed] Heather Liddel, lAdrian Colbrook, Bob Hertzberger, Peter Sloot, Springer Berlin/Heidelberg, 1996, s. 327-332Konferansepaper (Fagfellevurdert)
    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.

  • 194.
    Pettersson, Mikael
    et al.
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    A General and Practical Approach to Concrete Syntax Objects within ML1992Konferansepaper (Fagfellevurdert)
    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.

  • 195.
    Pettersson, Mikael
    et al.
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap.
    DML - A Meta-language and System for the Generation of Practical and Efficient Compilers from Denotational Specifications1992Inngår i: Computer Languages, 1992, IEEE , 1992, s. 127-136Konferansepaper (Fagfellevurdert)
    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

  • 196.
    Pop, Adrian
    et al.
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Akhvlediani, David
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Towards Unified System Modeling with the ModelicaML UML Profile2007Inngår i: Simulation News Europe, ISSN 0929-2268, Vol. 17, nr 2, s. 9-15Artikkel i tidsskrift (Fagfellevurdert)
    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.

  • 197.
    Pop, Adrian Dan Iosif
    et al.
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Akhvlediani, David
    IDA, PELAB Linköping University.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Integrated UML and Modelica System Modeling with ModelicaML in Eclipse2007Inngår i: The 11th IASTED International Conference on Software Engineering and Applications,2007 / [ed] J. Smith, Cambridge, MA, USA: ACTA Press, 2007, s. 400-Konferansepaper (Fagfellevurdert)
    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. 

  • 198.
    Pop, Adrian Dan Iosif
    et al.
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Akhvlediani, David
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Towards Unified System Modeling with the ModelicaML UML Profile2007Inngår i: EOLT 2007, Linköping: Linköping University Electronic Press , 2007, s. 13-24Konferansepaper (Annet vitenskapelig)
    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.

  • 199.
    Pop, Adrian Dan Iosif
    et al.
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Baluta, Vasile
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Eclipse Support for Design and Requirements Engineering based on ModelicaML2007Inngår i: SIMS 2007 / [ed] Peter Bunus, Dag Fritzson and Claus Führer, Linköping: Linköping University Electronic Press , 2007, s. 93-100Konferansepaper (Annet vitenskapelig)
    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.

  • 200.
    Pop, Adrian Dan Iosif
    et al.
    Linköpings universitet, Institutionen för datavetenskap.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap.
    A Portable Debugger for Algorithmic Modelica Code2005Konferansepaper (Fagfellevurdert)
    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.

123456 151 - 200 of 279
RefereraExporteraLink til resultatlisten
Permanent link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf