{ "item_title" : "Computer Safety, Reliability, and Security", "item_author" : [" Alexander Romanovsky", "Elena Troubitsyna", "Friedemann Bitsch "], "item_description" : "Formal Verification.- Towards Zero Alarms in Sound Static Analysis of Finite State Machines.- Graceful Degradation Design Process for Autonomous Driving System.- Formal Verification of Memory Preservation of x86-64 Binaries.- Autonomous Driving.- Brace Touch: a Dependable, Turbulence-Tolerant, Multi-Touch Interaction Technique for Interactive Cockpits.- Fitness Functions for Testing Automated and Autonomous Driving Systems.- A SysML Profile for Fault Trees - linking safety models to system design.- Safety and Reliability Modeling.- Spectrum-Based Fault Localization in Deployed Embedded Systems with Driver Interaction Models.- Forecast Horizon for Automated Safety Actions in Automated Driving Systems.- Digital Forensics in Industrial Control Systems.- Security Engineering and Risk Assessment.- Efficient Model-level Reliability Analysis of Simulink Models.- Increasing Trust in Data-Driven Model Validation - A Framework for Probabilistic Augmentation of Images and Meta-Data Generation using Application Scope Characteristics.- A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems.- Safety Argumentation.- BACRank: Ranking Building Automation and Control System Components by Business Continuity Impact.- Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems.- Dynamic risk assessment enabling automated interventions for medical cyber-physical systems.- Verification and Validation of Autonomous Systems.- Practical Experience Report: Engineering Safe Deep Neural Networks for Automated Driving Systems.- Autonomous Vehicles Meet the Physical World: RSS, Variability, Uncertainty, and Proving Safety.- Automated Evidence Analysis of Safety Arguments using Digital Dependability Identities.- Interactive Systems and Design Validation.- SafeDeML: On Integrating the Safety Design into the System Model.- Towards Trusted Security Context Exchange Protocol for SDN based Low Latency Networks.- Devil's in the detail: Through-life safety and security co-assurance using SSAF.", "item_img_path" : "https://covers1.booksamillion.com/covers/bam/3/03/026/600/3030266001_b.jpg", "price_data" : { "retail_price" : "64.99", "online_price" : "64.99", "our_price" : "64.99", "club_price" : "64.99", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }

Overview

Customers Also Bought

Details