Lecture Notes in Computer Science - Computer Safety, Reliability, and Security
Latest Publications

TOTAL DOCUMENTS

37

(FIVE YEARS 0)

H-INDEX

9

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642156502, 9783642156519

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Process Control Security: Go Dutch! (United, Shared, Lean and Mean)

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-642-15651-9_37 ◽

2010 ◽

pp. 483-483

Author(s):

Eric Luiijf

Keyword(s):

Process Control

Download Full-text

Variability Management of Safety and Reliability Models: An Intermediate Model towards Systematic Reuse of Component Fault Trees

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-642-15651-9_3 ◽

2010 ◽

pp. 28-40 ◽

Author(s):

Carolina Gómez ◽

Peter Liggesmeyer ◽

Ariane Sutor

Keyword(s):

Fault Trees ◽

Intermediate Model ◽

Reliability Models ◽

Safety And Reliability ◽

Variability Management ◽

Systematic Reuse

Download Full-text

Residual Error Probability of Embedded CRC by Stochastic Automata

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-642-15651-9_12 ◽

2010 ◽

pp. 155-168 ◽

Author(s):

Frank Schiller ◽

Tina Mattes

Keyword(s):

Error Probability ◽

Residual Error ◽

Stochastic Automata

Download Full-text

Verifying Mode Consistency for On-Board Satellite Software

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-642-15651-9_10 ◽

2010 ◽

pp. 126-141 ◽

Author(s):

Alexei Iliasov ◽

Elena Troubitsyna ◽

Linas Laibinis ◽

Alexander Romanovsky ◽

Kimmo Varpaaniemi ◽

...

Download Full-text

How to “Survive” a Safety Case According to ISO 26262

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-642-15651-9_8 ◽

2010 ◽

pp. 97-111 ◽

Author(s):

Torsten Dittel ◽

Hans-Jörg Aryus

Keyword(s):

Iso 26262 ◽

Download Full-text

Reliability Analysis of Safety-Related Communication Architectures

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-642-15651-9_1 ◽

2010 ◽

pp. 1-14 ◽

Author(s):

Oliver Schulz ◽

Jan Peleska

Keyword(s):

Reliability Analysis ◽

Communication Architectures

Download Full-text

Experiences in Applying Formal Verification in Robotics

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-642-15651-9_26 ◽

2010 ◽

pp. 347-360 ◽

Author(s):

Dennis Walter ◽

Holger Täubig ◽

Christoph Lüth

Keyword(s):

Formal Verification

Download Full-text

Security Analysis of Open Building Automation Systems

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-642-15651-9_23 ◽

2010 ◽

pp. 303-316 ◽

Author(s):

Wolfgang Granzer ◽

Wolfgang Kastner

Keyword(s):

Security Analysis ◽

Building Automation ◽

Automation Systems

Download Full-text

Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-642-15651-9_17 ◽

2010 ◽

pp. 223-236 ◽

Author(s):

Eunkyoung Jee ◽

Suin Kim ◽

Sungdeok Cha ◽

Insup Lee

Keyword(s):

Block Diagram ◽

Protection System ◽

Test Coverage ◽

System Software ◽

Function Block ◽

Automated Test ◽

Coverage Measurement ◽

Reactor Protection System

Download Full-text

An Approach to Using Non Safety-Assured Programmable Components in Modest Integrity Systems

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-642-15651-9_28 ◽

2010 ◽

pp. 375-388

Author(s):

Peter Bishop ◽

Kostas Tourlas ◽

Nick Chozos

Download Full-text