Title :
Expert systems and certification
Author_Institution :
Dept. of Eng., Warwick Univ., Coventry, UK
Abstract :
Some of the principles for designing high integrity software are: use of formal specification languages, rigorous development environment, software must be analyzable by static code analysis, the coverage of dynamic tests must be predictable, and verification by independent scientists and engineers. It is hard to see how current KBS systems will fit this mould. The paper considers this issue in more detail
Keywords :
expert systems; legislation; professional aspects; KBS systems; certification; development environment; dynamic tests; expert systems; formal specification languages; high integrity software; static code analysis; verification;
Conference_Titel :
Expert Systems Liability, IEE Colloquium on
Conference_Location :
London
