Appropriate maintenance of industrial equipment keeps production systems in good health
and ensures the stability of production processes. In specific production sectors, such as the …

Emergent paradigms of Industry 4.0 and Industrial Internet of Things expect cyber-physical
systems to reliably provide services overcoming disruptions in operative conditions and …

Mastering the complexity of safety assurance for modern, software-intensive systems is
challenging in several domains, such as automotive, robotics, and avionics. Model-based …

Rigorous safety demonstration of software, as well as systems, is required when developing
digital reactor protection systems in nuclear power plants. Various safety analysis …

Safety-critical cyber-physical systems (SC-CPS) have the characteristics of distributed,
heterogeneous, strong coupling of computing resources and physical resources. With the …

Dependability is regarded as the ability of the system to provide services that can be trusted
within a specific period. As the complexity and heterogeneity of Internet of Things (IoT) …

This paper discusses the progress made so far and future challenges in integrating the
analysis of multiple Non-Functional Properties (NFP)(such as performance, schedulability …

The agricultural industry has the potential to undergo a revolutionary transformation with the
use of Internet of Things (IoT) technology. Crop monitoring can be improved, waste reduced …

Abstract The Internet of Things (IoT) paradigm has continued to provide valuable services
across various domains. However, guaranteeing the safety assurance of the IoT system is …

Context: The current technology revolution, which places the highest value on people's
welfare, is frequently seen as being mainly supported by Internet of Things (IoT) …