This paper presents a component-based modelling approach to system-software co-
engineering of real-time embedded systems, in particular aerospace systems. Our method is …

The size and complexity of software in spacecraft is increasing exponentially, and this trend
complicates its validation within the context of the overall spacecraft system. Current …

In many applicative fields, there is the need to model and design complex systems having a
mixed discrete and continuous behavior that cannot be characterized faithfully using either …

Distributed systems are often organized in chains of components (eg business process
chains), where each component naturally has a double-sided (left and right) interface. We …

Contract-based design is an approach where the design process is seen as a successive
assembly of components where a component is represented in terms of assumptions about …

In cloud computing, services play key roles. Services are well defined and autonomous
components. Nowadays, the demand of using Fuzzy inference as a service is increasing in …

In previous work we presented a CSP-based systematic approach that fosters the rigorous
design of component-based development. Our approach is strictly defined in terms of …

This paper (This work is done in the research laboratory of Prof. Dr. Hans-Michael Hanisch
at the Martin Luther University in Germany, and it is supported by the Alexander von …

In this paper, we propose a systematic approach, based on the CSP process algebra, to
preserve deadlock-and livelock-freedom by construction in I/O component composition. In …

Composition of components by means of multi-party synchronizations and priorities allows
specifying properties of systems in a very abstract manner, and are meaningful for many …