• Title/Summary/Keyword: Quantitative assessment of software reliability

Search Result 12, Processing Time 0.023 seconds

Quantitative Reliability Assessment for Safety Critical System Software

  • Chung, Dae-Won
    • Journal of Electrical Engineering and Technology
    • /
    • v.2 no.3
    • /
    • pp.386-390
    • /
    • 2007
  • At recent times, an essential issue in the replacement of the old analogue I&C to computer-based digital systems in nuclear power plants becomes the quantitative software reliability assessment. Software reliability models have been successfully applied to many industrial applications, but have the unfortunate drawback of requiring data from which one can formulate a model. Software that is developed for safety critical applications is frequently unable to produce such data for at least two reasons. First, the software is frequently one-of-a-kind, and second, it rarely fails. Safety critical software is normally expected to pass every unit test producing precious little failure data. The basic premise of the rare events approach is that well-tested software does not fail under normal routine and input signals, which means that failures must be triggered by unusual input data and computer states. The failure data found under the reasonable testing cases and testing time for these conditions should be considered for the quantitative reliability assessment. We presented the quantitative reliability assessment methodology of safety critical software for rare failure cases in this paper.

Experimental approach to evaluate software reliability in hardware-software integrated environment

  • Seo, Jeongil;Kang, Hyun Gook;Lee, Eun-Chan;Lee, Seung Jun
    • Nuclear Engineering and Technology
    • /
    • v.52 no.7
    • /
    • pp.1462-1470
    • /
    • 2020
  • Reliability in safety-critical systems and equipment is of vital importance, so the probabilistic safety assessment (PSA) has been widely used for many years in the nuclear industry to address reliability in a quantitative manner. As many nuclear power plants (NPPs) become digitalized, evaluating the reliability of safety-critical software has become an emerging issue. Due to a lack of available methods, in many conventional PSA models only hardware reliability is addressed with the assumption that software reliability is perfect or very high compared to hardware reliability. This study focused on developing a new method of safety-critical software reliability quantification, derived from hardware-software integrated environment testing. Since the complexity of hardware and software interaction makes the possible number of test cases for exhaustive testing well beyond a practically achievable range, an importance-oriented testing method that assures the most efficient test coverage was developed. Application to the test of an actual NPP reactor protection system demonstrated the applicability of the developed method and provided insight into complex software-based system reliability.

Development of Reliability Measurement Method and Tool for Nuclear Power Plant Safety Software (원자력 안전 소프트웨어 대상 신뢰도 측정 방법 및 도구 개발)

  • Lingjun Liu;Wooyoung Choi;Eunkyoung Jee;Duksan Ryu
    • The Transactions of the Korea Information Processing Society
    • /
    • v.13 no.5
    • /
    • pp.227-235
    • /
    • 2024
  • Since nuclear power plants (NPPs) increasingly employ digital I&C systems, reliability evaluation for NPP software has become crucial for NPP probabilistic risk assessment. Several methods for estimating software reliability have been proposed, but there is no available tool support for those methods. To support NPP software manufacturers, we propose a reliability measurement tool for NPP software. We designed our tool to provide reliability estimation depending on available qualitative and quantitative information that users can offer. We applied the proposed tool to an industrial reactor protection system to evaluate the functionality of this tool. This tool can considerably facilitate the reliability assessment of NPP software.

Equipment Reliability Database for Chemical Plants (화학공장 설비 및 기기에 대한 신뢰도 데이터베이스 구축)

  • Ko Jae-Wook;Kwon Hyuk-Myun
    • Journal of the Korean Institute of Gas
    • /
    • v.10 no.1 s.30
    • /
    • pp.13-18
    • /
    • 2006
  • Chemical plants should perform Quantitative Risk Assessment that evaluates types of accident, frequency and damage which can happen through using the hazardous equipment and the hazardous materials for preventing and preparing industrial disasters. It is necessary that Chemical plants should include the reliability database which efficiently evaluate the Quantitative Risk Assessment. So in this study, we suggest a which methodology applies Quantitative Risk Assessment on the basis of the constructed data to imply the reliability of industrial facilities and equipment, collection of reliability data, system analysis and development of software.

  • PDF

