The safe and secure operation ofcomputer systems continues to be the major issue in many applications where there is a threat to people, the environment, invest

This book constitutes the refereed proceedings of 5 workshops co-located with SAFECOMP 2015, the 34th International Conference on Computer Safety, Reliability,

Computers and their interactions are becoming the characteristic features of our time: Many people believe that the industrial age is going over into the inform

The European Commission emphasizes, in its Fifth Research Framework, the “. . . emerging generic dependability requirements in the information society, stemmi

Theimportanceofsafetyandsecurityisgrowingsteadily.Safetyisaqualityc- racteristic that traditionally has been considered to be important in embedded systems, and