Peter Gorm Larsen

Peter Gorm Larsen
Aarhus University | AU · Department of Engineering

MSc, PhD

About

240
Publications
47,835
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
3,915
Citations
Citations since 2016
95 Research Items
2035 Citations
20162017201820192020202120220100200300
20162017201820192020202120220100200300
20162017201820192020202120220100200300
20162017201820192020202120220100200300
Introduction
Peter is professor at the Department of Engineering at Aarhus University, where he both leads the software engineering research group as well as the Centre for Digitalisation, Big Data, and Data Analytics (DIGIT). After receiving his MSc in EE at the Technical University of Denmark in 1988, he worked in industry before returning to complete an industrial PhD in 1995. In his industry career, as a development engineer and manager, he gave industrial courses all over the world. He returned to academia in 2005. His research is on the tools that help engineers to leverage models in early design stages in particular for the development of CPSs. He is the author of more than 150 papers published in journals, books and conference proceedings, and several books and has an h-index at 30.

Publications

Publications (240)
Article
Dynamical systems see widespread use in natural sciences like physics, biology, chemistry, as well as engineering disciplines such as circuit analysis, computational fluid dynamics, and control. For simple systems, the differential equations governing the dynamics can be derived by applying fundamental physical laws. However, for more complex syste...
Chapter
Digital Twins (DTs) are a promising technology for integrating device monitoring and data consumption to improve performance. This technology has seen utilisation in various industries that use cyber-physical systems. An unexpected area is medical devices. In this paper, we explore DTs use for an organ preservation device, which, helps improve tran...
Chapter
Technologicaladvances in sensing, communications, and data analytics make it possible to construct virtual replicas of Cyber-Physical Systems (CPSs). Such replicas are known as digital twins. They can either make decisions on system updates during operation or provide input to decision-makers for system evolution. This short paper introduces the IS...
Chapter
Advanced digital technology is finding its way into industrial production and control systems. This led to development of further concepts such as digital shadow and digital twin. In the former an accurate model of the cyber-physical system (CPS) is used to monitor it virtually, while the latter provides a possibility to adapt the CPS’s behavior. T...
Conference Paper
Full-text available
Current trends of digitalization are becoming significantly prevalent within the field of industrial control systems. While in recent history a typical industrial control system would have been isolated with rudimentary ways of extracting data, nowadays it is becoming expected that the control system could not only provide large amounts of data ove...
Chapter
The synchronization between a Digital Shadow (DS) and a Cyber-Physical System (CPS) is paramount to enable anomaly detection, predictive maintenance, what-if analysis, etc. Such synchronization means that a simulation reflects, as closely as possible, the states of the CPS. The simulation however, requires the complete initial state of the system t...
Chapter
Digital twin technology is an essential approach to managing the lifecycle of industrial products. Among the many approaches used to manage digital twins, co-simulation has proven to be a reliable one. There have been multiple attempts to create collaborative and sustainable platforms for management of digital twins. This paper compares two such pl...
Article
Full-text available
Digital Twins (DTs) are real-time digital models that allow for self-diagnosis, self-optimization and self-configuration without the need for human input or intervention. While DTs are a central aspect of the ongoing fourth industrial revolution (I4.0), this leap forward may be reserved for the established, large-cap companies since the adoption of...
Article
In today’s world, critical infrastructure is often controlled by computing systems. This introduces new risks for cyber attacks, which can compromise the security and disrupt the functionality of these systems. It is therefore necessary to build such systems with strong guarantees of resiliency against cyber attacks. One way to achieve this level o...
Conference Paper
The amount of robots in industry is increasing, pushing the need for easier configuration and integration of robots. The cost of robot integration is often larger than the cost of the robots themselves. With the increasing complexity of robotic systems and the tasks they perform, the future of reducing the expenses of robot system integration is si...
Conference Paper
We introduce AURT, an open-source software for modeling and calibration of robot manipulator dynamics. AURT includes rigid-body dynamics and a selection of joint dynamics models. The separation of the robot dynamics into rigid-body dynamics and joint dynamics allows for fast recalibration of the robot dynamics using different joint dynamics models....
Chapter
Throughout their useful life, plastic injection moulds operate in rapidly varying cyclic environments, and are prone to continual degradation. Quantifying the remaining useful life of moulds is a necessary step for minimizing unplanned downtime and part scrap, as well as scheduling preventive mould maintenance tasks such as cleaning and refurbishme...
Preprint
Dynamical systems see widespread use in natural sciences like physics, biology, chemistry, as well as engineering disciplines such as circuit analysis, computational fluid dynamics, and control. For simple systems, the differential equations governing the dynamics can be derived by applying fundamental physical laws. However, for more complex syste...
Conference Paper
Full-text available
Hybrid testing is an experimental technique extensively utilized in earthquake engineering to study the seismic response of structures. It requires coupling physical and numerical models in a closed feedback loop. Although this methodology is mature, a commonly accepted standard for orchestrating simulations and experiments is still missing. As a r...
Preprint
Full-text available
In today's world, critical infrastructure is often controlled by computing systems. This introduces new risks for cyber attacks, which can compromise the security and disrupt the functionality of these systems. It is therefore necessary to build such systems with strong guarantees of resiliency against cyber attacks. One way to achieve this level o...
Preprint
Full-text available
The Language Server Protocol (LSP) changed the field of Integrated Development Environments(IDEs), as it decouples core (programming) language features functionality from editor smarts, thus lowering the effort required to extend an IDE to support a language. The concept is a success and has been adopted by several programming languages and beyond....
Conference Paper
A digital twin for a Cyber-Physical System includes a simulation model that predicts how a physical system should behave. We show how to quantify and characterise violation events for a given safety property for the physical system. The analysis uses the digital twin to inform a runtime monitor that checks whether the noise and violations observed...
Conference Paper
Full-text available
Advances in sensing, communications and data analytics have made it possible to construct virtual replicas of Cyber-Physical Systems (CPSs). Such replicas, known as digital twins, can in principle inform decision making during operation and evolution of the systems they model. This short paper introduces the ISoLA 2020/21 series of papers on the te...
Chapter
A digital twin for a Cyber-Physical System includes a simulation model that predicts how a physical system should behave. We show how to quantify and characterise violation events for a given safety property for the physical system. The analysis uses the digital twin to inform a runtime monitor that checks whether the noise and violations observed...
Chapter
Civil engineering has only recently started the digitalisation journey by standardising around Building Information Models (BIMs). In the process of construction a dimension of time is added in what is called 4D BIM and this can serve as the basis for a digital twin. It is predicted that such a digital twin can enhance the overall overview of statu...
Chapter
Advances in sensing, communications and data analytics have made it possible to construct virtual replicas of Cyber-Physical Systems (CPSs). Such replicas, known as digital twins, can in principle inform decision making during operation and evolution of the systems they model. This short paper introduces the ISoLA 2020/21 series of papers on the te...
Chapter
In this paper, we provide an extended exposition of a novel cloud-enabled and open collaboration platform, which intends to lower the barriers faced by businesses, particularly small and medium-sized enterprises, aiming to start up in Model-Based Design. In the development of Cyber-Physical Systems the usual start up challenges are exacerbated by t...
Preprint
Full-text available
The Language Server Protocol (LSP) changed the field of Integrated Development Environments (IDEs), as it decouples core (programming) language features functionality from editor smarts, thus lowering the effort required to extend an IDE to support a language. The concept is a success and has been adopted by several programming languages and beyond...
Conference Paper
Full-text available
The Language Server Protocol (LSP) changed the field of Integrated Development Environments(IDEs), as it decouples core (programming) language features functionality from editor smarts, thus lowering the effort required to extend an IDE to support a language. The concept is a success and has been adopted by several programming languages and beyond....
Preprint
Full-text available
To demystify the Digital Twin concept, we built a simple yet representative thermal incubator system. The incubator is an insulated box fitted with a heatbed, and complete with a software system for communication, a controller, and simulation models. We developed two simulation models to predict the temperature inside the incubator, one with two fr...
Chapter
In the development of Cyber-Physical Systems (CPSs), a model-based approach can be an efficient way to master system complexity through an iterative development. In this chapter we illustrate how a co-simulation technology can be used to gradually increase the detail in a collaborative model (co-model) following a “discrete event first” (DE-first)...
Chapter
In this paper, we report on the progress made to upgrade and develop a stable upgrading process to the INTO-CPS Application, an Electron.js based desktop application providing a front-end to an INtegrated TOolchain, which is used to develop Cyber-Physical Systems models. We added regression tests to the codebase and for the first time can detect th...
Article
Full-text available
There are many communities involved in the creation of cyber-physical systems, which are used in domains including transport, health, manufacturing and, in the longer term, will be in the home, where miniaturization will play a role. In this article we explain that engineering for future CPS needs a centre of gravity that has the purpose of drawing...
Chapter
In this chapter, we propose the usage of co-simulation models of networked control systems as an additional tool to compute the network delay upper bound, the value above which the system response is not completely under the effect of the control strategy. The approach uses an automated search traversal of viable solutions while varying the network...
Article
Manufacturing companies need to go digital. Although this sector leads in automation adoption, some companies struggle to explore emerging innovations such as Cyber-Physical Systems, Digital Twins and “servitisation in manufacturing”. The equipment required to deliver production systems typically combines physical and software components, yet digit...
Conference Paper
Full-text available
How is it possible to significantly improve the Integrated Development Environment (IDE) for VDM from the existing Eclipse-based IDE? The proposal made in this paper is to use language-agnostic protocols such as the Language Server Protocol (LSP) and the Debug Adapter Protocol (DAP) connecting a general editor such as Visual Studio Code with core s...
Article
Full-text available
In modern software development, the practices of continuous integration and DevOps are widely used to increase delivery speed and reduce the time it takes to deploy software changes to production. If formal method tools cannot be efficiently integrated in a DevOps paradigm, then their impact on software development will be reduced. In this paper, w...
Chapter
Correct co-simulation results require a careful consideration of how the interacting simulators are implemented. In version 2.0 of the FMI Standard, input handling implementation is left implicit, which leads to the situation where a simulator can be interacted with in a manner that its implementation does not expect, yielding incorrect results. In...
Chapter
An immediate industry challenge is to fashion a co-simulation that replicates real-systems behaviour with high fidelity. To achieve this goal, developers rely on frameworks to enhance the creation and analysis of the co-simulation. One major problem is that new co-simulation frameworks require extensive development, most of which resides in non-ess...
Chapter
The Department of Engineering at Aarhus University has started up a new science-based BSc degree in Computer Engineering. We report about our planning of the curriculum during the first two years in the Software Engineering area. We discuss highlights, basic concepts, selected course contents, inter and intra course progression, observations from t...
Chapter
The successful development of Cyber-Physical Systems (CPSs) requires collaborative working across diverse engineering disciplines, notations and tools. However, classical computing curricula rarely provide opportunities for students to look beyond the confines of one set of methods. In this paper, we report approaches to raising students’ awareness...
Chapter
Full-text available
The INTO-CPS Application is a common interface used to access and manipulate different model-based artefacts produced by the INTO-CPS tool chain during the development of a cyber-physical system. The application was developed during the INTO-CPS project. It uses web-technologies on top of the Electron platform, and it requires local installation an...
Chapter
Full-text available
In order to ensure that the co-simulation of Cyber-Physical Systems (CPSs) is possible with as wide a variety of tools as possible, a standard called the Functional Mockup Interface (FMI) has been defined. The FMI provides the means to compute the overall behaviour of a coupled system by the coordination and communication of simulators, each respon...
Chapter
An obstacle to applying formal specification techniques to industrial projects is that stakeholders with little engineering background may experience difficulty comprehending the specification. Forming a common understanding of a specification is indeed essential in software development because a specification is consulted by many kinds of stakehol...
Preprint
Businesses, particularly small and medium-sized enterprises, aiming to start up in Model-Based Design (MBD) face difficult choices from a wide range of methods, notations and tools before making the significant investments in planning, procurement and training necessary to deploy new approaches successfully. In the development of Cyber-Physical Sys...
Article
Full-text available
Developing embedded systems that are distributed is a challenging endeavour, since they need to ensure system-wide properties as well as existence of a large number of possible candidate system architectures. Various model based techniques advocate raising the abstraction level in order to support a holistic view of such a distributed embedded syst...
Conference Paper
Industrial control systems are moving from monolithic to distributed and cloud-connected architectures, which increases system complexity and vulnerability, thus complicates security analysis. When exhaustive verification accounts for this complexity the state space being sought grows drastically as the system model evolves and more details are con...
Chapter
Ensuring the dependability of Cyber-Physical Systems (CPSs) poses challenges for model-based engineering, stemming from the semantic heterogeneity of the models of computational, physical and human processes, and from the range of stakeholders involved. We argue that delivering such dependability requires a marriage of multi-disciplinary models dev...
Conference Paper
Full-text available
In order to ensure that the co-simulation of Cyber-Physical Systems (CPSs) is possible with as wide a variety of tools as possible, a standard called the Functional Mockup Interface (FMI) has been defined. The FMI provides the means to compute the overall behavior of a coupled system by the coordination and communication of simulators, each respons...
Article
Full-text available
We introduce a deviation-tolerance software architecture, which is devised for a prototype of a cloud-based harvest operation optimisation system issuing harvest plans. The deviation-tolerance architecture adapts the fault tolerance notions originating in the area of systems engineering to the harvest domain and embeds them into the Vienna develope...
Article
Cyber-Physical Systems (CPSs) often operate in a critical context where it is crucial that they behave as intended. However, the heterogeneous nature of CPSs makes them inherently challenging to develop. To assist in the development process, one can perform co-simulation, where models of constituents of a CPS are coupled to jointly simulate the ful...
Chapter
The systematic engineering of Cyber-Physical Systems is a challenging endeavour. In order to manage the complexity of such multi-disciplinary development collaborative modelling and co-simulation has been proposed. In this setting models are made of different constituent models with different mathematical formalisms using different tools. This pape...
Article
Development of distributed software systems is complex due to the distribution of resources, which complicates validation of system‐wide functionality. Such systems include various facets like functionality and distribution, each of which must be validated and integrated in the final software solution. Model‐based techniques advocate various abstra...
Chapter
The languages used to express specifications, models and programs have much in common. However, in this paper we argue that because they serve different purposes, real care should be taken to distinguish them during development. Rather than seeking unification at the language level, we would recommend exploiting intersections between them where the...
Chapter
In the engineering of heterogeneous systems, there have always been challenges related to ensuring a common understanding of the interfaces between the constituent systems.
Chapter
Cyber-Physical Systems (CPSs) [1] connect the real world to software systems through a network of sensors and actuators in which physical and logical components interact in complex ways. There is a diverse range of application domains [2], including health [3], energy [4], transport [5], autonomous vehicles [6] and robotics [7]; and many of these i...
Article
Full-text available
Cyber security standards are often used to ensure the security of industrial control systems. Nowadays, these systems are becoming more decentralized, making them more vulnerable to cyber attacks. One of the challenges of implementing cyber security standards for industrial control systems is the inability to verify early that they are compliant wi...