Computing the performability of layered distributed systems with a management architecture