The Updater Project
This project provided an investigation into the management of in-service updates to Knowledge-Based Systems (KBSs), with a particular emphasis on recertification and support within PCPACK.
This research was carried out in partnership with Aerosystems International Limited, on behalf of DERA Farnborough.
As Knowledge-Based Systems (KBSs) start to be used in mission-critical contexts, it is important that they can be certified. This involves confirming that the system is both fit for purpose and adequately safe. Any future changes to the KBS, which may occur due to changes in equipment or tactics might impact on the safety or fitness for purpose of the system: it must be recertified.
Within this project, Epistemics provided expertise on the development and maintenance of KBSs. Using our experience from the FOAEW domain, Epistemics conducted a case study showing how PCPACK v2 might be used in the future to support updates to a KBS and its recertification. This led to the identification of several areas in which PC PACK should be extended or enhanced.
The Certification Project
The Certification project extended the Updater research to develop a framework for developing KBSs in a military context for eventual certification.
This research was carried out in partnership with Aerosystems International Limited (AeI), on behalf of DERA Farnborough.
Within this project, Epistemics and AeI produced a framework for developing and certifying KBSs based on the CommonKADS methodology. We used our experience from the FOAEW domain, to demonstrate and evaluate the framework. We showed that it is possible to generate the same quantity and quality of evidence during the development of a KBS as it is during the development of a conventional system. We also estimated the extra effort involved in certifying a KBS compared to a conventional system.
Other Research Projects: