Articoli correlati a Technology and Assessment of Safety-Critical Systems:...
Technology and Assessment of Safety-Critical Systems: Proceedings of the Second Safety-critical Systems Symposium, Birmingham, UK, 8-10 February 1994 - Brossura
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 53,70
EUR 2,26 per la spedizione in U.S.A.
Destinazione, tempi e costiAltre edizioni note dello stesso titolo
Risultati della ricerca per Technology and Assessment of Safety-Critical Systems:...
Immagini fornite dal venditore
Technology and Assessment of Safety-Critical Systems : Proceedings of the Second Safety-Critical Systems Symposium, Birmingham, UK, 8-10 February 1994
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 20184578-n
Quantità: 15 disponibili
Foto dell'editore
Technology and Assessment of Safety-Critical Systems (Paperback)
Editore:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1994
ISBN 10: 3540198598
ISBN 13: 9783540198598
Nuovo
Paperback
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. This volume contains the proceedings of the 2nd Annual Symposium of the Safety-Critical Systems Club (held in Birmingham, February 1994), which examined the various aspects of technology currently employed in the design of safety-critical systems, and emphasized the importance of safety assessment and risk management in their design and operation. The authors discussed human factors, a subject whose importance in the technology field is growing, and programmable logic controllers (PLCS), which are increasingly being employed in safety-critical applications. There were also papers on maintainability, ADA, reverse engineering, social issues, formal methods, medical systems and the "new" technologies, including neural networks and knowledge-based systems. Papers on the important fields of safety assessment and management are balanced by papers on risk management and its economics. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9783540198598
Quantità: 1 disponibili
Foto dell'editore
Technology and Assessment of Safety-Critical Systems: Proceedings of the Second Safety-critical Systems Symposium, Birmingham, UK, 8-10 February 1994
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020162253
Quantità: Più di 20 disponibili
Foto dell'editore
Technology and Assessment of Safety-Critical Systems: Proceedings of the Second Safety-critical Systems Symposium, Birmingham, UK, 8-10 February 1994
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540198598_new
Quantità: Più di 20 disponibili
Foto dell'editore
Technology and Assessment of Safety-Critical Systems : Proceedings of the Second Safety-critical Systems Symposium, Birmingham, UK, 8-10 February 1994
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
PF. Condizione: New. Codice articolo 6666-IUK-9783540198598
Quantità: 10 disponibili
Immagini fornite dal venditore
Technology and Assessment of Safety-Critical Systems
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 thei. Codice articolo 4884321
Quantità: Più di 20 disponibili
Foto dell'editore
Technology and Assessment of Safety-critical Systems: Proceedings of the Second Safety-critical Systems Symposium, Birmingham, UK, 8 - 10 February 1994
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. reprint edition. 267 pages. 9.25x6.10x0.62 inches. In Stock. Codice articolo x-3540198598
Quantità: 2 disponibili
Immagini fornite dal venditore
Technology and Assessment of Safety-Critical Systems
Editore:
Springer London Feb 1994, 1994
ISBN 10: 3540198598
ISBN 13: 9783540198598
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 272 pp. Englisch. Codice articolo 9783540198598
Quantità: 2 disponibili
Immagini fornite dal venditore
Technology and Assessment of Safety-Critical Systems
Editore:
Springer London, Springer Berlin Heidelberg Feb 1994, 1994
ISBN 10: 3540198598
ISBN 13: 9783540198598
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch. Codice articolo 9783540198598
Quantità: 1 disponibili
Immagini fornite dal venditore
Technology and Assessment of Safety-Critical Systems : Proceedings of the Second Safety-critical Systems Symposium, Birmingham, UK, 8¿10 February 1994
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Codice articolo 9783540198598
Quantità: 1 disponibili