GSO ISO/IEC 23643:2023

Gulf Standard   Current Edition
· Approved on 03 May 2023 ·

Software and systems engineering — Capabilities of software safety and security verification tools

Software
Including software development, documentation and use

GSO ISO/IEC 23643:2023 Files

English 0 Pages
Current Edition Reference Language

GSO ISO/IEC 23643:2023 Scope

This document specifies requirements for the vendors and gives guidelines for both the users and the developers of software safety and security verification tools. The users of such tools include, but are not limited to, bodies performing verification and software developers who need to be aware and pay attention to safety and/or security of software. This document guides the verification tool vendors to provide as high-quality products as possible and helps the users to understand the capabilities and characteristics of verification tools.

This document introduces use cases for software safety and security verification tools and entity relationship model related to them. This document also introduces tool categories for software safety and security verification tools and gives category specific guidance and requirements for the tool vendors and developers.

Best Sellers From Information Sector

GSO ISO/TR 18492:2017
ISO/TR 18492:2005 
Gulf Standard
Long-term preservation of electronic document-based information
BH GSO ISO 16175-2:2016
GSO ISO 16175-2:2013 
Bahraini Standard
Information and documentation -- Principles and functional requirements for records in electronic office environments -- Part 2: Guidelines and functional requirements for digital records management systems
GSO ISO/TR 13028:2013
ISO/TR 13028:2010 
Gulf Standard
Information and documentation - Implementation guidelines for digitization of records
GSO ISO 16175-2:2013
ISO 16175-2:2011 
Gulf Standard
Information and documentation -- Principles and functional requirements for records in electronic office environments -- Part 2: Guidelines and functional requirements for digital records management systems

Recently Published from Information Sector

GSO ISO/IEC 22237-4:2024
ISO/IEC 22237-4:2021 
Gulf Standard
Information technology — Data centre facilities and infrastructures — Part 4: Environmental control
GSO ISO/IEC TR 3445:2024
ISO/IEC TR 3445:2022 
Gulf Standard
Information technology — Cloud computing — Audit of cloud services
GSO ISO/IEC 30169:2024
ISO/IEC 30169:2022 
Gulf Standard
Internet of Things (IoT) — IoT applications for electronic label system (ELS)
GSO ISO/IEC 30162:2024
ISO/IEC 30162:2022 
Gulf Standard
Internet of Things (IoT) — Compatibility requirements and model for devices within industrial IoT systems