| 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. |
|
|
| 11. |
-
Proceedings of the 56th Conference on Simulation and Modelling (SIMS 56) : October, 7-9, 2015, Linköping University, Sweden
- 2015
-
Proceedings (redaktörskap) (refereegranskat)abstract
- WelcomeThe 56th Conference on Simulation and Modelling will be held in Linköping, Sweden. Linköping is one of Sweden’s fastest growing cities. The population is constantly increasing and will soon surpass 150 000 inhabitants. It is currently Sweden’s fifth largest city and a part of the expansive region Twin Cities of Sweden. Linköping has long been characterized by world-class high technology in the fields of aviation, IT and the environment. There is a strong force of innovation especially in Mjärdevi Science Park—one of Europe’s leading technology parks, and at the highly ranked university, which stands for excellence and entrepreneurship.SIMS is the Scandinavian Simulation Society with members from the five Nordic countries Denmark, Finland, Norway, Sweden and Iceland. The SIMS history goes back to 1959. The goal of SIMS is to further the science and practice of modeling and simulation in all application areas and be a Scandinavian forum for information interchange among modeling and simulation professionals and non-professionals in Denmark, Finland, Norway and Sweden as well as a channel for information exchange between the Scandinavian modeling and simulation community and the international modeling and simulation communities.The ambition of the SIMS is to bring the field of modeling and simulation technology to a variety of application fields from energy extraction to building and automotive industries, resulting in more sustainable and ecological systems and reducing energy consumption and waste production. The scientific program includes technical sessions with submitted and invited papers and will cover broad aspects of simulation, modeling and optimization.The focus of the conference is split evenly between papers on simulation and optimization in a variety of applied contexts spanning domains such as oil extraction, automotive and building industries and more methodological papers on tools and technologies for simulation and modeling.This year we wanted to emphasize the importance of reducing the gap between state of the art methodologies and tools and industrial applications. To this end a number of invited talks, papers and tutorials were centered on tools and methodologies for successful modeling in an industrial context.The format of the conference is somewhat changed compared to previous years. This year we have dedicated a half-day before the traditional two-day conference to tutorials, with 3 tutorials presenting stateof- the-art simulation tools.Conference highlights:4 Keynote speeches40 papers in 2 parallel tracks3 tutorialsElectronic proceedings including all papers and some associated Modelica libraries and modelsFinally, we want to acknowledge the support we received from the conference board and program committee as well as from the SIMS board. Special thanks to our colleagues at this year’s organizers at Linköping University, especially to Åsa Kärrman, and Tina Malmström from Grand Travel Group. The support from the conference sponsors is gratefully acknowledged. Last but not least, thanks to all authors, keynote speakers, and presenters for their contributions to this conference. We wish all participants an enjoyable and inspiring conference.Linköping, September 1, 2015Lena Buffoni, Adrian Pop and Bernhard Thiele
|
|
| 12. |
- Schamai, Wladimir, et al.
(författare)
-
An Aeronautic Case Study for Requirement Formalization and Automated Model Composition in Modelica
- 2015
-
Ingår i: Proceedings of the 11th International Modelica Conference, Versailles, France, September 21-23, 2015. - Linköping : Linköping University Electronic Press. - 9789176859551 ; , s. 911-920
-
Konferensbidrag (refereegranskat)abstract
- Building complex systems from models that have been developed separately without modifying existing code is a challenging task faced on a regular basis in multiple contexts including design verification. To address this issue an approach has been developed for automating dynamic system model composition by defining the minimum set of information that is necessary to the composition process. In this paper a design and implementation of this approach for standard Modelica is presented in the context of an application case study – the verification of a new design for spoiler activation against requirements.
|
|
| 13. |
- Schamai, Wladimir, et al.
(författare)
-
An Approach to Automated Model Composition Illustrated in the Context of Design Verification
- 2014
-
Ingår i: Modeling, Identification and Control. - : Norwegian Society of Automatic Control. - 1890-1328. ; 35:2, s. 79-91
-
Tidskriftsartikel (refereegranskat)abstract
- Building complex systems form models that were developed separately without modifying existing code is a challenging task faced on a regular basis in multiple contexts, for instance, in design verification. To address this issue, this paper presents a new approach for automating the dynamic system model composition. The presented approach aims to maximise information reuse, by defining the minimum set of information that is necessary to the composition process, to maximise decoupling by removing the need for explicit interfaces and to present a methodology with a modular and structured approach to composition. Moreover the presented approach is illustrated in the context of system design verification against requirements using a Modelica environment, and an approach for expressing the information necessary for automating the composition is formalized.
|
|
| 14. |
- Ståhl, Daniel, et al.
(författare)
-
An Eco-System Approach to Project-Based Learning in Software Engineering Education
- 2022
-
Ingår i: IEEE Transactions on Education. - : IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC. - 0018-9359 .- 1557-9638. ; 65:4, s. 514-523
-
Tidskriftsartikel (refereegranskat)abstract
- Contribution: This article identifies the participation of external stakeholders as a key contributing factor for positive outcomes in project-based software engineering courses. A model for overlapping virtuous circles of lasting positive impact on both stakeholders and students from such courses is proposed. Background: Project-based courses are widespread in software engineering education, and there are numerous designs for such courses presented in literature. It is found that the needs and motivations of external stakeholders, from industry and government sectors, in these courses has received limited attention in related work. Intended Outcomes: A course design that prepares students for graduate level studies and professional life, through close proximity to external stakeholders in a highly realistic setting, working on "live" projects. Application Design: Building on a long tradition of university-industry collaboration dating back to 1977, as well as findings in related work, students are assigned to live projects proposed by external stakeholders from industry and government, working in close proximity with their respective stakeholders throughout the project. The course places great emphasis on coaching over instruction, treating the many unforeseen challenges of such projects as a valuable part of the learning experience. Findings: Based on interviews with stakeholders and students, it is found that stakeholder and student outcomes are interdependent and build upon one another, and that positive outcomes for both groups are necessary for the sustainability of the course over multiple iterations.
|
|
