HIGH INTEGRITY SOFTWARE-DEVELOPMENT - PROCESS AND TOOL ISSUES

YSE and BAe Defence have recently completed an unclassified study for MoD (PE) specifically concerned with high integrity software developme nt process and tool issues. The overall objective of the project was t o produce guidance for MoD project managers on the sorts of processes and toolsets which their suppliers should be expected to deploy on pro jects being conducted in the context of Interim Defence Standard (IDS) 00-55 and IDS 00-56. A wide-ranging survey of industrial practice und erpinned the project. This paper reports the main areas of work of the project and its results. The topics covered include: ideal high integ rity software development including tool support requirements;a review of current high integrity software development practice: available to ol support (COTS and proprietary); a minimum acceptable process and as sociated tool support; process and toolset hazard analysis; process an d toolset safety cases; building better toolsets; process and toolset assessment.