Verification and Validation in Support for Software Certification Methods
Companies are introducing more and more intricate software into systems. In complex systems, regulatory or other considerations (such as potential financial losses) may require the software components to undergo a certain level of certification corresponding to its application and criticality. This paper presents an approach to certifying software contained within systems where its functionality is considered critical within the environment in which it is placed. Those software components implemented using the knowledge-base (KB) technology are highlighted and the role of verification and validation (V&V) in certification of KB components is emphasized. Within a certification model, two particular elements are presented in detail. Firstly, a categorization scheme based on V&V classes is described which has the potential for ensuring reproducibility of the results from software certification by different bodies. Secondly, a certification profile for a software component is described which aims to ensure repeatability of the results of software certification carried out by the same body. The approach presented here is based on the findings of the SafeKBS1 European project.
KeywordsSoftware Component Versus Class Versus Method Certification Process Safety Critical System
Unable to display preview. Download preview PDF.
- Coenen, F. and Bench-Capon, T. (1993). Maintenance of Knowledge-Based Systems, Academic Press, London.Google Scholar
- DNV-Rules (1997), Det Norske Veritas — Rules for Classification of Ships. Pt.4 Ch.5 Instrumentation and Automation.Google Scholar
- Gamble, R.F. and Shaft, T.M. (1996). Eliminating concerns for redundancy, consistency and completeness. International Journal of Software Engineering and Knowledge Engineering, 6 (4).Google Scholar
- IEC 61508 -Functional Safety: Safety Related System, International Electrotechnical Commission.Google Scholar
- Safe-KBS Certification Methodology. Task 5.3 Report. Esprit Programme Project No. 22360, 1998.Google Scholar
- Vermesan, A.I. (1997). Quality Assessment of Knowledge-Based Software: Certification Considerations. In Proceedings of Third IEEE International Software Engineering Standards Symposium (ISESS 87) Walnut Creek, CA.Google Scholar
- Vermesan, A.I. (1998) Foundation and Application of Expert System Verification and Validation, Chapter 5, pp.5.1–5.32, in The Handbook of Applied Expert Systems, CRC Press, 1998.Google Scholar
- Vermesan, A.I. (1998). Software Certification for Industry — Verification and Validation Issues in Expert Systems. In Proceedings of the Ninth IEEE International Workshop on Database and Expert Systems Applications (DEXA’98), Vienna, Austria, August 1998.Google Scholar
- Vermesan, A.I. and Bench-Capon, T. (1995) Techniques for the Verification and Validation of Knowledge-Based Systems: A Survey Based on the Symbol/Knowledge Level Distinction, Software, Testing, Verification & Reliability, John Wiley & Sons, Ltd, pp. 233271.Google Scholar
- Vermesan, A.I., SjOvaag, J. and Martinsen, P. (1999) Towards a certification scheme for computer software, ISACC’99 International Software Assurance Certification Conference, February 1999, Washington DC, USA.Google Scholar
- Voas, J. (1998). A Recipe for Certifying High Assurance Software. Proceedings of COMPSAC’98, Vienna, Austria, August 1998.Google Scholar