Sacrificing a little space can significantly improve monitoring of time-sensitive cyber-physical systems

Abstract

The goal of runtime verification is to inspect the correctness of a system by incorporating a monitor during its execution. Predictability of time distribution of monitor invocations and memory usage are two indicators of the quality of a monitoring solution, specially in cyber-physical systems, where the physical environment is a part of the system dynamics. In our previous work, we proposed a control-theoretic approach for coordinating time predictability and memory utilization in runtime verification of time-sensitive systems. To this end, we designed controllers that attempt to improve time predictability, while ensuring the soundness of verification by incorporating a maximally utilized bounded memory buffer that accumulates events.Since the frequency of occurrence of environment actions in cyber-physical systems is not known a priori, the system may run into situations, where the buffer is full, but a monitor invocation has not yet been scheduled. In control theory, this is called the overshooting phenomenon, which inherently decreases time predictability. In this paper, we address the issue of overshoots, by employing a second controller that allows limited memory reservations to temporarily extend the size of the event buffer when the system is subject to bursts of environment actions. We apply our solution to the verification of the air/fuel ratio in a car engine exhaust. The acceptable ratio varies depending on the driving circumstances, and monitoring that ratio is important to control emissions in a vehicle. A highly predictable monitor imposes uniform load on the engine control unit (ECU), thus, not negatively or sporadically affecting its control tasks. The experimental results exhibit two significant contributions: we (1) demonstrate the advantages of applying our approach to achieve low variation in the frequency of monitor invocations for verification, while maintaining maximum memory utilization, and (2) clearly illustrate that by negligible temporary increases in the size of the event buffer, the number of overshoots decreases significantly, which in turn substantially increases time predictability of runtime verification.

Modeling and Optimization for Automobile Mixed Assembly Line in Industry 4.0

“…Each technology breakout had led to the rapid development of manufacturing industry. Today, the German government officially puts forward industry 4.0 strategy, which integrated industrial robots, networking, cloud manufacturing, and other advanced technology to build a highly intelligent industry 4.0 system [1][2][3]. Some researchers who came from research institutions and universities as well as SIEMENS, BMW, and other companies have built up research teams, trying to make an intelligent and automated industry 4.0 system [4].…”

Evaluation and Improvements of Runtime Monitoring Methods for Real-Time Event Streams

“…The time-triggered monitoring needs to find an optimal sampling period, so that the required auxiliary memory will be minimized and the monitor still correctly tracks the program state. In [Medhat et al, 2014], a control-theoretic approach was proposed to improve the time predictability, and ensures the soundness of verification by incorporating a maximally utilized bounded memory buffer. Experimental results of monitoring the functioning of a Toyota 2JZ engine showed that the overshoots were reduced and the time predictability was improved by applying this control-theoretic monitoring approach.…”