A Review on Formal Verification of Basic Algorithms in Time Triggered Architecture
N. Sheena, Shelbi Joseph, Suresh Kumar N · 2018 International Conference on Control, Power, Communication and Computing Technologies (ICCPCCT) · 2018
In recent days time triggered architecture play a vital role in safety-critical real time applications such as avionics, automotive industry and many other industrial cyber physical systems. Start-up, group membership, clock synchronization and clique avoidance are some of the basic algorithms of time triggered architecture. Now-a-days the design of time triggered systems is much more difficult because they depend on the temporal properties. So formal verification methods are used for real time safety critical applications. In this paper demonstrates the different modeling and verification methods adopted for assuring the properties of time triggered algorithms in time triggered communication protocols like TTA, TTCAN and FlexRay.