The broad aim of the work is to provide theoretically sound but practical methods and tools to aid the development and assessment of high integrity systems. The purpose of this document is to provide an overview of the group's activities and to give contact information. There are an increasing number of situations where we depend on computer-based systems to preserve and protect that which we value. Thus dependability is a form of requirement.
Integrity is a means of providing dependability.
It also has a wide collaborative base, involving Universities, major industrial companies and software houses around the world. The major current area of application for our work is the aerospace industry. We also have links with other aerospace companies, e.g. Lucas and GEC Marconi. The group's work is not limited to aerospace. Much of the work is general in nature and can be applied to any high-integrity system.