This paper provides a standard-based and resource aware Runtime Testing Framework For
Adaptable and Distributed Systems (RTF4ADS). Based on the runtime testing approach …

Dynamic reconfigurations increase the availability and the reliability of component-based
systems by allowing their architectures to evolve at run-time. This paper deals with the …

This paper deals with the formal specification and verification of dynamic reconfigurations of
component-based systems. To validate such complex systems, there is a need to check …

Abstract Model checking and runtime verification are pillars of formal verification but for the
most part are used independently. In this position paper we argue that the formal verification …

Dynamic reconfigurations increase the availability and the reliability of component-based
systems by allowing their architectures to evolve at runtime. Recently we have proposed a …

Security-critical systems are challenging to design and implement correctly and securely. A
lot of vulnerabilities have been found in current software systems both at the specification …

Dynamically evolving systems are characterized by components that can be inserted or
removed while the system is being operated leading to unsafe run-time changes that may …

Component substitution has numerous practical applications and constitutes an active
research topic. This paper proposes to enrich an existing component-based framework--a …

The next generation of software systems includes systems composed of a large number of
distributed, decentralized, autonomous, interacting, cooperating, organically grown …

This paper proposes a model-based testing approach which combines two monitoring
methods, runtime verification and passive testing. Starting from ioSTS (input output Symbolic …