Autonomous robotic systems are complex, hybrid, and often safety critical; this makes their
formal specification and verification uniquely challenging. Though commonly used, testing …

Distributed software built from components has become a mainstay of service-oriented
applications, which frequently undergo reconfigurations to adapt to changes in their …

The adoption of blockchain based distributed ledgers is growing fast due to their ability to
provide reliability, integrity, and auditability without trusted entities. One of the key …

One of the 21st century's hottest topics in the world of IT has been the emergence of what
some predict to be the foundation stone for a new era of internet (web 3.0): Blockchain …

Contract-based design is an emerging paradigm for the design of complex systems, where
each component is associated with a contract, ie, a clear description of the expected …

Many of today's companies use Smart Contracts to represent and execute their business
processes. Smart contracts are self-executed programs running over blockchain. In this …

The concept of autonomy is key to the IoT vision promising increasing integration of smart
services and systems minimizing human intervention. This vision challenges our capability …

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 …

This chapter describes how to use in-the-field runtime techniques to improve the
dependability of software systems. In particular, we first present an overall vision of the …

Cyber-physical system (CPS) analysis and design are challenging due to the intrinsic
heterogeneity of those systems. Today, CPSs are often designed by leveraging existing …