The emergence of cyber-physical-social systems (CPSS) as a novel paradigm has
revolutionized the relationship between humans, computers and the physical environment …

We advocate rigorous system design as a coherent and accountable model-based process
leading from requirements to implementations. We present the state of the art in system …

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

We present dynamic I/O automata (DIOA), a compositional model of dynamic systems. In
DIOA, automata can be created and destroyed dynamically, as computation proceeds, and …

Reactive applications is a wide class of software that responds to user input, network
messages, and other events. Recent research on reactive languages successfully …

Performance and functional correctness are key for successful design of modern embedded
systems. Both aspects must be considered early in the design process to enable founded …

Nowadays, due to the great distance between design and implementation worlds, different
skills are necessary to create a game system. To solve this problem, a lot of strategies for …

GossipSub is a new peer-to-peer communication protocol designed to counter attacks from
misbehaving peers by controlling what information is sent and to whom, via a score function …

We consider two approaches for building component-based systems, which we call
respectively architecture-based and architecture-agnostic. The former consists in describing …

Building abstract system-level models that faithfully capture performance and functional
behavior for embedded systems design is challenging. Unlike functional aspects …