Technology and Assessment of Safety-Critical Systems

Proceedings of the Second Safety-critical Systems Symposium, Birmingham, UK, 8–10 February 1994

Felix Redmill, Tom Anderson (Herausgeber)

Buch | Softcover

IX, 258 Seiten

1994 | 1. Softcover reprint of the original 1st ed. 1994
Springer Berlin (Verlag)
978-3-540-19859-8 (ISBN)

Artikel merken

The programme for the Second Safety-critical Systems Symposium was planned to examine the various aspects of technology currently employed in the design of safety-critical systems, as well as to emphasise the importance of safety and risk management in their design and operation. assessment There is an even balance of contributions from academia and industry. Thus, industry is given the opportunity to express its views of the safety-critical domain and at the same time offered a glimpse of the technologies which are currently under development and which, if successful, will be available in the medium-term future. In the field of technology, a subject whose importance is increasingly being recognised is human factors, and there are papers on this from the University of Hertfordshire and Rolls-Royce. Increasingly, PLCs are being employed in safety-critical applications, and this domain is represented by contributions from Nuclear Electric and August Computers. Then there are papers on maintainability, Ada, reverse engineering, social issues, formal methods, and medical systems, all in the context of safety. And, of course, it is not possible to keep the 'new' technologies out of the safety-critical domain: there are papers on neural networks from the University of Exeter and knowledge-based systems from ERA Technology.

A User's Perspective of Programmable Logic Controllers (PLCs) in Safety-related Applications.- Methods and Techniques of Improving the Safety Classification of Programmable Logic Controller Safety Systems.- Maintainability and its Influence on System Safety.- Safety Critical Problems in Medical Systems.- Developing Safety Cases for Command and Control Systems.- Lifetrack: Organisational Modelling for Safety-Critical Decision Support.- The True Cost of Risk and its Impact on Safety.- Risk and Safety Reviews.- Extending Safety Analysis Techniques with Formal Semantics.- Social Issues in High-Tech Safety.- Human Error in the Software Generation Process.- Cognitive and Organisational Aspects of Design.- Producing Critical Systems - The Ada 9X Solution.- Using Formal Transformations for the Reverse Engineering of Real-time Safety Critical Systems.- Use of Neural Computing in Multiversion Software Reliability.- Knowledge Based Systems in Safety Critical Applications.- The Rôle of Formal Methods in the Engineering of Safety Critical Systems.- Author Index.

Erscheint lt. Verlag	11.2.1994
Zusatzinfo	IX, 258 p. 9 illus.
Verlagsort	London
Sprache	englisch
Maße	155 x 235 mm
Gewicht	453 g
Themenwelt	Mathematik / Informatik ► Informatik ► Software Entwicklung
	Informatik ► Theorie / Studium ► Kryptologie
	Technik ► Maschinenbau
	Wirtschaft
Schlagworte	classification • Design • Development • Formal Method • formal methods • Knowledge-based systems • Modeling • Networks • organization • Reliability • Reverse Engineering • Risk Management • safety-critical system • Semantics • Software
ISBN-10	3-540-19859-8 / 3540198598
ISBN-13	978-3-540-19859-8 / 9783540198598
Zustand	Neuware