Papers by Martin Otter

Title:	eFMI: An open standard for physical models in embedded software
Authors:	Oliver Lenord, Martin Otter, Christoff Bürger, Michael Hussmann, Pierre Le Bihan, Jörg Niere, Andreas Pfeiffer, Robert Reicherdt and Kai Werther
Abstract:	This paper summarizes the final research results of the ITEA3 project EMPHYSIS (embedded systems with physical models in the production code software). Its core achievement is the new open eFMI Standard enabling new automated workflows from high level physical models to automotive compliant embedded software. eFMI (FMI for embedded systems) defines a container architecture for model exchange, testing and automatic model transformations. Multiple representations from a high-level intermediate representation of sampled algorithms (GALEC) to production and binary code for specific embedded targets are maintained in a traceable workspace. The successful integration of the developed eFMI tooling is demonstrated by a comprehensive open source Modelica test cases library and industrial demonstrators. The readiness of the proposed approach is proven by compliance checks according to common automotive code quality standards (MISRA) and a performance benchmark in terms of runtime and resource demand in comparison with state of the art hand coded solutions.
Keywords:	embedded software, model-based development, code generation, model exchange, Modelica, FMI, eFMI
Paper:	full paper
Bibtex:	@InProceedings{modelica.org:Lenord:2021, title = "{eFMI: An open standard for physical models in embedded software}", author = {Oliver Lenord and Martin Otter and Christoff B\"urger and Michael Hussmann and Pierre Le Bihan and J\"org Niere and Andreas Pfeiffer and Robert Reicherdt and Kai Werther}, pages = {57--71}, doi = {10.3384/ecp2118157}, booktitle = {Proceedings of the 14th International Modelica Conference}, location = {Link\"oping, Sweden}, editor = {Martin Sj\"olund and Lena Buffoni and Adrian Pop and Lennart Ochel}, isbn = {978-91-7929-027-6}, issn = {1650-3740}, month = sep, series = {Link\"oping Electronic Conference Proceedings}, number = {181}, publisher = {Modelica Association and Link\"oping University Electronic Press}, year = {2021} }

Title:	Modia - Equation Based Modeling and Domain Specific Algorithms
Authors:	Hilding Elmqvist, Martin Otter, Andrea Neumayr and Gerhard Hippmann
Abstract:	A new design of the Modia experimental modeling language based on Julia is presented. It has simple yet powerful syntax and semantics. A unified means of describing the fundamental semantics, which is similar to Modelica, is outlined. Furthermore, it is shown how domain specific algorithms can be combined with equation based modeling. It is demonstrated for multibody systems and will enable more efficient translation and simulation since much repetitive analysis and transformations are avoided. The drive train of a robot model was automatically translated from Modelica to Modia. Modern simulation algorithms from the Julia community allow working with automatic differentiation and uncertainties.
Keywords:	Modelica, Julia, Modia, Uncertainties, Multibody
Paper:	full paper
Bibtex:	@InProceedings{modelica.org:Elmqvist:2021, title = "{Modia - Equation Based Modeling and Domain Specific Algorithms}", author = {Hilding Elmqvist and Martin Otter and Andrea Neumayr and Gerhard Hippmann}, pages = {73--86}, doi = {10.3384/ecp2118173}, booktitle = {Proceedings of the 14th International Modelica Conference}, location = {Link\"oping, Sweden}, editor = {Martin Sj\"olund and Lena Buffoni and Adrian Pop and Lennart Ochel}, isbn = {978-91-7929-027-6}, issn = {1650-3740}, month = sep, series = {Link\"oping Electronic Conference Proceedings}, number = {181}, publisher = {Modelica Association and Link\"oping University Electronic Press}, year = {2021} }

Title:	Continuous Development and Management of Credible Modelica Models
Authors:	Leo Gall, Martin Otter, Matthias Reiner, Matthias Schäfer and Jakub Tobolář
Abstract:	Modeling and simulation is more and more used in the design process in a wide area of applications. Rising demands and the complexity of modern products also increases the need for models and tools capable to cover areas such as virtual testing, design-space exploration or digital twins, and to provide measures of the quality of the models and the achieved results. In this article, we try to summarize the state-of-the-art and best-practice from the viewpoint of a Modelica language user, based on the experience gained in projects in which Modelica models have been utilized in the design process. Furthermore, missing features and gaps in the used processes are identified.
Keywords:	credible model, model requirement, data management, validation, verification, Modelica model
Paper:	full paper
Bibtex:	@InProceedings{modelica.org:Gall:2021, title = "{Continuous Development and Management of Credible Modelica Models}", author = {Leo Gall and Martin Otter and Matthias Reiner and Matthias Sch\"afer and Jakub Tobol\'a\v{r}}, pages = {359--372}, doi = {10.3384/ecp21181359}, booktitle = {Proceedings of the 14th International Modelica Conference}, location = {Link\"oping, Sweden}, editor = {Martin Sj\"olund and Lena Buffoni and Adrian Pop and Lennart Ochel}, isbn = {978-91-7929-027-6}, issn = {1650-3740}, month = sep, series = {Link\"oping Electronic Conference Proceedings}, number = {181}, publisher = {Modelica Association and Link\"oping University Electronic Press}, year = {2021} }