Question 1

What problem does the paper address in safety-critical cyber-physical systems?

Accepted Answer

It targets the need for verifiable and reliable CPS hardware architectures that support fault tolerance and ensure required safety properties are met.

Question 2

How is the proposed architecture organized and validated?

Accepted Answer

It is divided into analysis, design, implementation, and verification models. The design model is checked with NuSMV, implementation validates requirements using waveform simulations, and verification proves properties using formal temporal logic.

Question 3

What case study is used to demonstrate the approach?

Accepted Answer

A railway interlocking system (RIS) is modeled using temporal logic properties, and a symbolic model verifier (SMV) is used to demonstrate correct execution and fault detection.