Adelard, part of NCC Group, is a product and services company supporting clients in the areas of safety, dependability, security and risk management. Our applied research programme enables us to bring cutting-edge techniques and methods to bear to solve our clients' difficult problems. Adelard exists to provide independent and technically sound advice on how to engineer and assure the trustworthiness of computer-based systems.