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.

  • Standard
    23 pages
    English language
    sale 15% off
  • Draft
    22 pages
    English language
    sale 15% off

This document outlines a quality model for AI systems and is an application-specific extension to the standards on SQuaRE. The characteristics and sub-characteristics detailed in the model provide consistent terminology for specifying, measuring and evaluating AI system quality. The characteristics and sub-characteristics detailed in the model also provide a set of quality characteristics against which stated quality requirements can be compared for completeness.

  • Standard
    15 pages
    English language
    sale 15% off
  • Draft
    15 pages
    English language
    sale 15% off

This document provides guidance on how organizations that develop, produce, deploy or use products, systems and services that utilize artificial intelligence (AI) can manage risk specifically related to AI. The guidance also aims to assist organizations to integrate risk management into their AI-related activities and functions. It moreover describes processes for the effective implementation and integration of AI risk management. The application of this guidance can be customized to any organization and its context.

  • Standard
    26 pages
    English language
    sale 15% off
  • Standard
    30 pages
    French language
    sale 15% off

This document provides a high-level overview of AI ethical and societal concerns. In addition, this document: — provides information in relation to principles, processes and methods in this area; — is intended for technologists, regulators, interest groups, and society at large; — is not intended to advocate for any specific set of values (value systems). This document includes an overview of International Standards that address issues arising from AI ethical and societal concerns.

  • Technical report
    48 pages
    English language
    sale 15% off

This document addresses bias in relation to AI systems, especially with regards to AI-aided decision-making. Measurement techniques and methods for assessing bias are described, with the aim to address and treat bias-related vulnerabilities. All AI system lifecycle phases are in scope, including but not limited to data collection, training, continual learning, design, testing, evaluation and use.

  • Technical report
    39 pages
    English language
    sale 15% off

This document provides background about existing methods to assess the robustness of neural networks.

  • Technical report
    31 pages
    English language
    sale 15% off
  • Draft
    31 pages
    English language
    sale 15% off

This document surveys topics related to trustworthiness in AI systems, including the following: — approaches to establish trust in AI systems through transparency, explainability, controllability, etc.; — engineering pitfalls and typical associated threats and risks to AI systems, along with possible mitigation techniques and methods; and — approaches to assess and achieve availability, resiliency, reliability, accuracy, safety, security and privacy of AI systems. The specification of levels of trustworthiness for AI systems is out of the scope of this document.

  • Technical report
    43 pages
    English language
    sale 15% off
  • Technical report
    43 pages
    English language
    sale 15% off