Reliability and Validity of the CAP for Computer Access Assessment of Persons with Physical Disabilities

  • Jeong, Dong-Hoon
    • The Journal of Korean Physical Therapy
    • /
    • v.27 no.1
    • /
    • pp.30-37
    • /
    • 2015
  • Purpose: The purpose of this study was to develop a computer access assessment tool for persons with physical disabilities and to evaluate reliability and validity. Methods: We developed a computerized Computer access Assessment Program (CAP) through many kinds of literature review and tools analysis for evaluation of computer access, task analysis of fundamental input devices operation and expert review. The CAP data were obtained from 105 normal university students and 16 students with physical disabilities. The test items of CAP are composed of four timed mouse tasks, four timed keyboard tasks, and a timed scanning task. Thus, the software measures user performance in skills needed for computer interaction, such as keyboard and pointer use, navigating through menus, and scanning. To determine the validity of these measurements, we compared data on CAP reports to a Compass report. Compass software allows an evaluator for assessment of an individual's computer input skills. Results: Results of this study showed that the CAP had high internal consistency, reliability of test-retest, concurrent validity, and convergent validity. Conclusion: Therefore, the CAP is appropriate for evaluation and determination of computer access skill of persons with physical disabilities. It is possible to get clear quantitative data on performance when providing computer access services if you can use the CAP data. Using this quantitative evidence, insights can be gained into the specific nature of any difficulties experienced by persons with physical disabilities and find wise solutions.

A Study on Design and Reliability Assessment for Embedded Hot-Standby Sparing FT System Using Self-Checking Logic (자기검사회로를 이용한 대기이중계구조 결함허용제어기의 설계 및 신뢰도평가에 관한 연구)

  • Lee, Jae-Ho;Lee, Kang-Mi;Kim, Young-Kyu;Shin, Duc-Ko
    • Journal of the Korean Society for Railway
    • /
    • v.9 no.6 s.37
    • /
    • pp.725-731
    • /
    • 2006
  • Hot Standby sparing system detecting faults by using software, and being tolerant any faults by using Hardware Redundancy is difficult to perform quantitative reliability prediction and to detect real time faults. Therefore, this paper designs Hot Standby sparing system using hardware basis self checking logic in order to overcome this problem. It also performs failure mode analysis of Hot Standby sparing system with designed self checking logic by using FMEA (Failure Mode Effect Analysis), and identifies reliability assessment of the controller designed by quantifying the numbers of failure development by using FTA (Fault Tree Analysis)

Calibration System Suitability Evaluation and Test Limits Determination Method through Factor Analysis of Uncertainty (불확도 요인 분석을 통한 교정 시스템 적합성 평가 및 시험기준 결정 방안)

  • Kim, Hong-Tark;Kim, Boo-Il
    • The Journal of the Korea institute of electronic communication sciences
    • /
    • v.14 no.6
    • /
    • pp.1139-1144
    • /
    • 2019
  • A calibration system for diagnosing and confirming the performance of precision measuring instruments minimizes the risk of misjudgment of calibration resulted by complying with international standard requirements in order to ensure the reliability of calibration results. This paper uses a proposed calibration system suitability assessment and a guard-band technique through an analysis of uncertainty factors when it is impossible to acquire and operate high-performance equipment at a calibration laboratory, and proposes an optimized test limit output model substituting performance standards. The proposed method provides an optimized test standard to meet the quantitative evaluation criteria of the calibration system and the probability of false acceptance risk required by international standards.

The Impact of Technology Adoption on Organizational Productivity

  • LAKHWANI, Monika;DASTANE, Omkar;SATAR, Nurhizam Safie Mohd;JOHARI, Zainudin
    • The Journal of Industrial Distribution & Business
    • /
    • v.11 no.4
    • /
    • pp.7-18
    • /
    • 2020
  • Purpose: This research investigates the impact of technology adoption on organisation productivity. The framework has three independent variables viz. technological change, information technology (IT) infrastructure, and IT knowledge management and one dependent variable as organisational productivity. Research design, data and methodology: An explanatory research design with a quantitative research method was employed, and data was collected using a self-administered questionnaire using online as well as an offline survey. The sample consisted of 300 IT managers and senior-level executives (production as well as service team) in leading IT companies in Malaysia selected using snowball sampling. Normality and reliability assessment was performed in the first stage utilising SPSS 22, and Confirmatory Factory Analysis (CFA) was performed with maximum likelihood estimation to assess the internal consistency, convergent validity, and discriminant validity. Finally, Structural Equation Model (SEM) and path analysis are conducted using AMOS 22. Results: The research findings demonstrated that technological change and IT infrastructure positively and significantly impact the organisation's productivity while IT knowledge management has significant but negative impact on organizational productivity of IT companies in Malaysia. Conclusion: The research concludes that all three factors plays important role in deciding organizational producvity. Recommendations, implications, limitations and future research avenues are discussed.

