Model-based safety and assessment : 7th international symposium, IMBSA 2020 Lisbon, Portugal, September 14-16, 2020 : proceedings

Model-based safety and assessment 7th international symposium, IMBSA 2020 Lisbon, Portugal, September 14-16, 2020 : proceedings

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: IMBSA (VerfasserIn)
Weitere Verfasser: Zeller, Marc (HerausgeberIn), Höfig, Kai (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cham Springer 2020
Schriftenreihe:Lecture notes in computer science 12297
Schlagworte:
Programmiersprache > Software Engineering > Konferenzschrift > Zustandsraum > Modellierung > Künstliche Intelligenz > Computersicherheit
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
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
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
Alle Artikel auflisten