Computer Safety, Reliability, and Security
Editat de Stuart Anderson, Massimo Felici, Bev Littlewooden Limba Engleză Paperback – 12 sep 2003
Preț: 329.74 lei
Preț vechi: 412.17 lei
-20%
Puncte Express: 495
Carte tipărită la comandă
Livrare economică 07-21 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783540201267
ISBN-10: 3540201262
Pagini: 448
Ilustrații: XIX, 426 p.
Dimensiuni: 155 x 235 x 25 mm
Greutate: 0.67 kg
Ediția:2003
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540201262
Pagini: 448
Ilustrații: XIX, 426 p.
Dimensiuni: 155 x 235 x 25 mm
Greutate: 0.67 kg
Ediția:2003
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Keynote Talk.- Issues in Safety Assurance.- Formal Methods.- Elicitation and Validation of Graphical Dependability Models.- Visual Modeling and Verification of Distributed Reactive Systems.- Automatic Timeliness Verification of a Public Mobile Network.- Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform.- Design for Dependability.- Integrity Static Analysis of COTS/SOUP.- Safety Lifecycle for Developing Safety Critical Artificial Neural Networks.- Quantitative Reliability Estimation of a Computer-Based Motor Protection Relay Using Bayesian Networks.- A Dependability Model for Domestic Systems.- Security and Formal Methods.- Modelling and Verification of Layered Security Protocols: A Bank Application.- A Constraint Framework for the Qualitative Analysis of Dependability Goals: Integrity.- Software Tamper Resistance Using Program Certificates.- Keynote Talk.- Developing High Assurance Systems: On the Role of Software Tools.- Dependability and Performance Analysis.- Web Service Availability – Impact of Error Recovery.- A Unified Tool for Performance Modelling and Prediction.- Dependability of Medical Systems.- An Approach to Trust Case Development.- Reliable Data Replication in a Wireless Medical Emergency Network.- Critical Feature Analysis of a Radiotherapy Machine.- Fault Tolerance.- Byzantine Fault Tolerance, from Theory to Reality.- Redundancy Management for Drive-by-Wire Computer Systems.- Fault-Tolerant Communication System to Improve Safety in Railway Environments.- Dependable Communication Synthesis for Distributed Embedded Systems.- Tools for Dependable Design.- Enhancing Software Safety by Fault Trees: Experiences from an Application to Flight Critical SW.- On the Role of Traceability for Standards Compliance: TrackingRequirements to Code.- Tools Supporting the Communication of Critical Domain Knowledge in High-Consequence Systems Development.- Dependability of Critical Infrastructures.- Security Policy Configuration Issues in Grid Computing Environments.- Dependability and Survivability of Large Complex Critical Infrastructures.- Hazard and Safety Analysis.- Safety Assessment of Experimental Air Traffic Management Procedures.- The Application of Causal Analysis Techniques for Computer-Related Mishaps.- Reuse in Hazard Analysis: Identification and Support.- Design for Dependability.- The Characteristics of Data in Data-Intensive Safety-Related Systems.- Using IEC 61508 to Guide the Investigation of Computer-Related Incidents and Accidents.