WCET-Aware Control Flow Checking With Super-Nodes for Resource-Constrained Embedded Systems

Safety-critical embedded systems in application domains, such as aerospace, automotive, and industrial automation, must satisfy dual requirements of fault-tolerance and real-time predictability. Control flow checking is an effective technique for improving embedded systems' reliability by onlin...

Full description

Bibliographic Details
Main Authors: Ming Zhang, Zonghua Gu, Hong Li, Nenggan Zheng
Format: Article
Language:English
Published: IEEE 2018-01-01
Series:IEEE Access
Subjects:
Online Access:https://ieeexplore.ieee.org/document/8405531/