ML18353A961

on Bayesian Estimation for Software Reliability

ML18353A961
Person / Time
Issue date:	12/19/2018
From:	Yaguang Yang Office of Nuclear Regulatory Research
To:
Yaguang Yang
References
Download: ML18353A961 (15)

Text

{{#Wiki_filter:Key Words

and sourcesink nodesN n iedgesE e ijm j j=ii Main(){ //node 1 Data initialization; //edge e 11 If condition A holds //node 2

{ Process data; //edge e 21 If data process success //node 3

{ Save result; //edge e 31 } Else if data process fail

{ Issue a warning; //edge e 32 } } Else if condition A does not hold

{ Print "condition fail"; //edge e 22 } //node 4 Clean memories; //edge e 41 } //node 5

e e e eeeeeeeeee ij eij D=ij Dij e==ij ij D P p=ij Dij eij ij ij p D P q===ij p ij eij qij e ij p ij eij eij hkk h ij k ij k h ij ij ij q p C k E p== ij h k=k h k h C ij ij k h ij=ij Tij eij hij eij e ij ei t iij pij ij ij ij ij h ij ij h ij ij ij h ij ij h h ij t t f p g p t t p dp p g p t t p p g p t t p t t p p== ij ij ij h ij h dp p g p t p p t p t t f ij ijij p gij ij>ij>ijij eij enij ek>++k n k ij ij++++=ij ij k n ij k ij ij ij ij p p k n k B p pk n k B ij ij++nkij e ij pn k n k p E R ij ij ij ij ij ij ij+++==ij h k n==>ij ijij ij p q= i nm jij e==m j j ij i h hij ei n==m j j ij ij i h T Tij eij h==+=k h ij k ij h k k h h ij ij ij ij ij ij q p C q pi nij h ij ij q p+ij ij T hi Ti ij ij T T h==m j j i ij ij T T h ==+==m m ij j j i ij ij j j h ij ij i ij ij T T h q p T T hi ni n==m j j ij i ij ij i R T T h R

==m j j ij i h Hij j j ij i i h T H T m==i ns i i s i iij eij i h h=s i i iij ei n==s i i i ij ij i h T Tij eij h==+=k h ij k ij h k k h h ij ij ij ij ij ij q p C q pi n 

==+s ij i i i h ij ij q pi ni nij i R R=ij h s i i iij j i h H===s i i i ij j i T TTRe e e ee e e ee e e=T=ij T==h h=h===h h h==+++=+++=R h h h h Ree=+++=+++=+++==h h h h h h R R R

=+++=h h R*ee=+=T h T h T==T T h T T hee=R===j j h H===j j j h T T*eE==R===i i T T===H h H*=+=T h T H T=T T H=T T hEe 

=+=R===j j h H===j j j h T T*eEe==R TRT()RTtt()T t RTtTtN n iE e ijij TTij hij qij p ij TT ij hnodesN n iedgesE e ijij hij TTij qij pij eij eij hij Tij qij p ESBWR certification probabilistic risk assessmentNuclear Engineering and Design Reliability Engineering and System SafetyReliability Engineering and System SafetyReview of quantitative software reliability methodsSoftware Reliability Modeling Survey, in Handbook of Software Reliability EngineeringBayesian Data AnalysisIEEE Transactions on Dependable and Secure Computing,Performance Evaluation,IEEE Transactions on ReliabilityApplication of probabilistic safety assessment (PSA) for nuclear power plants, IAEA technical report, Development and application of level-1 probabilistic safety assessment for nuclear power plantSafety of nuclear power plant: designIEEE Transactions on Reliability,IEEE Transactions on ReliabilityProceedings. International Conference and WorkshopIEEE Trans. On Software Engineering IEEE trans on Software Engineering, Journal of system and softwareJournal of Software EngineeringIEEE Transactions on Software Engineering,IEEE Trans. On Software EngineeringIEEE Software,"Systems and Computers in Japan Nuclear SafetyBayesian statistics: principles, models, and applicationsCAVIEEE Transactions on ReliabilityReliability Engineering and System SafetyProceedings of 6 th American nuclear society international topical meeting on nuclear plant instrumentation, control, and human-machine interface technologiesNuclear Engineering and Technology}}