British Standards Institution

Source:: ISO/IEC
Committee:: ART/1 - Artificial Intelligence
Categories:: Information management | Standardization. General rules | ICT | Information technology | Information technology. General

Scope

This document provides methodology for the use of formal methods to assess robustness properties of neural networks. The document focuses on how to select, apply and manage formal methods to prove robustness properties.

Purpose

This technical report deals with the topic of robustness of neural networks which is an important aspect in order to build a trustworthiness framework for AI system (and in particular for machine learning systems such as neural networks). This document is based on the ISO/IEC TR 24029-2 which is currently at stage 40.60 (DIS approved)

Comment on proposal

Required form fields are indicated by an asterisk (*) character.

How important do you think standardization is in this area? *

Do you agree that a standard on this subject is feasible?: *

Please give reasons for your selections above: *

Would you or your organization use the standard? *

Would you or your organization be prepared to participate in the development of the standard or to comment on the draft when it is available? *

Are you aware of any regulation, existing standards and other good practice information in this area in the UK (e.g. Industry codes of practice; company specifications, international or European Standards)? *

Would the development of a standard(s) in this area have a particular impact/relevance to SME, consumer, environmental or societal interests? *

Are you aware of any other organizations to which this proposal may be relevant? If so please provide details below. *

Additional comments on the scope or proposal:

Although BSI will not usually enter into correspondence regarding individual comments or suggestions we may wish to contact you to seek further clarification. Please indicate whether this will be acceptable: *

Discard

Please email further comments to: debbie.stead@bsigroup.com

Standard timeline

1. Proposal

Proposal start date:

06/12/2022

Proposal end date:

18/12/2022

2. Draft

3. Public Comments

4. Comment Resolution

5. Approval

6. Publication

Learn more about the standards development process

Standards Development

PWI NWIP adoption of ISO/IEC 24029-2 (Doc. N 271) ISO/IEC 24029-2 “Information technology - Artificial Intelligence (AI) – Assessment of the robustness of neural networks - Part 2: Methodology for the use of formal methods”

Scope

Purpose

Comment on proposal

Discard changes?

Submit comment

Submit comment

Follow standard

Unfollow standard

Error