COUPLING TEMPORAL CONSTRAINTS WITHREQUIREMENTS ANALYSIS INCYBER-PHYSICAL SYSTEMS

Cyber-Physical System (CPS) requires networks with temporal semantics. The correct functioning of CPS depends crucially on temporal considerations, especially for time-critical requirements. It is an urgent need to couple temporal semantics into the requirement analysis in developing CPS. There have been past attempts at coupling temporal into designing reactive systems. Most of the current proposals, however, suffer from limitations when considered in CPS scenarios by ignoring temporal aspects of the behavior that are essential to the system. This leads naturally to the use of temporal automaton for modeling and verification of requirements of CPSs. The proposed method is simple, yet powerful to express the temporal semantics of CPS. We demonstrate the effectiveness of the proposed model by an engineering example.