Achievement and Assurance of Safety: Proceedings of the Third Safety-critical Systems Symposium
Each year there are improvements in safety-critical system technology. These arise both from developments in the contributing technologies, such as safety engineering, software engineering, human factors and risk assessment, and from the adoption or adaptation of appropriate techniques from other domains, such as security. For these improvements to be of real benefit, they need to be applied during the appropriate stage in the life cycle of the system, whether it be development, assessment, or operation. For this to occur, they must be communicated and explained. Each year the Safety-critical Systems Symposium offers a distinguished forum for the presentation of papers on such developments, and also for papers from industry on the lessons learned from the use of technologies and methods. The results of many collaborative research projects, with components from both industry and academia, are reported in a universally understandable form. In 1995 the Symposium was held in Brighton, a venue calculated to stimulate not just the presenters of papers, but all the delegates. Yet, this book of Proceedings is intended not only for the delegates but also for readers not able to attend the event itself. We welcome both categories of reader. Delegates have the benefit of attending the presentations and the opportunity to participate in the discussions; those who take up this book after the event can peruse it attheir leisure and, perhaps, on account of it will resolve to attend subsequent symposia.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Measuring the Benefits of Transport Safety
Programming Languages and SafetyRelated Systems
On the Qualification of SafetyCritical Structures the SAFESA
12 other sections not shown
Other editions - View all
accidents achieved advanced robots ALARP algorithm application application software approach areas artificial neural network assessment associated behaviour biomass Code of Practice complex components concept contingent valuation control systems criteria defined dynamic environment error estimates event example failure feedforward Figure formal formalisation framework functions hardware hazard HAZOP identified implemented improvement industry injuries input integrity levels issues ITSEC Jones-Lee language linear measures methods Modula-2 non-fatal nonlinear objective operation organisation output plant predictive control Principal Component Analysis problems pump Redmill reliability safe safety analysis safety critical safety critical systems safety evaluation safety integrity safety integrity levels safety life cycle safety methodology safety process safety requirements safety systems safety-critical systems safety-related systems sensor simulation software development software engineering software testing specification standards structure system modelling system representation testing type approval validation value of statistical variables viewpoints