1. |
- Andersson, Anders, 1983-, et al.
(författare)
-
Powertrain Model Assesment for Different Driving Tasks through Requirement Verification
- 2016
-
Ingår i: Proceedings of the 9th EUROSIM Congress on Modelling and Simulation.
-
Konferensbidrag (refereegranskat)abstract
- For assessing whether a system model is a good candidate for a particular simulation scenario or choosing the best system model between multiple design alternatives it is important to be able to evaluate the suitability of the system model. In this paper we present a methodology based on finite state machine requirements verifying system behavior in a Modelica environment where the intended system model usage is within a moving base driving simulator. A use case illustrate the methodology with a Modelica powertrain system model using replaceable components and measured data from a Golf V. The achieved results show the importance of context of requirements and how users are assisted in finding system model issues.
|
|
2. |
- Andersson, Anders, et al.
(författare)
-
Powertrain Model Assessment for Different Driving Tasks through Requirement Verification
- 2018
-
Ingår i: The 9th EUROSIM Congress on Modelica and Simulation. - : Linköping University Electronic Press. - 9789176853993 ; , s. 721-727
-
Konferensbidrag (refereegranskat)abstract
- For assessing whether a system model is a good candidate for a particular simulation scenario or choosing the best system model between multiple design alternatives it is important to be able to evaluate the suitability of the system model. In this paper we present a methodology based on finite state machine requirements verifying system behaviour in a Modelica environment where the intended system model usage is within a moving base driving simulator. A use case illustrate the methodology with a Modelica powertrain system model using replaceable components and measured data from a Golf V. The achieved results show the importance of context of requirements and how users are assisted in finding system model issues.
|
|
3. |
- Buffoni, Lena, et al.
(författare)
-
Open source languages and methods for cyber-physical system development : Overview and case studies
- 2021
-
Ingår i: Electronics (Switzerland). - Basel : MDPI AG. - 2079-9292. ; 10:8
-
Tidskriftsartikel (refereegranskat)abstract
- Industrial cyber-physical system products interleave hardware, software, and communication components. System complexity is increasing simultaneously with increased demands on quality and shortened time-to-market. To effectively support the development of such systems, we present languages and tools for comprehensive integrated model-based development that cover major phases such as requirement analysis, design, implementation, and maintenance. The model-based approach raises the level of abstraction and allows to perform virtual prototyping by simulating and optimizing system models before building physical products. Moreover, open standards and open source implementations enable model portability, tool reuse and a broader deployment. In this paper we present a general overview of the available solutions with focus on Modelica/OpenModelica, Bloqqi, and Acumen. The paper presents contributions to these languages and environments, including symbolic-numeric modeling, requirement verification, code generation, model debugging, design optimization, graphical modeling, and variant handling with traceability, as well a general discussion and conclusions.
|
|
4. |
- Buffoni-Rogovchenko, Lena, et al.
(författare)
-
Requirement Verification and Dependency Tracing During Simulation in Modelica
- 2013
-
Ingår i: EUROSIM '13. - : IEEE Press. - 9780769550732 ; , s. 561-566
-
Konferensbidrag (refereegranskat)abstract
- Requirement verification is an important part of the development process, and the increasing system complexity has exacerbated the need for integrating this step into a formalized model driven development process, providing a dedicated methodology as well as tool support. In this paper the authors propose an extension for Modelica, an equation-based language for system modeling, that will allow to represent system requirements in the same formalism as the design model, thus reducing the need for transformations between different specialized formalisms, lowering maintenance and modification costs, and benefitting from the expression and simulation capabilities, as well as extensive tool support of Modelica. The object-oriented nature of the approach provides the advantages of modular design and hierarchical structuring of the requirement model. This paper also illustrates, with the help of an example, how requirement verification can be used alongside the simulation process to trace the components responsible for requirement violations. To this end, we introduce a formalism for expressing relationships between components and requirements, as well as a tracing algorithm.
|
|
5. |
- 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.
|
|
6. |
- Garro, Alfredo, et al.
(författare)
-
On formal cyber physical system properties modeling: a new temporal logic language and a Modelica-based solution
- 2016
-
Ingår i: 2016 IEEE International Symposium on Systems Engineering (ISSE). - : IEEE. - 9781509007936 - 9781509007943 ; , s. 112-119
-
Konferensbidrag (refereegranskat)abstract
- Modeling and Simulation methods, tools and techniques aim at supporting the different phases of the lifecycle of modern systems, going from requirements analysis to system design and operation. However, their effective application requires investigating several aspects such as the formal modeling of system requirements and the binding and automated composition between heterogeneous models (e.g. requirements models, architectural models, behavioral models). In this context, the paper presents a new formal requirement modeling language based on temporal logic, called FORM-L, and a software library, based on the Modelica language, that implements the constructs provided by FORM-L so as to enable the visual modeling of system properties as well as their verification through simulation. The effectiveness of the proposal is shown on a real case study concerning an Intermediate Cooling System.
|
|
7. |
- 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.
|
|
8. |
- Nilsson, Sara, 1990-, et al.
(författare)
-
Empirical Study of Requirements Engineering in Cross Domain Development
- 2018
-
Ingår i: DS 92: Proceedings of the DESIGN 2018 15th International Design Conference. - Glasgow : The Design Society. - 9789537738594 ; , s. 857-868
-
Konferensbidrag (övrigt vetenskapligt/konstnärligt)abstract
- Shortened time-to-market cycles and increasingly complex systems are just some of the challenges faced by industry. The requirement engineering process needs to adapt to these challenges in order to guarantee that the end product fulfils the customer expectations as well as the necessary safety norms. The goal of this paper is to investigate the way engineers work in practice with the requirement engeneering processes at different stages of the development, with a particular focus on the use of requirements in cross domain development and to compare this to the existing theory in the domain.
|
|
9. |
- Otter, Martin, et al.
(författare)
-
Formal Requirements Modeling for Simulation-Based Verification
- 2015
-
Ingår i: Proceedings of the 11th International Modelica Conference. - Linköping : Linköping University Electronic Press. - 9789176859551 ; , s. 625-635
-
Konferensbidrag (refereegranskat)abstract
- 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.
|
|
10. |
|
|