{"product_id":"modelbased-safety-and-assessment-9783032050724","title":"ModelBased Safety and Assessment","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003e\u003cp class=\"MsoNormal\" style=\"mso-layout-grid-align: none; text-autospace: none;\"\u003e\u003cstrong style=\"mso-bidi-font-weight: normal;\"\u003e\u003cspan style=\"font-size: 10.0pt; font-family: 'Times New Roman',serif; mso-fareast-font-family: CMBX10;\"\u003eSystem Safety Assessment.- \u003c\/span\u003e\u003c\/strong\u003e\u003cspan style=\"font-size: 10.0pt; font-family: 'Times New Roman',serif; mso-fareast-font-family: CMR10;\"\u003eFailure and defect detection of safety critical 3D printed goods.- Model-Based Safety Assessment for Flight Control Systems: Methodology and Case Study.- Multi-approach based Safety Analysis of a Wastewater Treatment System.- Application of a MBSA approach on a representative subsystem of EGNOS (European Geostationary Navigation Overlay Service).- Safety Analysis Methods in Aerospace: A Case-Based Comparison of FTA and MBSA.- \u003c\/span\u003e\u003cstrong style=\"mso-bidi-font-weight: normal;\"\u003e\u003cspan style=\"font-size: 10.0pt; font-family: 'Times New Roman',serif; mso-fareast-font-family: CMBX10;\"\u003eCybersecurity Analysis.- \u003c\/span\u003e\u003c\/strong\u003e\u003cspan style=\"font-size: 10.0pt; font-family: 'Times New Roman',serif; mso-fareast-font-family: CMR10;\"\u003eMBCA: A Model-Based Approach for Cybersecurity Analysis of Cyber-Physical Systems.- Cybersecurity Threat Detection through Business Process Log Analysis.- Interpretable and Trustworthy Attack Diagnosis for UAVs Using SafeML.- \u003c\/span\u003e\u003cstrong style=\"mso-bidi-font-weight: normal;\"\u003e\u003cspan style=\"font-size: 10.0pt; font-family: 'Times New Roman',serif; mso-fareast-font-family: CMBX10;\"\u003eSafe Machine Learning.- \u003c\/span\u003e\u003c\/strong\u003e\u003cspan style=\"font-size: 10.0pt; font-family: 'Times New Roman',serif; mso-fareast-font-family: CMR10;\"\u003eIncorporating failure of Machine Learning in probabilistic safety assessment and runtime safety assurance.- Safer Skin Lesion Classification with Global Class Activation Probability Map Evaluation and SafeML.- CODIF: Counterfactual data-augmentations for estimating perception influencing factors.- The Information Meta Model for Machine Learning IM3L: A Structured Approach to ML Integration in Engineering Systems.- RAGuard: A Novel Approach for in-context Safe Retrieval Augmented Generation for LLMs.- \u003c\/span\u003e\u003cstrong style=\"mso-bidi-font-weight: normal;\"\u003e\u003cspan style=\"font-size: 10.0pt; font-family: 'Times New Roman',serif; mso-fareast-font-family: CMBX10;\"\u003eProbabilistic Analysis\u003c\/span\u003e\u003c\/strong\u003e\u003cspan style=\"font-size: 10.0pt; font-family: 'Times New Roman',serif; mso-fareast-font-family: CMR10;\"\u003e.- Variance-based Sensitivity Analysis for Probabilistic Risk Assessment.- Causal Bayesian Networks for Data-driven Safety Analysis of Complex Systems.- \u003c\/span\u003e\u003cstrong style=\"mso-bidi-font-weight: normal;\"\u003e\u003cspan style=\"font-size: 10.0pt; font-family: 'Times New Roman',serif; mso-fareast-font-family: CMBX10;\"\u003eModel-based Design and Safety Assessment.- \u003c\/span\u003e\u003c\/strong\u003e\u003cspan style=\"font-size: 10.0pt; font-family: 'Times New Roman',serif; mso-fareast-font-family: CMR10;\"\u003eFrom Natural Language Requirement Specifications to Logic Properties.- Model-Based Dependent Failure Analysis.- Comparative Analysis of Non-Colored and Colored Petri Net Models for Availability Assessment of Safety-Critical Cloud Software in Railways.- MBSA model exchange and its challenges.- ACEditor: a Modeling Tool for Synthesizing Exceutable Assurance Cases from Fault Trees.- \u003c\/span\u003e\u003cstrong style=\"mso-bidi-font-weight: normal;\"\u003e\u003cspan style=\"font-size: 10.0pt; font-family: 'Times New Roman',serif; mso-fareast-font-family: CMBX10;\"\u003eMachine Learning and Automata Learning for System Safety\u003c\/span\u003e\u003c\/strong\u003e\u003cspan style=\"font-size: 10.0pt; font-family: 'Times New Roman',serif; mso-fareast-font-family: CMR10;\"\u003e.- AI4Green, A Framework for AI-based Resource Optimizations for Reliable Applications.- Analyzing Truck Platoons with Automata Learning and Model Checking.- Q-SafeML, A Quantum-Statistical Approach to Safety Monitoring in Quantum Machine Learning.- \u003c\/span\u003e\u003cstrong style=\"mso-bidi-font-weight: normal;\"\u003e\u003cspan style=\"font-size: 10.0pt; font-family: 'Times New Roman',serif; mso-fareast-font-family: CMBX10;\"\u003eFailure Detection Isolation and Recovery Analysis.- \u003c\/span\u003e\u003c\/strong\u003e\u003cspan style=\"font-size: 10.0pt; font-family: 'Times New Roman',serif; mso-fareast-font-family: CMR10;\"\u003eTowards a Unifying View of Fault Propagation Analyses and Notations.- An Altarica-based modelling and analysis approach enabling UAV regulation compliance.- Timed Models in AltaRica 3.0.- Experience in developing an algorithm at the MBSA level to minimize the complexity of fault trees during automatic generation from design data.- From Abstract to Action: Tailored Environment Taxonomies for More Complete ADS Safety Analyses.\u003c\/span\u003e\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":53195523424599,"sku":"9783032050724","price":49.99,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/modelbased-safety-and-assessment-9783032050724","provider":"Book Curl","version":"1.0","type":"link"}