Toggle Main Menu Toggle Search

Open Access padlockePrints

An Approach for Designing Knowledge-Based Systems for High-Integrity Applications

Lookup NU author(s): Luke Martin, Professor Alexander RomanovskyORCiD


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


© 2017 IEEE. The development of knowledge-based systems (KBSs) has been an area subject to much criticism due to the general lack of structured engineering methods. Although many design and development methods have been proposed and successfully realised, such as CommonKADS, there is still a continuing concern that the reliability of KBSs is difficult to evaluate. This is partly due to the limited incorporation of reliability modelling and validation and verification techniques at various stages of the development life cycle that provide such assurances. Given that current development trends of KBSs indicate a continuing integration with complex, high-integrity systems, it is important to develop KBSs with an engineering process that consolidates rigorous specification and evaluation techniques and methods that ensures the developed software meets the necessary certification standards. This paper presents a proposal of such an engineering process and briefly outlines and discusses the preliminaries of this.

Publication metadata

Author(s): Martin L, Romanovsky A

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 13th European Dependable Computing Conference, EDCC 2017

Year of Conference: 2017

Pages: 107-110

Acceptance date: 04/09/2017

Publisher: IEEE


DOI: 10.1109/EDCC.2017.25

Library holdings: Search Newcastle University Library for this item

ISBN: 9781538606025