Account:  - Login  |  Webstore  |  Shopping basket cart
English  |  Français  |  Nederlands

Publication details

Publication CODE Title
ISO/IEC 23643:2020 (2020-06) SOFTWARE AND SYSTEMS ENGINEERING - CAPABILITIES OF SOFTWARE SAFETY AND SECURITY VERIFICATION TOOLS
 
Price Excl. VAT Total number of pages, tables and drawings
160.00 € 30.
Description
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.
Class  C990  (IEC PUBLICATIONS IEC PUBLICATIONS)
Available files
EN version

Status
Status IEC PUBLICATION
Situation Currently active
Origin
Committee ISO/IEC JTC 1/SC 7
SOFTWARE ENGINEERING
Approval
BEC Approval 2020-06-12
ICS-Code (International Standards Classification) 35.080
NBN Status New
IEC publication date 2020-06-12
IEC file modification date 2020-06-15
IEC last modification date 2020-06-15