Recently, contract-based design has been proposed as an “orthogonal” approach that
complements system design methodologies proposed so far to cope with the complexity of …

The theories underlying control engineering and real-time systems engineering use
idealized models that mutually abstract from central aspects of the other discipline. Control …

Multicore technology has the potential for drastically increasing productivity of embedded
real-time computing. However, joint use of hardware, eg, caches, memory banks and on …

We present a scheme for monitoring activation patterns of multiple tasks in mixed-criticality
real-time systems. Unlike previous approaches, which enforce a single pre-defined …

Messages traversing a network commonly experience waiting times due to sharing the
forwarding resources. During those times, the crossed systems must provide sufficient buffer …

Recently, contract based design has been proposed as an” orthogonal” approach that can
be applied to all methodologies proposed so far to cope with the complexity of system …

The paper contains general information on development process of multi-agent system
generator. Generator in question uses component-based approach as a general …

This article proposes an automata-based model for describing and validating sequences of
kernel events in Linux PREEMPT_RT and how they influence the timeline of threads' …

Cyber-physical systems (CPS) incorporate digital (cyber) and mechanical (physical)
elements that interact in complex ways. Many safety-critical CPS, such as autonomous …

We propose here a framework to model real-time components consisting of concurrent real-
time tasks running on a single processor, using parametric timed automata. Our framework …