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 design of embedded systems is being challenged by their growing complexity and tight
performance requirements. This paper presents the COMPLEX UML/MARTE Design Space …

Time-critical computing systems are enablers for various important application domains, like
avionics, automotive, spacecraft, IoT etc. All these applications will be benefited immensely …

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 …

Real-time Calculus (RTC) is a non-stochastic queuing theory to the worst-case performance
analysis of distributed real-time systems. Workload as well as resources are modelled as …

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

To handle hot spots or power shortages, modern multicore processors are equipped with a
supervisory dynamic thermal and power management (DTPM) system. When necessary, the …

The incremental design and analysis of parallel hard real-time stream processing
applications is hampered by the lack of an intuitive compositional temporal analysis model …

Abstract The Dynamic Power and Thermal Management (DPTM) system of Dynamic Voltage
Frequency Scaling (DVFS) enabled processors compensates peak temperatures by slowing …

Embedded safety-critical systems must not only be functionally correct but must also provide
timely service. It is thus important to have rigorous analysis techniques for determining …