IEEE - Institute of Electrical and Electronics Engineers, Inc. - A Novel Approach to Modeling and Verifying Real-Time Systems for High Reliability

Author(s): Jin Cui ; Zhenhua Duan ; Cong Tian ; Hongwei Du
Sponsor(s): IEEE Reliability Society
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 June 2018
Volume: 67
Page(s): 481 - 493
ISSN (Electronic): 1558-1721
ISSN (Paper): 0018-9529
DOI: 10.1109/TR.2018.2806349
Regular:

This paper proposes a novel approach to modeling and verifying real-time systems for high reliability. To do so, we first extend projection temporal logic to timed projection temporal logic.... View More

Advertisement