Model-Based Safety Analysis of Mode Transitions

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	SAFECOMP (39. : 2020 : Lissabon; Online) Computer safety, reliability, and security
1. Verfasser:	Bozzano, Marco (VerfasserIn)
Weitere Verfasser:	Munk, Peter (VerfasserIn), Schweizer, Markus (VerfasserIn), Tonetta, Stefano (VerfasserIn), Vozárová, Viktória (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2020
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Bestellen

Titel	Jahr	Verfasser
Engineering of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities	2020	Reich, Jan
Systematic Evaluation of (Safety) Assurance Cases	2020	Chowdhury, Thomas
A Safety Framework for Critical Systems Utilising Deep Neural Networks	2020	Zhao, Xingyu
Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware	2020	Ashmore, Rob
Cyber-Security of Neural Networks in Medical Devices	2020	Becker, Uwe
On Validating Attack Trees with Attack Effects	2020	Nishihara, Hideaki
Just Enough Formality in Assurance Argument Structures	2020	Viger, Torin
Efficient Translation of Safety LTL to DFA Using Symbolic Automata Learning and Inductive Inference	2020	Giantamidis, Georgios
Attacker Synthesis for Distributed Protocols	2020	Hippel, Max von
Predicting Railway Signalling Commands Using Neural Networks for Anomaly Detection	2020	Heinrich, Markus
Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings	2020	Gauerhof, Lydia
Safety-Aware Hardening of 3D Object Detection Neural Network Systems	2020	Cheng, Chih-Hong
Towards an Automated Exploration of Secure IoT/CPS Design-Variants	2020	Gressl, Lukas
Using Hardware-In-Loop-Based Fault Injection to Determine the Effects of Control Flow Errors in Industrial Control Programs	2020	Vankeirsbilck, Jens
On Configuring a Testbed for Dependability Experiments: Guidelines and Fault Injection Case Study	2020	Campos, João R.
Towards Recertification of Modular Updates in Integrated Maritime Systems of Systems	2020	Hake, Georg
A Functional Verification Methodology for Highly Parametrizable, Continuously Operating Safety-Critical FPGA Designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME)	2020	Ceesay-Seitz, Katharina
A Compositional Semantics for Repairable BDMPs	2020	Khan, Shahid
Model-Based Safety Analysis of Mode Transitions	2020	Bozzano, Marco
Automated Anomaly Detection in CPS Log Files: A Time Series Clustering Approach	2020	Schmidt, Tabea

Alle Artikel auflisten