Dependability assessment of networked embedded software systems

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 (resource outages, component failures, etc). For e.g., a high-availability air-traffic map data service increases the number of replica servers to counter attacks on the data hosting nodes. With the high complexity of such adaptive systems, their trustworthiness in responding to hostile external events should be assessed. The paper formulates model-based assessment techniques to measure how trustworthy a networked software system S is. We benchmark the QoS capability of S by a stress-testing of S with artificially injected failures. As case study in CPS domains, we describe the model-based assessment of collision avoidance systems in automobiles.