Computer Safety, Reliability, and Security
Editat de Bettina Buth, Gerd Rabe, Till Seyfarthen Limba Engleză Paperback – 7 sep 2009
Preț: 325.03 lei
Preț vechi: 406.29 lei
-20%
Puncte Express: 488
Carte tipărită la comandă
Livrare economică 13-27 august
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: 9783642044670
ISBN-10: 3642044670
Pagini: 356
Ilustrații: XI, 343 p.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.54 kg
Ediția:2009
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3642044670
Pagini: 356
Ilustrații: XI, 343 p.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.54 kg
Ediția:2009
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Invited Talks.- A Domain-Specific Framework for Automated Construction and Verification of Railway Control Systems.- Medical Systems.- Model-Based Development of Medical Devices.- Why Are People’s Decisions Sometimes Worse with Computer Support?.- Industrial Experience.- Safety-Related Application Conditions – A Balance between Safety Relevance and Handicaps for Applications.- Probability of Failure on Demand – The Why and the How.- Establishing the Correlation between Complexity and a Reliability Metric for Software Digital I&C-Systems.- Security Risk Analysis.- Exploring Network Security in PROFIsafe.- Modelling Critical Infrastructures in Presence of Lack of Data with Simulated Annealing – Like Algorithms.- Environment Characterization and System Modeling Approach for the Quantitative Evaluation of Security.- Safety Guidelines.- Experiences with the Certification of a Generic Functional Safety Management Structure According to IEC 61508.- Analysing Dependability Case Arguments Using Quality Models.- Experience with Establishment of Reusable and Certifiable Safety Lifecycle Model within ABB.- Automotive.- Automotive IT-Security as a Challenge: Basic Attacks from the Black Box Perspective on the Example of Privacy Threats.- Safety Requirements for a Cooperative Traffic Management System: The Human Interface Perspective.- Aerospace.- The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems.- Formal Verification of a Microkernel Used in Dependable Software Systems.- Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do.- Verification, Validation, Test.- Probabilistic Failure Propagation and Transformation Analysis.- Towards Model-Based Automatic Testing of Attack Scenarios.- CRIOP: A HumanFactors Verification and Validation Methodology That Works in an Industrial Setting.- Fault Tolerance.- Reliability Analysis for the Advanced Electric Power Grid: From Cyber Control and Communication to Physical Manifestations of Failure.- Increasing the Reliability of High Redundancy Actuators by Using Elements in Series and Parallel.- AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware.- Dependability.- Component-Based Abstraction in Fault Tree Analysis.- A Foundation for Requirements Analysis of Dependable Software.- Establishing a Framework for Dynamic Risk Management in ‘Intelligent’ Aero-Engine Control.