Computer Safety, Reliability, and Security
Editat de Maritta Heisel, Peter Liggesmeyer, Stefan Wittmannen Limba Engleză Paperback – 9 sep 2004
Preț: 325.03 lei
Preț vechi: 406.29 lei
-20%
Puncte Express: 488
Carte tipărită la comandă
Livrare economică 08-22 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: 9783540231769
ISBN-10: 3540231765
Pagini: 356
Ilustrații: XII, 344 p.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.54 kg
Ediția:2004
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540231765
Pagini: 356
Ilustrații: XII, 344 p.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.54 kg
Ediția:2004
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Invited Talk.- Why Safety and Security Should and Will Merge.- Safety Cases.- The Deconstruction of Safety Arguments Through Adversarial Counter-Argument.- Using Fuzzy Self-Organising Maps for Safety Critical Systems.- Using Formal Methods in a Retrospective Safety Case.- Reliability.- A Highly Fault Detectable Cache Architecture for Dependable Computing.- An Empirical Exploration of the Difficulty Function.- Towards the Integration of Fault, Resource, and Power Management.- Human Factors.- Modeling Concepts for Safety-Related Requirements in Sociotechnical Systems.- Analysing Mode Confusion: An Approach Using FDR2.- Invited Talk.- Handling Safety Critical Requirements in System Engineering Using the B Formal Method.- Transportation.- A Hybrid Testing Methodology for Railway Control Systems.- Actuator Based Hazard Analysis for Safety Critical Systems.- Performability Measures of the Public Mobile Network of a Tele Control System.- Software Development.- PLC-Based Safety Critical Software Development for Nuclear Power Plants.- Compositional Hazard Analysis of UML Component and Deployment Models.- Automatic Test Data Generation from Embedded C Code.- Fault Tree Analysis.- State-Event-Fault-Trees – A Safety Analysis Model for Software Controlled Systems.- Safety Requirements and Fault Trees Using Retrenchment.- The Effects on Reliability of Integration of Aircraft Systems Based on Integrated Modular Avionics.- Invited Talk.- Automotive Telematics – Road Safety Versus IT Security?.- Formal Methods and Systems.- Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture.- Refinement of Fault Tolerant Control Systems in B.- Numerical Integration of PDEs for Safety Critical Applications Implemented by I&C Systems.- Security and Quality of Service.-An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth.- Dependability Benchmarking of Web-Servers.- Hazard and Risk Analysis.- An Approach for Model-Based Risk Assessment.- How Explicit Are the Barriers to Failure in Safety Arguments?.