Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Coenen, F. and Bench-Capon, T. (1993). Maintenance of Knowledge-Based Systems, Academic Press, London.
DNV-Rules (1997), Det Norske Veritas — Rules for Classification of Ships. Pt.4 Ch.5 Instrumentation and Automation.
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).
IEC 61508 -Functional Safety: Safety Related System, International Electrotechnical Commission.
Safe-KBS Certification Methodology. Task 5.3 Report. Esprit Programme Project No. 22360, 1998.
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.
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.
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.
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.
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.
Voas, J. (1998). A Recipe for Certifying High Assurance Software. Proceedings of COMPSAC’98, Vienna, Austria, August 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media New York
About this chapter
Cite this chapter
Vermesan, A., Martinsen, P., Sjøvaag, J., Bell, K. (1999). Verification and Validation in Support for Software Certification Methods. In: Vermesan, A., Coenen, F. (eds) Validation and Verification of Knowledge Based Systems. Springer, Boston, MA. https://doi.org/10.1007/978-1-4757-6916-6_19
Download citation
DOI: https://doi.org/10.1007/978-1-4757-6916-6_19
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4419-5107-6
Online ISBN: 978-1-4757-6916-6
eBook Packages: Springer Book Archive