Certification Standards - Using Event-B for Critical Device Software Systems - page 309

Fig. A.1 The standards
development life-cycle of
IEEE
A.3.1 IEEE Standard 1012
The IEEE Standard 1012 is particularly used for both critical and non-critical soft-
ware related to the Software Verification and Validation Plans (SVVP). Critical soft-
ware is software in which a failure could have an impact on safety or could cause
large, financial or social losses [ 14 ]. The SVVP mainly used for first, verification
of the software product according to the previously defined life-cycle phases, and
second validation of the final product according to the existing software and system
requirements [ 16 ].
A.3.2 IEEE Standard 730
The IEEE Standard 730 [ 15 ] is related to the Software Quality Assurance Plans
(SQAP), which provides minimum acceptable requirements for the software. This
standard helps specially for development and maintenance of the critical software.
A subset of requirements of this standard is applicable to non-critical and already
developed software.
A.3.3 IEEE Standard 1074
The IEEE Standard 1074 is used for developing a process of a software project life
cycle. This standard mainly controls the architecture of the process, which is partic-
ularly useful for organisation that is responsible to complete development process
of the software projects [ 17 ]. The development life cycle of the IEEE standards is
depicted in Fig. A.1 , which describes a process for developing the IEEE standards
using six stages life cycle under the fixed time frame along with the effective and
trusted process. A detailed description about each level of the development life cycle
of the IEEE standards is available in [ 13 ].