Proceedings of the 1st workshop on Architectural and system support for improving software dependability