Del 12234 - Lecture Notes in Computer Science

Computer Safety, Reliability, and Security

39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings

Häftad, Engelska, 2020

AvAntónio Casimiro,Frank Ortmeier,Friedemann Bitsch,Pedro Ferreira,Antonio Casimiro

1 199 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2020, held in Lisbon, Portugal, in September 2020.*The 27 full and 2 short papers included in this volume were carefully reviewed and selected from 116 submissions.

Produktinformation

Utgivningsdatum2020-08-20
Mått155 x 235 x 26 mm
Vikt715 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor450
FörlagSpringer Nature Switzerland AG
ISBN9783030545482

Tillhör följande kategorier

Programvaruutveckling inom Data och IT
Hårdvara inom Data och IT
Artificiell intelligens inom Data och IT
Nätverk och kommunikation inom Data och IT
Referensverk och tvärvetenskap inom Samhälle och politik
IT-säkerhet inom Data och IT

Safety Cases and Argumentation.- Synthesis of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities.- Systematic Evaluation of (Safety) Assurance Cases.- Just Enough Formality in Assurance Argument Structures.- Towards Recertification of Modular Updates in Integrated Maritime Systems of Systems.- Formal Verification and Analysis.- A functional verification methodology for highly configurable, continuously operating safety-critical FPGA designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME).- A Compositional Semantics for Repairable BDMPs.- Model-Based Safety Analysis of Mode Transitions.- Efficient Translation of Safety LTL to DFA using Symbolic Automata Learning and Inductive Inference.- Security Modelling and Methods.- Automated Attacker Synthesis for Distributed Protocols.- An Attacker Modeling Framework for the Assessment of Cyber-Physical Systems Security.- Predicting Railway Signalling Commands using Neural Networks for Anomaly Detection.- Automated Anomaly Detection in CPS Log Files - A Time Series Clustering Approach.- Assurance of Learning-enabled Systems.- Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings.- Safety-Aware Hardening of 3D Object Detection Neural Network Systems.- Model-Centered Assurance for Autonomous Systems.- A Safety Framework for Critical Systems Utilising Deep Neural Networks.- Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware.- Quantifying Assurance in Learning-enabled Systems.- Practical Experience and Tools.- Cyber Security of Neural Networks in Medical Devices.- FASTEN.Safe: A Model-driven Engineering Tool to Experiment with Checkable Assurance Cases.- Threat Analysis and Risk Mitigation.- On Validating Attack Trees with Attack Effects.- Safety meets Security: Using ISA-62443 for a Highly Automated Road Vehicle.- Threat Analysis Framework for Safety Architectures in SCDL.- Cyber-Physical Systems Security.- Efficient Load-Time Diversity for an Embedded Real-Time Operating System.- Towards an Automated Exploration of Secure IoT/CPS Design-Variants.- Securing Electric Vehicle Charging Systems through Component Binding.- Fault Injection and Fault Tolerance.- Using Hardware-In-Loop-Based Fault Injection to Determine the Effects of Control Flow Errors in Industrial Control Programs.- On Configuring a Testbed for Dependability Experiments: Guidelines and Fault Injection Case Study.- A Classification of Faults Covering the Human-Computer Interaction Loop.

Du kanske också är intresserad av

Del 12235

Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops

António Casimiro, Frank Ortmeier, Erwin Schoitsch, Friedemann Bitsch, Pedro Ferreira, Antonio Casimiro

Häftad

1 269 kr

Del 10873

Reliable Software Technologies – Ada-Europe 2018

António Casimiro, Pedro M. Ferreira

Häftad

689 kr

Architecting Dependable Systems VII

Antonio Casimiro, Rogério de Lemos, Cristina Gacek

Häftad

719 kr

State of the Universe

Pedro Ferreira

Häftad

179 kr

Del 8822

Model-Based Safety and Assessment

Frank Ortmeier, Antoine Rauzy

Häftad

679 kr

Go Where the Bugs Are

Gidon Ernst, Matthias Güdemann, Alexander Knapp, Florian Nafz, Frank Ortmeier, Hella Ponsar, Gerhard Schellhorn, Alexander Schiendorfer, Matthias Gudemann

Häftad

909 kr