Reliability modeling for safety critical software

Reliable Software Technologies — Ada-Europe '96 - Lecture Notes in Computer Science ◽

10.1007/bfb0013476 ◽

1996 ◽

pp. 17-37

Author(s):

Norman F. Schneidewind

Keyword(s):

Reliability Modeling ◽

Safety Critical

Reliability Modeling and Analysis of Safety-Critical Manufacture System

2009 Second International Conference on Intelligent Computation Technology and Automation ◽

10.1109/icicta.2009.370 ◽

2009 ◽

Cited By ~ 2

Author(s):

Qing Sun ◽

Lirong Cui ◽

Gong Chen ◽

Rong Pan

Keyword(s):

Reliability Modeling ◽

Modeling And Analysis ◽

Safety Critical ◽

Manufacture System

Reliability modeling of safety-critical network communication in a digitalized nuclear power plant

Reliability Engineering & System Safety ◽

10.1016/j.ress.2015.07.029 ◽

2015 ◽

Vol 144 ◽

pp. 285-295 ◽

Cited By ~ 10

Author(s):

Sang Hun Lee ◽

Hee Eun Kim ◽

Kwang Seop Son ◽

Sung Min Shin ◽

Seung Jun Lee ◽

...

Keyword(s):

Power Plant ◽

Nuclear Power Plant ◽

Nuclear Power ◽

Network Communication ◽

Reliability Modeling ◽

Safety Critical

Corrigendum to “Reliability modeling of safety-critical network communication in a digitalized nuclear power plant” [Reliab. Eng. Syst. Saf. 144 (2015) 285–295]

Reliability Engineering & System Safety ◽

10.1016/j.ress.2015.12.014 ◽

2016 ◽

Vol 149 ◽

pp. 218

Author(s):

Sang Hun Lee ◽

Hee Eun Kim ◽

Kwang Seop Son ◽

Sung Min Shin ◽

Seung Jun Lee ◽

...

Keyword(s):

Power Plant ◽

Nuclear Power Plant ◽

Nuclear Power ◽

Network Communication ◽

Reliability Modeling ◽

Safety Critical

Traversal time modeling of safety critical in-vehicle communication using reliability modeling techniques

2016 Annual Reliability and Maintainability Symposium (RAMS) ◽

10.1109/rams.2016.7447966 ◽

2016 ◽

Cited By ~ 1

Author(s):

Nika Nowizki ◽

Peter Zeiler ◽

Bernd Bertsche

Keyword(s):

Reliability Modeling ◽

Safety Critical ◽

Vehicle Communication ◽

Traversal Time ◽

Time Modeling ◽

Modeling Techniques