| 1. |
- Asghar, Adeel, et al.
(författare)
-
Automatic Regression Testing of Simulation Models and Concept for Simulation of Connected FMUs in PySimulator
- 2015
-
Ingår i: Proceedings of the 11th International Modelica Conference. - Linköping : Linköping University Electronic Press. - 9789176859551 ; , s. 671-679
-
Konferensbidrag (refereegranskat)abstract
- The Modelica and FMI tool ecosystem is growing each year with new tools and methods becoming available. The open Modelica standard promises portability but it is important to ensure that a certain model behaves the same in different Modelica tools or in a different version of the same tool. It is also very important (for model evolution) to check that a new version of the same model produces comparable results. Finally, it is desirable to verify that a model exported in FMU form from a Modelica tool gives exactly the same results as the original model. This paper presents a framework for automatic regression testing as part of PySimulator which provides an efficient and concise way of testing if a model or a range of models behaves in the same way in several tools or versions of a tool by checking that the results produced are essentially identical. The FMI standard has been adopted by many tool vendors and is growing in popularity each year. This paper proposes a concept for building and simulating a system made from connected FMUs generated by different tools. The FMUs for Co-Simulation can be connected together using a GUI. The system model built graphically in this way can be saved for later use or simulated directly inside PySimulator. Active development is going on to support simulation of connected FMUs for Model Exchange.
|
|
| 2. |
- Fritzson, Peter, 1952-, et al.
(författare)
-
The OpenModelica Integrated Environment for Modeling, Simulation, and Model-Based Development
- 2020
-
Ingår i: Modeling, Identification and Control. - Kristiansand, Norway : Norsk Forening for Automatisering. - 0332-7353 .- 1890-1328. ; 41:4, s. 241-295
-
Tidskriftsartikel (refereegranskat)abstract
- OpenModelica is a unique large-scale integrated open-source Modelica- and FMI-based modeling, simulation, optimization, model-based analysis and development environment. Moreover, the OpenModelica environment provides a number of facilities such as debugging; optimization; visualization and 3D animation; web-based model editing and simulation; scripting from Modelica, Python, Julia, and Matlab; efficient simulation and co-simulation of FMI-based models; compilation for embedded systems; Modelica-UML integration; requirement verification; and generation of parallel code for multi-core architectures. The environment is based on the equation-based object-oriented Modelica language and currently uses the MetaModelica extended version of Modelica for its model compiler implementation. This overview paper gives an up-to-date description of the capabilities of the system, short overviews of used open source symbolic and numeric algorithms with pointers to published literature, tool integration aspects, some lessons learned, and the main vision behind its development.
|
|
| 3. |
- Kircher, Katja, 1973-, et al.
(författare)
-
Tactical steering behaviour under irrevocable visual occlusion
- 2018
-
Ingår i: Transportation Research Part F. - : ELSEVIER SCI LTD. - 1369-8478 .- 1873-5517. ; 55, s. 67-77
-
Tidskriftsartikel (refereegranskat)abstract
- Objective: To investigate the extent of a driver's mental model with irrevocable visual occlusion and analysing the distance to crash.Background: Drivers have a mental model of the immediate surroundings which allows them to predict their own as well as others' travel paths. To navigate safely through traffic, this mental model has to be updated frequently to remain valid. In between information sampling events, the mental model will become outdated over time, as the traffic system is dynamic.Method: A simulator study with 22 participants was conducted to investigate the information decay in the mental model. This was implemented by extending visual occlusion until the driver collided with another vehicle or ran off the road, thus providing an estimate of how long it takes until the mental model becomes obsolete.Results: An analysis of variance with the factors curve direction, curve radius and traffic showed that curve radius did not influence the distance to crash. Without traffic, drivers veered off the road sooner in right curves. Adding traffic eliminated this difference. Traffic ahead led to a shortened distance to crash. Compared to a tangential travel path from the current lateral position at the time of the occlusion, drivers crashed on average 2.6 times later than they would have, had they not had any mental model of the situation.Conclusions: The drivers' mental representation of the future situation seems to include information on how to act, to alleviate deviations in yaw angle, including and considering the presence of other road users.
|
|
| 4. |
- Mengist, Alachew, et al.
(författare)
-
An Integrated Framework for Traceability and Impact Analysis in Requirements Verification of Cyber-Physical Systems
- 2021
-
Ingår i: Electronics. - : MDPI. - 2079-9292. ; 10:8
-
Tidskriftsartikel (refereegranskat)abstract
- In the field of model-based design of Cyber-Physical Systems (CPS), seamless traceability of the process, from requirements to models to simulation results, is becoming increasingly important. It can be used to support several activities such as variant handling, impact analysis, component reuse, software maintenance and evolution, verification, and validation. Despite the fact that the relevance of traceability in the model-based design of CPSs is well known, current tools that support traceability management are inadequate in practice. The lack of comprehensive whole-lifecycle systems engineering support in a single tool is one of the main causes of such ineffective traceability management, where traceability relationships between artifacts are still manually generated and maintained. This paper aims at presenting an approach and a prototype for automatically generating and maintaining the appropriate traceability links between heterogeneous artifacts ranging from requirement models, through design models, down to simulation and verification results throughout the product life cycle in model-based design of CPSs. A use case study is presented to validate and illustrate the proposed method and prototype.
|
|
| 5. |
- Mengist, Alachew, et al.
(författare)
-
An Open-Source Graphical Composite Modeling Editor and Simulation Tool Based on FMI and TLM Co-Simulation
- 2015
-
Ingår i: Proceedings of the 11th International Modelica Conference. - Linköping : Linköping University Electronic Press. - 9789176859551 ; , s. 181-188
-
Konferensbidrag (refereegranskat)abstract
- 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.
|
|
| 6. |
- Mengist, Alachew, 1987-
(författare)
-
Methods and Tools for Efficient Model-Based Development of Cyber-Physical Systems with Emphasis on Model and Tool Integration
- 2019
-
Licentiatavhandling (övrigt vetenskapligt/konstnärligt)abstract
- Model-based tools and methods are playing important roles in the design and analysis of cyber-physical systems before building and testing physical prototypes. The development of increasingly complex CPSs requires the use of multiple tools for different phases of the development lifecycle, which in turn depends on the ability of the supporting tools to interoperate. However, currently no vendor provides comprehensive end-to-end systems engineering tool support across the entire product lifecycle, and no mature solution currently exists for integrating different system modeling and simulation languages, tools and algorithms in the CPSs design process. Thus, modeling and simulation tools are still used separately in industry.The unique challenges in integration of CPSs are a result of the increasing heterogeneity of components and their interactions, increasing size of systems, and essential design requirements from various stakeholders. The corresponding system development involves several specialists in different domains, often using different modeling languages and tools. In order to address the challenges of CPSs and facilitate design of system architecture and design integration of different models, significant progress needs to be made towards model-based integration of multiple design tools, languages, and algorithms into a single integrated modeling and simulation environment.In this thesis we present the need for methods and tools with the aim of developing techniques for numerically stable co-simulation, advanced simulation model analysis, simulation-based optimization, and traceability capability, and making them more accessible to the model-based cyber physical product development process, leading to more efficient simulation. In particular, the contributions of this thesis are as follows: 1) development of a model-based dynamic optimization approach by integrating optimization into the model development process; 2) development of a graphical co-modeling editor and co-simulation framework for modeling, connecting, and unified system simulation of several different modeling tools using the TLM technique; 3) development of a tool-supported method for multidisciplinary collaborative modeling and traceability support throughout the development process for CPSs; 4) development of an advanced simulation modeling analysis tool for more efficient simulation.
|
|
| 7. |
- Mengist, Alachew, 1987-
(författare)
-
Model‐Based Tool Integration and Ontology‐Driven Traceability in Model‐Based Development Environments
- 2023
-
Doktorsavhandling (övrigt vetenskapligt/konstnärligt)abstract
- The landscape of tools available for model-based development of Cyber-Physical Systems (CPSs) is vast, encompassing numerous specialized tools designed to support models at the component-level. In reality, the different parts of the system represented by these component-level models are often physically tightly coupled and interdependent, and the models themselves are subject to change and evolve over time.However, due to the lack of interoperability between tools it is often challenging to integrate component-level models into larger system simulations and to support model evolution across the entire product lifecycle. In order to streamline the system development process and allow for seamless integration of models and a variety of development tools, a comprehensive integrated model-based development environment is required.To address these challenges, this thesis contributes a model-based tool integration approach and an ontology-driven automated traceability method that utilizes a standardized integration convention, language-neutral model transformation technology, and co-simulation technique to integrate several tools for CPSs development as well as to automatically establish and maintain traceability between heterogeneous artifacts created throughout the product development lifecycle. The applicability, validity, and usefulness of these approaches and the developed prototypes are demonstrated through industrial-relevant use case examples.In particular, the main contributions presented in this thesis are summarized as follows:Design, development, and validation of an ontology-driven approach for multidisciplinary collaborative modeling and traceability support throughout the development process for CPSs;Design, development, and validation of a general approach for modeling a composite model containing several tool-specific simulation component-level models which can be integrated, connected, and simulated using the Transmission Line Modeling (TLM) co-simulation technique;Design, development, and validation of a model-based dynamic optimization approach by enabling the reuse of simulation models for optimization;Design, development, and validation of advanced simulation analysis and post processing of results support in model-based development environments.
|
|
