In an attempt to increase productivity and the workers' safety, the construction industry is
moving towards autonomous construction sites, where various construction machines …

Multi-access Edge Computing promises to improve mobile users experience by bringing
storage and processing capabilities to the edges of the network. This approach allows third …

Track-based flow management systems like transportation systems and traffic control
systems play a crucial role in our daily life. Safety and performance are among the most …

In this paper, we present AdaptiveFlow as a platform for designing system of systems. A
model-based development approach is proposed and tools are provided for formal …

Autonomous vehicles are expected to be able to avoid static and dynamic obstacles
automatically, along their way. However, most of the collision-avoidance functionality is not …

Autonomous vehicles are expected to be able to avoid static and dynamic obstacles
automatically, along their way. However, most of the collision-avoidance functionality is not …

Résumé Dwyer et al. ont proposé des patrons de spécification qualitatives qui permettent
aux praticiens des outils de model-checking d'écrire des spécifications formelles …