Hostname: page-component-586b7cd67f-r5fsc Total loading time: 0 Render date: 2024-12-04T19:24:28.597Z Has data issue: false hasContentIssue false
  • English
  • Français

Reliable and accountable system design

Published online by Cambridge University Press:  04 April 2001

PAUL KRAUSE ,
JANE HESKETH  and
DAVE ROBERTSON
PAUL KRAUSE
Affiliation:
Philips Research Laboratories, Crossoak Lane, Redhill, Surrey, UK
JANE HESKETH
Affiliation:
Department of Artificial Intelligence, Edinburgh University, 80 South Bridge, Edinburgh, Scotland
DAVE ROBERTSON
Affiliation:
Department of Artificial Intelligence, Edinburgh University, 80 South Bridge, Edinburgh, Scotland
Get access Rights & Permissions [Opens in a new window]

Abstract

Few would disagree with the assertion that safe engineering starts from the early stages of system design and should be maintained throughout the lifecycle. Different engineering domains have developed, mostly informal, frameworks with which they hope to promote this attitude. An interesting question for the KBS community is whether some of our methods for knowledge representation and reasoning can be used to assist in understanding, representing and interpreting such frameworks. This paper concentrates on what is (arguably) the area of greatest concern: relating system requirements to high level design. We highlight what appear to be the major difficulties which face us in this area, using examples from systems which have been built to tackle them.

Type
Research Article
Information
The Knowledge Engineering Review , Volume 12 , Issue 3 , September 1997 , pp. 289 - 305
Copyright
© 1997 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)