For the last decade, dependability - the ability to offer a service that can be trusted - has been the focus of much research, and is of particular interest when designing and building systems. We are developing a dependable framework for an autonomous system and its control.