Situation-Based Autonomic Management of Automobile Cruise Control Systems

Cyber-Physical Systems incorporate varying degrees of adaptation behavior to sustain their operations with acceptable quality of service (QoS), in the face of hostile external events such as the malfunction of a heating vent in a home and the road slipperiness in a car driving. With the high complexity of such dynamic adaptive systems, their QoS capability depends on how well they respond to hostile external events. The paper formulates model-based assessment techniques to reason about how capable is a Cyber-Physical System S in meeting its QoS specs. We benchmark the QoS capability of S by stress-testing S with artificially injected failures. As case study, we describe a QoS-oriented management of adaptive cruise control system in cars.