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

TOTAL DOCUMENTS

36

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540411864, 9783540408918

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Software Support for Incident Reporting Systems in Safety-Critical Applications

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

10.1007/3-540-40891-6_9 ◽

2000 ◽

pp. 96-106 ◽

Author(s):

Chris Johnson

Keyword(s):

Incident Reporting ◽

Software Support ◽

Safety Critical ◽

Incident Reporting Systems ◽

Reporting Systems

Download Full-text

IEC 61508 — A Suitable Basis for the Certification of Safety-Critical Transport-Infrastructure Systems ??

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

10.1007/3-540-40891-6_22 ◽

2000 ◽

pp. 250-263 ◽

Author(s):

Derek Fowler ◽

Phil Bennett

Keyword(s):

Transport Infrastructure ◽

Infrastructure Systems ◽

Safety Critical ◽

Download Full-text

Formal Methods: The Problem Is Education

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

10.1007/3-540-40891-6_18 ◽

2000 ◽

pp. 198-210

Author(s):

Thierry Scheurer

Keyword(s):

Download Full-text

A Method of Analysis of Fault Trees with Time Dependencies

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

10.1007/3-540-40891-6_16 ◽

2000 ◽

pp. 176-186 ◽

Author(s):

Jan Magott ◽

Pawel Skrobanek

Keyword(s):

Fault Trees ◽

Time Dependencies

Download Full-text

Improving Software Development by Using Safe Object Oriented Development : OTCD

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

10.1007/3-540-40891-6_12 ◽

2000 ◽

pp. 131-140

Author(s):

Xavier Méhaut ◽

Pierre Morére

Keyword(s):

Software Development ◽

Object Oriented

Download Full-text

A Dependability-Explicit Model for the Development of Computing Systems

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

10.1007/3-540-40891-6_10 ◽

2000 ◽

pp. 107-116 ◽

Author(s):

Mohamed Kaaniche ◽

Jean-Claude Laprie ◽

Jean-Paul Blanquart

Keyword(s):

Explicit Model ◽

Computing Systems

Download Full-text

Dependability of Computer Control Systems in Power Plants

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

10.1007/3-540-40891-6_15 ◽

2000 ◽

pp. 165-175 ◽

Author(s):

Cláudia Almeida ◽

Alberto Arazo ◽

Yves Crouzet ◽

Karama Kanoun

Keyword(s):

Control Systems ◽

Power Plants ◽

Computer Control

Download Full-text

Estimating Dependability of Programmable Systems Using BBNs

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

10.1007/3-540-40891-6_27 ◽

2000 ◽

pp. 309-320 ◽

Author(s):

Bjørn Axel Gran ◽

Gustav Dahll ◽

Siegfried Eisinger ◽

Eivind J. Lund ◽

Jan Gerhard Norstrøm ◽

...

Download Full-text

Failure Mode and Effect Analysis for Safety-Critical Systems with Software Components

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

10.1007/3-540-40891-6_33 ◽

2000 ◽

pp. 382-394 ◽

Author(s):

Tadeusz Cichocki ◽

Janusz Górski

Keyword(s):

Failure Mode ◽

Software Components ◽

Critical Systems ◽

Effect Analysis ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

Expert Error: The Case of Trouble-Shooting in Electronics

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

10.1007/3-540-40891-6_7 ◽

2000 ◽

pp. 74-85 ◽

Author(s):

Denis Besnard

Keyword(s):

Trouble Shooting

Download Full-text