Safecomp'93: the 12th International Conference on Computer Safety, Reliability, and Security, Poznań-Kiekrz, Poland, 27-29 October 1993
European Workshop on Industrial Computer Systmes. TC7--Systems reliability, safety, and Security, Franco-Polish School of New Information and Communication Technologies
Springer-Verlag, 1993 - Computers - 388 pages
The world-wide market for safe, secure and reliable computer systems is expanding. For many high technology applications, safety is one of the top priorities. Among the industrial and business sectors which are especially concerned with safety are: certification, regulation/licensing, standards making, insurance, military, medical, rail, power, road, shipping, aerospace, process industries, manufacturing and machinery control, water treatment, and mining. SAFECOMP '93 is an opportunity for technical developers, users and legislators to exchange and review their experiences, to consider the best technologies now available, and to identify the skills and technologies required for the future. It focuses on critical computer applications, presenting current research and new trends in computer safety, reliability and security, and providing a platform for technology transfer between academia, industry and research institutions. It is outstanding for its international breadth (authors from 16 different countries), its unique way of combining participants from academia, research and industry, and its wide topical coverage. This book is the proceedings of SAFECOMP '93: the 12th International Conference on Safety, Reliability and Security of Computer Systems, Poznan, Poland, 27-29 October 1993. It includes four invited presentations by highly regarded international experts who review the present status of safety, reliability and security technology. The refereed papers discuss a broad spectrum of subjects including formal methods and models, safety assessment and analysis, verification and validation, testing, reliability issues and dependable software technology, computer languages for safety related systems, reactive systems technology, security and safety related applications. SAFECOMP '93 is for all those in universities, research institutions, industry and business who want to be well-informed about the current international state of the art in computer safety, reliability and security. The book provides a representative sample of recent research results and applications problems, presented by experts from industrial and academic institutions.
What people are saying - Write a review
We haven't found any reviews in the usual places.
T AndersonUK SafetyStatus
Validating Safety Models with
34 other sections not shown
Other editions - View all
academia algorithm application approach architecture assessment behaviour CASE-tools certification channel communication components computer systems considered control system correct data flow dataflow defined definition dependability described detection documentation EIBs ensure environment error evaluation example execution failure modes fault tolerance fault trees Figure flow network formal function guidewords hardware hazard analysis HAZOP human identified IEEE implementation industry input Inria integrity interaction interface Interlocking Engine language MALPAS methods module nodes operation output paper parameters performed Petri nets phase possible probability of failure problem Proc procedure processor real-time redundant relations representation requirements risk safe safety analysis safety critical safety systems safety-critical systems sample semantic sensitivity analysis signal Sizewell Software Reliability Software Testing specification standards strategy structure task techniques technology transfer tool train transition variables verification and validation