GSO ISO/IEC 23643:2023

ISO/IEC 23643:2020
Gulf Standard   Current Edition · Approved on 03 May 2023

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

GSO ISO/IEC 23643:2023 Files

English 30 Pages
Current Edition Reference Language
63.57 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
ISO/IEC 15773:1998 
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
ISO 16175-2:2011 
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 29585:2024
ISO 29585:2023 
Gulf Standard
Health informatics — Framework for healthcare and related data reporting
GSO ISO 16245:2024
ISO 16245:2023 
Gulf Standard
Information and documentation — Boxes, file covers and other enclosures, made from cellulosic materials, for storage of paper and parchment documents
GSO ISO/IEC 9075-15:2024
ISO/IEC 9075-15:2023 
Gulf Standard
Information technology — Database languages SQL — Part 15: Multidimensional arrays (SQL/MDA)
GSO ISO/IEC TS 5147:2024
ISO/IEC TS 5147:2023 
Gulf Standard
Information technology — Computer graphics, image processing and environmental data representation — Guidelines for representation and visualization of smart cities