Early validation of requirements aims to reduce the need for the high-cost validation testing
and corrective measures at late development stages. This work introduces a systematic …

In this case study, we apply the architecture-based design approach to the control software
of the CubETH satellite. Architectures are a means for ensuring global coordination …

DR-BIP is an extension of the BIP component framework intended for programming
reconfigurable systems encompassing various aspects of dynamism. It relies on …

This paper presents a Hoare-style calculus for formal reasoning about reconfiguration
programs of distributed systems. Such programs create and delete components and/or …

A strong separation of concerns is necessary in order to make the design of domain‐specific
functional components independent from cross‐cutting concerns, such as concurrent access …

We consider a logic used to describe sets of configurations of distributed systems, whose
network topologies can be changed at runtime, by reconfiguration programs. The logic uses …

BIP is a component-based framework for system design that has important industrial
applications. BIP is built on three pillars: behavior, interaction, and priority. In this paper, we …

Configuration logics have been proposed for the specification of architectural styles of
component-based systems. We use such a logic for the specification and verification of …

Architecture styles characterise families of architectures sharing common characteristics. We
have recently proposed configuration logics for architecture style specification. In this paper …

We introduce and investigate a weighted propositional configuration logic over commutative
semirings. Our logic is intended to serve as a specification language for software …