This interdisciplinary guide explores various types of modeling methods available for
dynamical systems. It begins with the general concepts, representations, and philosophy of …

New methods and techniques are needed to reduce the very costly integration and test effort
(in terms of lead time, costs, resources) in the development of high-tech multi-disciplinary …

Abstract uppaal port is a new tool for component-based design and analysis of embedded
systems. It operates on the hierarchically structured continuous time component modeling …

The ever-increasing complexity of industrial control systems generates a demand for reliable
development methods. IEC 61499, a recent industrial standard, helps to develop complex …

In 2003, while I was performing my master's project as part of an industrial Ph. D. project, I
became enthusiastic about performing academic research and using its results to solve real …

Cyber-physical systems (CPSs) are integrations of computation with physical processes.
CPSs are widely applied in areas such as health care, traffic control, smart home, etc …

Process algebra is the study of distributed or parallel systems by algebraic means.
Originating in computer science, process algebra has been extended in recent years to …

Adaptability is a key feature of distributed systems because they have to face evolving
environments and requirements. In component systems, adaptability can be realised by …

COMDES-II is a component-based software framework intended for model-integrated
development of embedded control systems with hard real-time constraints. It provides …

Defects in safety-critical software systems can cause large economical and other losses.
Often these systems are far too complex to be tested extensively. In this work a formal …