Directions in safety-critical systems: proceedings of the First Safety-critical Systems Symposium, the Watershed Media Centre, Bristol, 9-11 February 1993
Felix Redmill, Tom Anderson
Springer-Verlag, 1993 - Business & Economics - 285 pages
0 e This is the proceedings of the first annual symposium of the Safety-critical Systems Club (The Watershed Media Centre, Bristol, 9-11 February 1993), which provided a forum for exploring and discussing ways of achieving safety in computer systems to be used in safety-critical industrial applications. The book is divided into three parts, which correspond with the themes of the three days of the symposium. The first - Experience from Around Europe - brings together information on developments in safety-critical systems outside the UK. The second - Current Research - consists of papers on large projects within the UK, which involve collaboration between academia and industry, providing techniques and methods to enhance safety. The final part - Achieving and Evaluating Safety - explores how methods already in use in other domains may be applied to safety, and examines the relationships between safety and other attributes such as quality and security. The papers identify the current problems and issues of interest in the field of safety-critical software-based systems, and provide valuable up-to-date material for those in both academia and industry. The academic will benefit from information about current research complimentary to his own, and the industrialist will learn of the technologies which will soon be available and where to find them.
34 pages matching Safety Risk in this book
Results 1-3 of 34
What people are saying - Write a review
We haven't found any reviews in the usual places.
The Swedish State Railways Experience with nVersion
Classification of Programmable Electronic Systems
11 other sections not shown
achieved analysis process application application software approach argument aspects assessment associated basic behaviour CBASS complex components computer system concept control systems Critical Software decomposition Defence Standard defined dependability document effect environment errors evaluation example execution failure modes fault tolerant Finite Element Finite Element Method FMECA formal methods formal specification functional programming fuzzy hardware Haskell Hazard Analysis HAZOP high integrity systems high-integrity computing human human computer interaction identified implementation industrial input integrity interface interlocking issues language layout Littlewood logic module monitor notation Object Oriented organisational output particular possible practice problems procedures Programmable Electronic Systems project management railway result safety analysis safety critical Safety Critical Systems safety engineer Safety Risk safety-critical systems signals simulation software development Software Engineering Software Reliability solution structure technical techniques