Mission-critical Internet of Things (MC-IoT) systems involve heterogeneous things from both
the digital and physical worlds. They run applications whose failure might cause significant …

Contract-based design enriches a component model with properties structured in pairs of
assumptions and guarantees. These properties are expressed in term of the variables at the …

Recent techniques for fault localization leverage code coverage to address the high cost
problem of debugging. These techniques exploit the correlations between program failures …

Abstract In recent years, Model‐Based Systems Engineering (MBSE) practices have been
applied in various industries to design, simulate and verify complex systems. The verification …

The collective use of several models and tools at various abstraction levels and phases
during the development of vehicular distributed embedded systems poses many challenges …

In recent years, more and more efforts have been devoted in supporting the design of
systems‐of‐systems (SoS). Designing such systems is a multidisciplinary problem which …

The industrial Internet of Things (IIoT) is currently foreseen as a foundation to implement the
Industry 4.0 vision. However, device heterogeneity and the need of integration and …

Technological changes such as the use of Augmented Reality (AR) along with the advent of
new organizational changes such as digitalization are on the one hand positively changing …

This paper introduces a novel model-driven methodology for the software development of
real-time distributed vehicular embedded systems on single-and multi-core platforms. The …

The development of modern railways applications must be supported by trusted tools, able
to cover the whole development process. In this paper we report on the research challenges …