The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
YSE and BAe Defence have recently completed an unclassified study for MoD (PE) specifically concerned with high integrity software development process and tool issues. The overall objective of the project was to produce guidance for MoD project managers on the sorts of processes and toolsets which their suppliers should be expected to deploy on projects being conducted in the context of Interim Defence Standard (IDS) 00-55 and IDS 00-56. A wide-ranging survey of industrial practice underpinned the project.This paper reports the main areas of work of the project and its results. The topics covered include: ideal high integrity software development including tool support requirements; a review of current high integrity software development practice; available tool support (COTS and proprietary); a minimum acceptable process and associated tool support; process and toolset hazard analysis; process and toolset safety cases; building better toolsets; process and toolset assessment.