DocumentCode
281667
Title
Certification of safety-critical systems
Author
Cullyer, W.J.
Author_Institution
Dept. of Eng., Warwick Univ., Coventry, UK
fYear
1989
fDate
32584
Firstpage
311
Abstract
Legislatures and the public have decided that some applications of electronics and automation are so critical to the preservation of human life that regulatory agencies must monitor the designs carried out by engineers. Examples in the UK are the supervision of the design and operation of nuclear plant by the Nuclear Installations Inspectorate and the overview of safety in civil aviation provided by the Civil Aviation Authority. The paper considers the constraints that such certification procedures place on designers and software teams and relates these comments to the future use of IKBS in real-time applications
Keywords
knowledge based systems; real-time systems; safety; software engineering; Civil Aviation Authority; IKBS; Nuclear Installations Inspectorate; certification procedures; civil aviation; designers; nuclear plant; real-time applications; regulatory agencies; safety-critical systems; software teams;
fLanguage
English
Publisher
iet
Conference_Titel
Software Engineering Practices for Intelligent Knowledge-Based Systems, IEE Colloquium on
Conference_Location
London
Type
conf
Filename
198061
Link To Document