The project aims to provide a unified approach to development and
maintenance of safety critical software, by:
- identifying the root causes of incidents in which the use of
computer software is involved;
- studying different software development approaches, and
identifying aspects of these which are relevant to those root
causes;
- producing guidelines for using and improving the development
approaches studied;
- providing support in the integration of these approaches, so
that they can be better used for the development and
maintenance of safety critical software.