Open source languages and methods for cyber-physical system development : Overview and case studies
Buffoni, Lena ; Ochel, Lennart ; Pop, Adrian ; Fritzson, Peter ; Fors, Niklas LU
; Hedin, Görel
LU
; Taha, Walid
and Sjölund, Martin
(2021)
In Electronics (Switzerland)
10(8).
- 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.... (More)
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.
(Less)
- author
- Buffoni, Lena
; Ochel, Lennart
; Pop, Adrian
; Fritzson, Peter
; Fors, Niklas
LU
; Hedin, Görel
LU
; Taha, Walid
and Sjölund, Martin
- organization
- publishing date
- 2021
- type
- Contribution to journal
- publication status
- published
- subject
- keywords
- Cyber-physical systems, Equation-based, Modeling languages, Open source, Simulation
- in
- Electronics (Switzerland)
- volume
- 10
- issue
- 8
- article number
- 902
- publisher
- MDPI AG
- external identifiers
-
- scopus:85103821011
- ISSN
- 2079-9292
- DOI
- 10.3390/electronics10080902
- language
- English
- LU publication?
- yes
- id
- a0397d0a-0397-4834-93f3-ad935439ecd0
- date added to LUP
- 2021-04-19 09:07:48
- date last changed
- 2022-05-12 19:35:30
@article{a0397d0a-0397-4834-93f3-ad935439ecd0,
abstract = {{<p>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.</p>}},
author = {{Buffoni, Lena and Ochel, Lennart and Pop, Adrian and Fritzson, Peter and Fors, Niklas and Hedin, Görel and Taha, Walid and Sjölund, Martin}},
issn = {{2079-9292}},
keywords = {{Cyber-physical systems; Equation-based; Modeling languages; Open source; Simulation}},
language = {{eng}},
number = {{8}},
publisher = {{MDPI AG}},
series = {{Electronics (Switzerland)}},
title = {{Open source languages and methods for cyber-physical system development : Overview and case studies}},
url = {{http://dx.doi.org/10.3390/electronics10080902}},
doi = {{10.3390/electronics10080902}},
volume = {{10}},
year = {{2021}},
}