
ISO 23643:2020
ISO 23643:2020 Software and systems engineering – Capabilities of software safety and security verification tools
CDN $303.00
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.
Edition
1
Published Date
2020-06-12
Status
PUBLISHED
Pages
30
Format 
Secure PDF
Secure – PDF details
- Save your file locally or view it via a web viewer
- Viewing permissions are restricted exclusively to the purchaser
- Device limits - 3
- Printing – Enabled only to print (1) copy
See more about our Environmental Commitment
Abstract
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.
Previous Editions
Can’t find what you are looking for?
Please contact us at:
Related Documents
-

ISO 16840:2006 Wheelchair seating – Part 1: Vocabulary, reference axis convention and measures for body segments, posture and postural support surfaces
CDN $391.00 Add to cart -

ISO 4006:1991 Measurement of fluid flow in closed conduits – Vocabulary and symbols
CDN $391.00 Add to cart -

ISO 22553:2019 Paints and varnishes – Electro-deposition coatings – Part 1: Vocabulary
CDN $84.00 Add to cart -

ISO 3833:1977 Road vehicles – Types – Terms and definitions
CDN $129.00 Add to cart







