Paitron — a Tool for Automated FMEA

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IMBSA (7. : 2020 : Online) Model-based safety and assessment
1. Verfasser: Bitner, Arnold (VerfasserIn)
Weitere Verfasser: Grigoleit, Florian (VerfasserIn), Valchev, Iliya (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2020
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
Model-Based Risk Analysis for an Open-Source PCA Pump Using AADL Error Modeling 2020 Thiagarajan, Hariharan
Reliability Evaluation of Reconfigurable NMR Architecture Supported with Hot Standby Spare: Markov Modeling and Formulation 2020 Aslansefat, Koorosh
Property-Based Fault Injection: A Novel Approach to Model-Based Fault Injection for Safety Critical Systems 2020 Jayakumar, Athira Varma
Optimal Scheduling of Preventive Maintenance for Safety Instrumented Systems Based on Mixed-Integer Programming 2020 Abdelkarim, Anas
Counterexample Interpretation for Contract-Based Design 2020 Kaleeswaran, Arut Prakash
Failure Mode Reasoning in Model Based Safety Analysis 2020 Jahanian, Hamid
A Systematic Approach to Analyzing Perception Architectures in Autonomous Vehicles 2020 Kurzidem, Iwo
Paitron — a Tool for Automated FMEA 2020 Bitner, Arnold
Identification and Quantification of Hazardous Scenarios for Automated Driving 2020 Kramer, Birte
Lowering Barriers for Applying Model-based FMEA — Results of the qSafe Project 2020 Grigoleit, Florian
An Eclipse Epsilon-Based Safety Engineering Tool Framework for the Creation, Integration and Validation of Digital Dependability Identities 2020 Reich, Jan
A Visual Notation for the Representation of Assurance Cases Using SACM 2020 Selviandro, Nungki
Branching Transitions for Semi-Markov Processes with Application to Safety-Critical Systems 2020 Kaalen, Stefan
Argument-Driven Safety Engineering of a Generic Infusion Pump with Digital Dependability Identities 2020 Reich, Jan
Model-Based Error Detection for Industrial Automation Systems Using LSTM Networks 2020 Ding, Sheng
An Integrated Approach to Support the Process-Based Certification of Variant-Intensive Svstems 2020 Bressan, Lucas
U-Map: A Reference Map for Safe Handling of Runtime Uncertainties 2020 Laxman, Nishanth
SafeML: Safety Monitoring of Machine Learning Classifiers Through Statistical Difference Measures 2020 Aslansefat, Koorosh
Generative Engineering for Safety-Critical System Design 2020 Saleh, Amr Hany
Alle Artikel auflisten