Assessment of Mild Cognitive Impairment in Elderly Subjects Using a Fully Automated Brain Segmentation Software

  • Kwon, Chiheon;Kang, Koung Mi;Byun, Min Soo;Yi, Dahyun;Song, Huijin;Lee, Ji Ye;Hwang, Inpyeong;Yoo, Roh-Eul;Yun, Tae Jin;Choi, Seung Hong;Kim, Ji-hoon;Sohn, Chul-Ho;Lee, Dong Young
    • Investigative Magnetic Resonance Imaging
    • /
    • v.25 no.3
    • /
    • pp.164-171
    • /
    • 2021
  • Purpose: Mild cognitive impairment (MCI) is a prodromal stage of Alzheimer's disease (AD). Brain atrophy in this disease spectrum begins in the medial temporal lobe structure, which can be recognized by magnetic resonance imaging. To overcome the unsatisfactory inter-observer reliability of visual evaluation, quantitative brain volumetry has been developed and widely investigated for the diagnosis of MCI and AD. The aim of this study was to assess the prediction accuracy of quantitative brain volumetry using a fully automated segmentation software package, NeuroQuant®, for the diagnosis of MCI. Materials and Methods: A total of 418 subjects from the Korean Brain Aging Study for Early Diagnosis and Prediction of Alzheimer's Disease cohort were included in our study. Each participant was allocated to either a cognitively normal old group (n = 285) or an MCI group (n = 133). Brain volumetric data were obtained from T1-weighted images using the NeuroQuant software package. Logistic regression and receiver operating characteristic (ROC) curve analyses were performed to investigate relevant brain regions and their prediction accuracies. Results: Multivariate logistic regression analysis revealed that normative percentiles of the hippocampus (P < 0.001), amygdala (P = 0.003), frontal lobe (P = 0.049), medial parietal lobe (P = 0.023), and third ventricle (P = 0.012) were independent predictive factors for MCI. In ROC analysis, normative percentiles of the hippocampus and amygdala showed fair accuracies in the diagnosis of MCI (area under the curve: 0.739 and 0.727, respectively). Conclusion: Normative percentiles of the hippocampus and amygdala provided by the fully automated segmentation software could be used for screening MCI with a reasonable post-processing time. This information might help us interpret structural MRI in patients with cognitive impairment.

Accuracy and reliability of 2-dimensional photography versus 3-dimensional soft tissue imaging

  • Ayaz, Irem;Shaheen, Eman;Aly, Medhat;Shujaat, Sohaib;Gallo, Giulia;Coucke, Wim;Politis, Constantinus;Jacobs, Reinhilde
    • Imaging Science in Dentistry
    • /
    • v.50 no.1
    • /
    • pp.15-22
    • /
    • 2020
  • Purpose: This study was conducted to objectively and subjectively compare the accuracy and reliability of 2-dimensional(2D) photography and 3-dimensional(3D) soft tissue imaging. Materials and Methods: Facial images of 50 volunteers(25 males, 25 females) were captured with a Nikon D800 2D camera (Nikon Corporation, Tokyo, Japan), 3D stereophotogrammetry (SPG), and laser scanning (LS). All subjects were imaged in a relaxed, closed-mouth position with a normal smile. The 2D images were then exported to Mirror® Software (Canfield Scientific, Inc, NJ, USA) and the 3D images into Proplan CMF® software (version 2.1, Materialise HQ, Leuven, Belgium) for further evaluation. For an objective evaluation, 2 observers identified soft tissue landmarks and performed linear measurements on subjects' faces (direct measurements) and both linear and angular measurements on all images(indirect measurements). For a qualitative analysis, 10 dental observers and an expert in facial imaging (subjective gold standard) completed a questionnaire regarding facial characteristics. The reliability of the quantitative data was evaluated using intraclass correlation coefficients, whereas the Fleiss kappa was calculated for qualitative data. Results: Linear and angular measurements carried out on 2D and 3D images showed excellent inter-observer and intra-observer reliability. The 2D photographs displayed the highest combined total error for linear measurements. SPG performed better than LS, with borderline significance (P=0.052). The qualitative assessment showed no significant differences among the 2D and 3D imaging modalities. Conclusion: SPG was found to a reliable and accurate tool for the morphological evaluation of soft tissue in comparison to 2D imaging and laser scanning.