Abstract :
The following topics are dealt with: cloud computing reliability; cloud computing security; dependable embedded systems; real-time systems; dependability modeling; dependability tools; hardware dependability; fault-tolerance secure systems; characterisation method; verification method; validation method.
