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 …

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 …

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 …

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 …

THIS THESIS DEALS WITH THE incorporation of timing aspects in (mostly) explicit state
model checking. Therefore, time as a concept appears everywhere in the thesis, whether as …

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 …

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 …

In this paper the authors first gave short overviews of the modelling languages timed chi (chi
t) and muCRL. Then a general translation scheme was presented to translate chi t …