Formal Methods for the engineering and certification of safety-critical Knowledge Based Systems

1999 ◽  
pp. 113-130 ◽  
Author(s):  
Giovanna Dondossola
Keyword(s):  
Formal Methods ◽  
Knowledge Based Systems ◽  
Safety Critical ◽  
Knowledge Based ◽  
Critical Knowledge

Knowledge engineering in the communication of Information for safety critical systems

1997 ◽  
Vol 12 (3) ◽  
pp. 249-270 ◽  
Author(s):  
CORIN A. GURR
Keyword(s):  
Knowledge Engineering ◽  
Distributed Teams ◽  
Primary Role ◽  
Knowledge Based Systems ◽  
Critical Systems ◽  
Human Communication ◽  
Critical System ◽  
Safety Critical ◽  
Knowledge Based ◽  
Safety Critical Systems

The design and assessment of safety critical systems often involves broad and distributed teams of designers, suppliers and analysts who represent diverse areas of expertise and motivations. Accurate and effective communication between these groups is therefore an issue of primary importance. The formalisation of specifications and arguments of safety can be of significant benefit in ensuring the consistency of evidence in such cases, when it must be presented across many domains. However, a formal description of a safety critical system may be unconvincing unless it is presented in a form which is (or forms which are) accessible to the broad range of users and assessors of safety cases. This raises issues of human communication which include the tailoring of information to particular communicative tasks; the efficacy of differing media for communication and the cognitive impact that such differing media have. This paper draws together work in fields of knowledge engineering, knowledge based systems and human communication in an effort to address, from a sound theoretical basis, these and other communication issues raised by the use of formal descriptions in safety critical systems. Further, this paper argues that a primary role for knowledge based systems techniques in safety critical systems is in supporting the communication of information.

Reakt: real-time architecture for time-critical knowledge-based systems

1994 ◽  
Vol 3 (3) ◽  
pp. 153 ◽  
Author(s):  
A. Mensch ◽  
D. Kersual ◽  
A. Crespo ◽  
F. Charpillet ◽  
E. Pessi
Keyword(s):  
Real Time ◽  
Knowledge Based Systems ◽  
Knowledge Based ◽  
Critical Knowledge ◽  
Time Critical

Book review: Introduction to Knowledge Based Systems

IEE Review ◽  
1988 ◽  
Vol 34 (1) ◽  
pp. 36
Author(s):  
S.H. Lavington
Keyword(s):  
Knowledge Based Systems ◽  
Knowledge Based
Sign in / Sign up

Export Citation Format

Share Document