Safer Systems: Proceedings of the Fifth Safety-critical Systems Symposium, Brighton 1997
The contributions to this book are the invited papers presented at the fifth annual Safety-critical Systems Symposium. They cover a broad spectrum of issues affecting safety, from a philosophical appraisal to technology transfer, from requirements analysis to assessment, from formal methods to artificial intelligence and psychological aspects. They touch on a number of industry sectors, but are restricted to none, for the essence of the event is the transfer of lessons and technologies between sectors. All address practical issues and of fer useful information and advice. Contributions from industrial authors provide evidence of both safety con sciousness and safety professionalism in industry. Smith's on safety analysis in air traffic control and Rivett's on assessment in the automotive industry are informative on current practice; Frith's thoughtful paper on artificial intelli gence in safety-critical systems reflects an understanding of questions which need to be resolved; Tomlinson's, Alvery's and Canning's papers report on collaborative projects, the first on results which emphasise the importance of human factors in system development, the second on the development and trial of a comprehensive tool set, and the third on experience in achieving tech nology transfer - something which is crucial to increasing safety.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Current Activities at the University
Using a Layered Functional Model to Determine Safety
11 other sections not shown
Other editions - View all
accident achieve applied approach arguments attributes automated Bayesian networks behaviour carcinogenic cognitive diversity complex component control software control system cyclomatic complexity decision defined detected discussed domain effect enabling condition example experience failure modes Fault Tree Fault Tree Analysis formal methods functionally dissimilar guideway human error Human Reliability identified IEEE individual input intelligent system interaction involved issues judgement knowledge Leveson logical metrics module monitor software networks objective operation organisations passenger performance PMS-R possible potential practice probability problem product measurement rates reasoning Redmill reliability requirements risk assessment safe safety critical systems safety engineer safety integrity level safety manager safety-critical systems safety-related sensor software development software engineering software metrics software testing specification standards statistical structure synthetic intelligence system failure system safety target techniques testability testing transport Tversky validation vehicle verification