FSD107: System verification plan, validation test specifications and results¶
Title |
FSD107: System verification plan, validation test specifications and results |
Current version |
V1 |
Products |
Safety Simplifier |
Requirements |
61508-1 clause 7.18, 61508-2 clause 7.9 |
Purpose |
Define the concept, overall scope, and market requirements for the Safety Simplifier |
Input |
FSD114 Safety requirements specification, FSD120 Design requirements specification |
Output |
FSD107: System verification plan, validation test specifications and results |
Table of contents
Introduction¶
The purpose of this document is to specify the safety lifecycle plans, verification plans, and verification reports for each phase of the E/E/PE system safety lifecycle (figure 2 of EN 61508-2).
All verification activities are documented for each phase, and all tests have clear pass/fail criteria. Tools and equipment to be used during the verification are stated in the verification document. If verification fails, it shall be stated if the failure is linked to:
the E/E/PE system safety lifecycle requirements, or
design requirements, or
requirements in Management of functional safety.
ID |
Title |
Status |
|---|---|---|
EN 61508-2:2010, clause 7.9.2.1 |
PASS |
|
EN 61508-2:2010, clause 7.9.2.2 |
PASS |
|
EN 61508-2:2010, clause 7.9.2.3 |
PASS |
|
EN 61508-2:2010, clause 7.9.2.4 |
PASS |
|
EN 61508-2:2010, clause 7.9.2.5 |
PASS |
|
EN 61508-2:2010, clause 7.9.2.6 |
PASS |
|
EN 61508-2:2010, clause 7.9.2.7 |
PASS |
|
EN 61508-2:2010, clause 7.9.2.8 |
PASS |
|
EN 61508-2:2010, clause 7.9.2.9 |
PASS |
|
EN 61508-2:2010, clause 7.9.2.10 |
PASS |
|
Phase 9 |
PASS |
|
Phase 10.1 sreqs |
PASS |
|
Phase 10.1 mreqs |
PASS |
|
Phase 10.1 dreqs |
PASS |
|
Phase 10.1 design requirements |
PASS |
|
Phase 10.2 test coverage |
PASS |
|
Phase 10.3 verification |
PASS |
|
Phase 10.3 techniques and measures |
PASS |
|
Phase 10.3 software safety lifecycle |
PASS |
|
Phase 10.4 system integration |
PASS |
|
Phase 10.4 integration tests |
PASS |
|
Phase 10.5 safety manual requirements |
PASS |
|
Phase 10.6 integration tests |
PASS |
Motivations¶
Verification planning has been performed concurrently with the development of each phase. Documentation for verification activities is specified. See FSD107: System verification plan, validation test specifications and results. |
Pass/fail criteria and procedures for verifying each phase are specified in FSD107: System verification plan, validation test specifications and results. |
Each verification activity specifies the necessary activities to ensure correctness and consistency. see verification activities for each phase further below in this document. |
a) - d) Specified for each verification activity in FSD107: System verification plan, validation test specifications and results. |
The pass criteria for each verification activity for each phase ensure that the functional and safety integrity requirements are met. see verification activities for each phase further below in this document. |
See test results in FSD107: System verification plan, validation test specifications and results for each phase. |
See Phase 10.1 sreqs (TEST_107_100), Phase 10.1 mreqs (TEST_107_101), Phase 10.1 dreqs (TEST_107_102), and Phase 10.1 design requirements (TEST_107_103). |
a) - c) See 4 Phase 10.3: E/E/PES design and development |
Phase 9: System safety requirements specification¶
The system safety requirements specification shall be verified by inspection and review of the document.
|
2 Phase 10.1: E/E/PES design requirements specification¶
2.1 Phase objective¶
Specify the design requirements for each E/E/PE safety-related system, in terms of the subsystems and elements.
2.1.1 Input¶
2.1.2 Output¶
2.2 Verification plan¶
The E/E/PE system design requirements (FSD120: System design requirements specification) shall fulfill the E/E/PE system safety requirements specification (input FSD114). Verify that each SREQ is covered by one or more E/E/PE system design requirement.
|
The E/E/PE system design requirements (output) shall match the market requirements for the product (input). Verify that there are no contradictions between the E/E/PE system design requirements and the market requirements, and that all the market requirements are covered by the E/E/PE system design requirements.
|
The E/E/PE system design requirements (output) shall not contain any contradictions. Compare all DREQs against all other DREQs and verify that there are no contradictions.
|
Verify that FSD120: System design requirements specification fulfill the requirements of points a-c in EN-61508-2 clause 7.2.2.2: ... (EN_61508_2_7_2_2_2).
|
3 Phase 10.2: E/E/PES safety validation planning¶
3.1 Phase objective¶
Develop the validation plan for the E/E/PE system.
3.1.1 Input¶
3.1.2 Output¶
Note
Documents containing validation test specifications can also contains the test results of those tests. Only the test specifications are output from this phase.
E/E/PE system safety validation plan (FSD116)
System validation test specifications:
3.2 Verification plan¶
The E/E/PE system validation plan (output) shall contain integration test specifications that cover all E/E/PE system safety and design requirements (input). Verify for each E/E/PE system design and safety requirement (input) that there are one or more integration test specifications that together validate that the requirement is fulfilled.
|
4 Phase 10.3: E/E/PES design and development¶
4.1 Phase objective¶
Design and develop the E/E/PE safety-related system to meet the E/E/PE system design requirements specification.
4.1.1 Input¶
4.1.2 Output¶
FSD129: The design and the methods used during the devlopment
Hardware
PCB018 (Safety Simplifier PLC)
PCB019 (Safety Simplifier display)
PCB022 (Safety Simplifier CAN card)
PCB023 (Radio module)
MEC1114ASM (Encapsulation)
Software
SRC002-021 (Firmware CPU1)
SRC002-022 (Firmware CPU2)
SRC002-104 logic compiler (FSD331: L3 tools description)
Simplifier Manager (FSD330: L2 Tools Description, FSD124: GUI and Compiler function requirements, module tests and integration tests)
Software safety lifecycle
FSD318 Software safety lifecycle requirements
FSD322 Software verification plan and results
FSD319 Software safety requirements specification
FSD321 Software design and development
FSD311-FSD314 Gitlogs
Integration and module tests and results in FSD124: GUI and Compiler function requirements, module tests and integration tests.
4.2 Verification plan¶
The design of the safety function(s) (output) shall fulfill the E/E/PE system safety function requirements. Verify that each E/E/PE system safety function requirement is fulfilled by the safety functions by comparing the completed software and hardware against the Safety design requirements specification (FSD120) and Software safety requirements specification (FSD319)
|
All recommended and highly recommended techniques and measures for SIL3 shall be applied for the development of the safety function(s). If not applied, a description of why not shall be provided. See FSD303: Techniques and measures.
|
The software safety lifecycle phases specified in FSD318 shall be followed during the development of the software. Verify that the software safety lifecycle phases are followed during the software development by verifying that the correct documentation for each phase exists.
|
5 Phase 10.4: E/E/PES integration¶
5.1 Phase objective¶
Integrate and test the E/E/PE safety-related system.
5.1.1 Input¶
Hardware (see output from the previous phase)
Software (see output from the previous phase)
5.1.2 Output¶
FSD124: GUI and Compiler function requirements, module tests and integration tests
FSD150: Validation tests of modes, power supply, and configuration
The E/E/PE system integration shall be performed according to the E/E/PE system safety validation plan (FSD116). Verify that the integration is performed according to the E/E/PE system safety validation plan (FSD116).
|
The integration tests in FSD124 and FSD150 shall be passed. Verify that the integration tests in FSD124 and FSD150 are all passed. Note that the only the integration tests of chapters 3 and 4 in FSD124, and the integration tests in FSD150 are applicable here.
|
6 Phase 10.5: E/E/PES installation, commissioning, operation & maintenance procedures¶
6.1 Phase objective¶
Develop the installation, commissioning, operation and maintenance procedures that are necessary for correct use of the product.
6.1.1 Input¶
FSD120 System design requirements specification
Hardware
Software
6.1.2 Output¶
safety manual requirements
User manual(s)
6.2 Verification plan¶
The safety manual requirements (output) shall cover all the requirements specified in FSD501 safety manual requirements. Verify that the manual(s) contain the necessary information about every procedure of installing, operating, maintaining, and commissioning the E/E/PE system. |
7 Phase 10.6: E/E/PES safety validation¶
7.1 Phase objective¶
Validate the E/E/PE safety-related system meets, in all respects, the requirements for safety in terms of the required safety functions and safety integrity.
7.1.1 Input¶
7.1.2 Output¶
FSD127 List of DREQ pass and reference
FSD128 List of DREQ pass and reference
Integration and module test results
FSD124
FSD150
FSD300
7.2 Verification plan¶
7.2.1 Verification 1¶
All integration tests shall be performed according to their specification and all integration tests shall be passed. Verify that the integration tests in FSD124 and FSD150 are performed as specified in their test specifications. Note that the only the integration tests of chapters 3 and 4 in FSD124, and the integration tests in FSD150 are applicable here. Due to the magnitude of tests that have been performed, a reasonable subset of the integration test results are selected and reviewed against their specification.
|