Model-Based Safety and Assessment - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030328719, 9783030328726

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Compositionality of Component Fault Trees

Model-Based Safety and Assessment - Lecture Notes in Computer Science ◽

10.1007/978-3-030-32872-6_9 ◽

2019 ◽

pp. 125-140 ◽

Cited By ~ 1

Author(s):

Simon Greiner ◽

Peter Munk ◽

Arne Nordmann

Keyword(s):

Fault Trees

Download Full-text

Pattern-Based Formal Approach to Analyse Security and Safety of Control Systems

Model-Based Safety and Assessment - Lecture Notes in Computer Science ◽

10.1007/978-3-030-32872-6_24 ◽

2019 ◽

pp. 363-378 ◽

Cited By ~ 1

Author(s):

Inna Vistbakka ◽

Elena Troubitsyna

Keyword(s):

Control Systems ◽

Formal Approach

Download Full-text

An Approach for Validating Safety of Perception Software in Autonomous Driving Systems

Model-Based Safety and Assessment - Lecture Notes in Computer Science ◽

10.1007/978-3-030-32872-6_20 ◽

2019 ◽

pp. 303-316

Author(s):

Deepak Rao ◽

Plato Pathrose ◽

Felix Huening ◽

Jithin Sid

Keyword(s):

Autonomous Driving

Download Full-text

Formal Verification of Network Interlocking Control by Distributed Signal Boxes

Model-Based Safety and Assessment - Lecture Notes in Computer Science ◽

10.1007/978-3-030-32872-6_14 ◽

2019 ◽

pp. 204-221

Author(s):

Stylianos Basagiannis ◽

Panagiotis Katsaros

Keyword(s):

Formal Verification

Download Full-text

Towards Dependability and Energy Aware Asset Management Framework for Maintenance Planning in Smart Grids

Model-Based Safety and Assessment - Lecture Notes in Computer Science ◽

10.1007/978-3-030-32872-6_13 ◽

2019 ◽

pp. 188-203

Author(s):

Jose Ignacio Aizpurua ◽

Unai Garro ◽

Eñaut Muxika ◽

Mikel Mendicute ◽

Ian Paul Gilbert

Keyword(s):

Asset Management ◽

Smart Grids ◽

Maintenance Planning ◽

Energy Aware ◽

Management Framework

Download Full-text

FDS-ML: A New Modeling Formalism for Probabilistic Risk and Safety Analyses

Model-Based Safety and Assessment - Lecture Notes in Computer Science ◽

10.1007/978-3-030-32872-6_6 ◽

2019 ◽

pp. 78-92 ◽

Cited By ~ 1

Author(s):

Liu Yang ◽

Antoine Rauzy

Keyword(s):

Modeling Formalism ◽

Probabilistic Risk

Download Full-text

Safety and Security Aspects of Fail-Operational Urban Surround perceptION (FUSION)

Model-Based Safety and Assessment - Lecture Notes in Computer Science ◽

10.1007/978-3-030-32872-6_19 ◽

2019 ◽

pp. 286-300

Author(s):

Georg Macher ◽

Norbert Druml ◽

Omar Veledar ◽

Jakob Reckenzaun

Download Full-text

Modeling Functional Allocation in AltaRica to Support MBSE/MBSA Consistency

Model-Based Safety and Assessment - Lecture Notes in Computer Science ◽

10.1007/978-3-030-32872-6_1 ◽

2019 ◽

pp. 3-17

Author(s):

Mathilde Machin ◽

Estelle Saez ◽

Pierre Virelizier ◽

Xavier de Bossoreille

Download Full-text

DPN – Dependability Priority Numbers

Model-Based Safety and Assessment - Lecture Notes in Computer Science ◽

10.1007/978-3-030-32872-6_12 ◽

2019 ◽

pp. 173-187

Author(s):

Zhensheng Guo ◽

Marc Zeller

Download Full-text

SQUADfps: Integrated Model-Based Machine Safety and Product Quality for Flexible Production Systems

Model-Based Safety and Assessment - Lecture Notes in Computer Science ◽

10.1007/978-3-030-32872-6_15 ◽

2019 ◽

pp. 222-236

Author(s):

Chee Hung Koo ◽

Stefan Rothbauer ◽

Marian Vorderer ◽

Kai Höfig ◽

Marc Zeller

Keyword(s):

Product Quality ◽

Production Systems ◽

Integrated Model ◽

Flexible Production ◽

Model Based ◽

Flexible Production Systems ◽

Machine Safety

Download Full-text

Model-Based Safety and Assessment - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Compositionality of Component Fault Trees

Pattern-Based Formal Approach to Analyse Security and Safety of Control Systems

An Approach for Validating Safety of Perception Software in Autonomous Driving Systems

Formal Verification of Network Interlocking Control by Distributed Signal Boxes

Towards Dependability and Energy Aware Asset Management Framework for Maintenance Planning in Smart Grids

FDS-ML: A New Modeling Formalism for Probabilistic Risk and Safety Analyses

Safety and Security Aspects of Fail-Operational Urban Surround perceptION (FUSION)

Modeling Functional Allocation in AltaRica to Support MBSE/MBSA Consistency

DPN – Dependability Priority Numbers

SQUADfps: Integrated Model-Based Machine Safety and Product Quality for Flexible Production Systems

Model-Based Safety and Assessment - Lecture Notes in Computer Science
Latest Publications