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 30 Pages
Current Edition Reference Language
66.81 BHD

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/IEC 15773:2016
GSO ISO/IEC 15773:2013 
Bahraini Standard
Information technology -- Telecommunications and information exchange between systems -- Broadband Private Integrated Services Network -- Inter-exchange signalling protocol -- Transit counter additional network feature
GSO ISO/IEC 15773:2013
ISO/IEC 15773:1998 
Gulf Standard
Information technology -- Telecommunications and information exchange between systems -- Broadband Private Integrated Services Network -- Inter-exchange signalling protocol -- Transit counter additional network feature
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

Recently Published from Information Sector

GSO ISO/IEC 23053:2024
ISO/IEC 23053:2022 
Gulf Standard
Framework for Artificial Intelligence (AI) Systems Using Machine Learning (ML)
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
GSO ISO/IEC 30107-3:2024
ISO/IEC 30107-3:2023 
Gulf Standard
Information technology — Biometric presentation attack detection — Part 3: Testing and reporting
GSO ISO/IEC 30169:2024
ISO/IEC 30169:2022 
Gulf Standard
Internet of Things (IoT) — IoT applications for electronic label system (ELS)