Problems of verifying and validating real time systems
A draft Verification, Validation and Evaluation of Expert Systems,. The purpose of this communication is not to present an official document, but to share a work in process and to solicit advice.
It is the intention of the Development Team to produce a quality product that will truly be of value to those developing and testing expert systems.
In particular, during the development cycle of the system, the verification process is performed in parallel with the system definition and system realization processes and applies to any activity and any product resulting from the activity.
The activities of every life cycle process and those of the verification process can work together.
It may also be referred to as software quality control.
Verification is the confirmation, through the provision of objective evidence, that specified requirements have been fulfilled.
With a note added in ISO/IEC/IEEE 15288, the scope of verification includes a set of activities that compares a system or system element against the requirements, architecture and design characteristics, and other properties to be verified (ISO/IEC/IEEE 2015).
Thus I encourage you to critically review this draft handbook and provide any suggestions for improvement.
We want to hear the bad news as well as the good so that we can improve this handbook.