The availability of smart and intelligent sensors has changed the monitoring, control and
maintenance of a conventional and advanced cyber-physical system used in public or …

Abstract For industry 5.0, constructing new large scale systems by using existing and new
technologies is the latest research trend; being a combination of hardware and software …

Construction of critical systems (eg disaster/emergency management systems) demands
extra efforts from the developers as compared to non-critical systems. A critical system may …

In the latest technologies for next generation using in Cyber-Physical Systems, 5G and IoT
(Internet of Things) based solutions have a significant contribution. For the construction of …

In component-based architectures, interest has often been focused on the component.
Recent applications are becoming more and more communicative, often reaching …

Background. In previous work, the SUSHI team relied on the Kôika language developed at
MIT [2] and proposed a framework to formally specify and prove hardware security …