관심표준 등록 : 표준업데이트 시 알림을 받을 수 있습니다.
PDF : 직접 파일 다운로드 및 인쇄 (마이페이지 확인)
PRINT : 인쇄본 우편발송, 2~3일 소요(PDF파일 미제공)
표준
판매
Software and systems engineering - Capabilities of software safety and security verification tools
| 분야 | ISO/IEC JTC 1/SC 7 : Software and systems engineering |
|---|---|
| 적용범위 | 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. |
| 국제분류(ICS)코드 | 35.080 : 소프트웨어 개발 및 시스템 문서화 |
| 페이지수 | 30 |
| Edition | 1.0 |
| No. | 표준번호 | 표준명 | 발행일 | 상태 |
|---|---|---|---|---|
| 1 | ISO/IEC 23643:2020 | Software and systems engineering — Capabilities of software safety and security verification tools | 2020-06-12 | 표준 |
| 2 | ISO/IEC 23643:2020 | Software and systems engineering - Capabilities of software safety and security verification tools | 2020-06-12 | 표준 |
관련상품이 존재하지 않습니다.
IEC 62714-5:2022 - Engineering data exchange format for use in industrial automation systems engineering - Automation markup language - Part 5: Communication 상세보기
ISO/IEC/IEEE 24748-3:2020 - Systems and software engineering - Life cycle management - Part 3: Guidelines for the application of ISO/IEC/IEEE 12207 (software life cycle processes) 상세보기
ISO 19030-1:2016 - Ships and marine technology — Measurement of changes in hull and propeller performance — Part 1: General principles 상세보기
ISO 19030-2:2016 - Ships and marine technology — Measurement of changes in hull and propeller performance — Part 2: Default method 상세보기
ISO 19030-3:2016 - Ships and marine technology — Measurement of changes in hull and propeller performance — Part 3: Alternative methods 상세보기
IEC TS 63134:2020 - Active assisted living (AAL) use cases 상세보기
IEC 60034-5:2020 RLV - Rotating electrical machines - Part 5: Degrees of protection provided by the integral design of rotating electrical machines (IP code) - Classification 상세보기
KS B ISO TS 25740-1 - 에스컬레이터 및 무빙워크에 대한 안전요건 — 제1부: 세계공통 필수 안전요건(GESRs) 상세보기
KS B ISO TS 8100-21 - 승객 및 화물 운송용 엘리베이터 —제21부: 세계공통 필수안전요건(GESRs)을 충족하는 세계공통 안전 파라미터(GSPs) 상세보기
KS C IEC TS 62872 - 산업 시설과 스마트 그리드 사이의 산업 공정 측정, 제어 및 자동화 시스템 인터페이스 상세보기
KS표준
핸드북
