Uwe Pohlmann

Learn More
The software of mechatronic systems interacts with the system's physical environment. In such systems, an incorrect software may cause harm to human life. As a consequence, software engineering methods for developing such software need to enable developers to effectively and efficiently proof their correctness. This is further complicated by additional(More)
ModelicaML is a UML profile for the creation of executable models. ModelicaML supports the Model-Based Systems Engineering (MBSE) paradigm and combines the power of the OMG UML standardized graphical notation for systems and software modeling, and the simulation power of Modelica. This addresses the increasing need for precise integrated modeling of(More)
Cyber-physical systems, e.g., autonomous cars or trains, interact with their physical environment. As a consequence, they commonly have to coordinate with other systems via complex message communication while realizing safety-critical and real-time tasks. As a result, those systems should be correct by construction. Software architects can achieve this by(More)
Mechatronic systems use their software to enable enhanced functionalities. Due to the complexity of these systems model-driven engineering of the software has become the means to construct reliable software. As safety is of paramount importance for these systems, legacy components, which have shown their quality in practice, are often reused and adjusted to(More)
Future smart systems will provide functionality by dynamically interacting with each other in cyber-physical systems. Such interactions require a message-based coordination under hard real-time constraints. This is realized by complex software, which combines discrete, state-based behavior with continuous behavior controlling the dynamics of the physical(More)
Future cyber-physical systems will behave smart, i.e., they will provide self-* properties and collaborate with each other. Software realizes this smart behavior. In modern cars, a hardware platform consists of up to 100 networked electronic control units (ECUs) that execute the software. As the amount of safety-critical software increases, the task of(More)
The number of software components within a cyber-physical systems increases continuously. However, not all components are needed at all time. Because of structural changes of software and hardware it is possible to use resources more efficiently. For example, energy is saved by shutting down currently not needed ECUs. Software component instances (SCIs)(More)
ModelicaML is a UML profile for the creation of executable models. ModelicaML supports the Model-Based Systems Engineering (MBSE) paradigm and combines the power of the OMG UML standardized graphical notation for systems and software modeling, and the simulation power of Modelica. This addresses the increasing need for precise integrated modeling of(More)