Networked embedded software systems incorporate varying degrees of adaptation behavior to sustain their operations with acceptable quality of service (QoS), in the face of hostile external events. For instance, a highly agile cruise control system of a car may dynamically adjust its controller parameters to generate a higher-than-normal increase in torque when encountering a higher road elevation (relative to a normal controller). The paper formulates model-based assessment techniques to reason about how capable is a networked system in meeting its QoS specs in the presence of hostile external events. As a case study, we describe the QoS assessment of a multivehicle adaptive cruise control system.
展开▼