Abstract: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 online monitoring and checking of software control flow to detect runtime deviations from the control flow graph. However, inserting instrumentation code in every basic block incurs significant execution time overhead, which may cause the program to violate its timing constraints. In this paper, we propose to selectively instrument a subset of code regions that are larger than basic blocks, called super-nodes, in order to make the program partially resilient to control flow errors while keeping the program worst-case execution time (WCET) below a given upper bound. WCET analysis is invoked to estimate the program WCET and to identify the corresponding worst-case execution path (WCEP). An ILP formulation is used to judiciously select a subset of super-nodes on the WCEP for instrumentation, so that the best fault detection coverage is achieved without violating the given WCET upper bound. The optimization is repeated for each identified WCEP until the program WCET satisfies the WCET upper bound. Experimental results demonstrate significant improvements of fault detection coverage compared with related work.

Exact WCRT Analysis for Message-Processing Tasks on Gateway-Integrated In-Vehicle CAN Clusters

WCRT Analysis of CAN Messages in Gateway-Integrated In-Vehicle Networks.

WCRT Analysis and Evaluation for Sporadic Message-Processing Tasks in Multicore Automotive Gateways

Worst Case Response Time Analysis for Messages in Controller Area Network with Gateway

Gateway Modeling and Response Time Analysis on CAN Clusters of Automobiles

Message response time distribution analysis for Controller Area Network containing errors

The Worst-Case Response Time Analysis for FIFO-based Offset Assigned CAN Messages.

Schedulability Analysis for Messages in Gateway-Interconnected Controller Area Network

Improved Convolution-Based Analysis for Worst-Case Probability Response Time of CAN

Online Real-Time Estimation of Response Time for Periodic Messages in Controller Area Networks

Design and Test of Hardware-in-the-loop Platform for Vehicle Chassis CAN System with Intermittent Open and Short Connection Faults

Transmission time analysis for hybrid V2V and V2I communications in multi-lane vehicular networks

Transmission Time Analysis For Hybrid V2v And V21 Communications In Multi-Lane Vehicular Networks

Timing Analysis of CAN FD for Security-Aware Automotive Cyber-Physical Systems

WORST-CASE RESPONSE TIME OF APERIODIC MESSAGE IN WORLDFIP

A Hybrid Approach to WCTT Analysis in a Real-Time Switched Ethernet Network

Message delay time distribution analysis for controller area network under errors

Improving Computation Efficiency of Exact Worst-Case Response Time Analysis for the Transaction-Based Task Model

WCRT Optimization Scheme Based on Task Mapping and Cache Partitioning

End-to-end worst-case response time analysis for hard real-time distributed systems

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