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

9783319122137, 9783319122144

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Safety Assessment of an Electrical System with AltaRica 3.0

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

10.1007/978-3-319-12214-4_14 ◽

2014 ◽

pp. 181-194 ◽

Cited By ~ 4

Author(s):

Hala Mortada ◽

Tatiana Prosvirnova ◽

Antoine Rauzy

Keyword(s):

Safety Assessment ◽

Electrical System

Download Full-text

A Model-Based Methodology to Formalize Specifications of Railway Systems

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

10.1007/978-3-319-12214-4_3 ◽

2014 ◽

pp. 28-42 ◽

Cited By ~ 1

Author(s):

Melissa Issad ◽

Leïla Kloul ◽

Antoine Rauzy

Keyword(s):

Railway Systems ◽

Model Based

Download Full-text

A Pattern-Based Approach towards the Guided Reuse of Safety Mechanisms in the Automotive Domain

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

10.1007/978-3-319-12214-4_11 ◽

2014 ◽

pp. 137-151 ◽

Cited By ~ 3

Author(s):

Maged Khalil ◽

Alejandro Prieto ◽

Florian Hölzl

Download Full-text

Applying Formal Methods into Safety-Critical Health Applications

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

10.1007/978-3-319-12214-4_15 ◽

2014 ◽

pp. 195-208 ◽

Cited By ~ 2

Author(s):

Mohammad-Reza Gholami ◽

Hanifa Boucheneb

Keyword(s):

Formal Methods ◽

Safety Critical ◽

Health Applications

Download Full-text

Adaptive Error and Sensor Management for Autonomous Vehicles: Model-Based Approach and Run-Time System

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

10.1007/978-3-319-12214-4_13 ◽

2014 ◽

pp. 166-180 ◽

Cited By ~ 2

Author(s):

Jelena Frtunikj ◽

Vladimir Rupanov ◽

Michael Armbruster ◽

Alois Knoll

Keyword(s):

Autonomous Vehicles ◽

Sensor Management ◽

Time System ◽

Model Based ◽

Run Time

Download Full-text

Model-Based Safety Approach for Early Validation of Integrated and Modular Avionics Architectures

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

10.1007/978-3-319-12214-4_5 ◽

2014 ◽

pp. 57-69 ◽

Cited By ~ 4

Author(s):

Marion Morel

Keyword(s):

Model Based ◽

Early Validation

Download Full-text

Towards the Derivation of Guidelines for the Deployment of Real-Time Tasks on a Multicore Processor

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

10.1007/978-3-319-12214-4_12 ◽

2014 ◽

pp. 152-165 ◽

Cited By ~ 2

Author(s):

Stefan Schmidhuber ◽

Michael Deubzer ◽

Ralph Mader ◽

Michael Niemetz ◽

Jürgen Mottok

Keyword(s):

Real Time ◽

Multicore Processor

Download Full-text

Exploring the Impact of Different Cost Heuristics in the Allocation of Safety Integrity Levels

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

10.1007/978-3-319-12214-4_6 ◽

2014 ◽

pp. 70-81 ◽

Cited By ~ 3

Author(s):

Luís Silva Azevedo ◽

David Parker ◽

Yiannis Papadopoulos ◽

Martin Walker ◽

Ioannis Sorokos ◽

...

Keyword(s):

The Impact

Download Full-text

Reliability Analysis of Dynamic Systems by Translating Temporal Fault Trees into Bayesian Networks

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

10.1007/978-3-319-12214-4_8 ◽

2014 ◽

pp. 96-109 ◽

Cited By ~ 14

Author(s):

Sohag Kabir ◽

Martin Walker ◽

Yiannis Papadopoulos

Keyword(s):

Bayesian Networks ◽

Reliability Analysis ◽

Dynamic Systems ◽

Fault Trees

Download Full-text

An Integrated Process for FDIR Design in Aerospace

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

10.1007/978-3-319-12214-4_7 ◽

2014 ◽

pp. 82-95 ◽

Cited By ~ 13

Author(s):

Benjamin Bittner ◽

Marco Bozzano ◽

Alessandro Cimatti ◽

Regis De Ferluc ◽

Marco Gario ◽

...

Keyword(s):

Integrated Process

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Safety Assessment of an Electrical System with AltaRica 3.0

A Model-Based Methodology to Formalize Specifications of Railway Systems

A Pattern-Based Approach towards the Guided Reuse of Safety Mechanisms in the Automotive Domain

Applying Formal Methods into Safety-Critical Health Applications

Adaptive Error and Sensor Management for Autonomous Vehicles: Model-Based Approach and Run-Time System

Model-Based Safety Approach for Early Validation of Integrated and Modular Avionics Architectures

Towards the Derivation of Guidelines for the Deployment of Real-Time Tasks on a Multicore Processor

Exploring the Impact of Different Cost Heuristics in the Allocation of Safety Integrity Levels

Reliability Analysis of Dynamic Systems by Translating Temporal Fault Trees into Bayesian Networks

An Integrated Process for FDIR Design in Aerospace

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