• Title/Summary/Keyword: computer software

Search Result 8,397, Processing Time 0.039 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.

Improved Exponential Software Reliability Model Based on NHPP with the Uncertainty of Operating Environments

  • Song, Kwang Yoon;Chang, In Hong
    • Journal of Integrative Natural Science
    • /
    • v.10 no.4
    • /
    • pp.249-257
    • /
    • 2017
  • The main focus when developing software is to improve the reliability and stability of a software system. We are enjoying a very comfortable life thanks to modern civilization, however, comfort is not guaranteed to us. Once software systems are introduced, the software systems used in the field environments are the same as or close to those used in the development-testing environment; however, the systems may be used in many different locations. Development of software system is a difficult and complex process. Generally, existing software reliability models are applied to software testing data and then used to make predictions on the software failures and reliability in the field. In this paper, we present an improved exponential NHPP software reliability model in different development environments, and examine the goodness-of-fit of improved exponential model and other model based on two datasets. The results show that the proposed model fits significantly better than other NHPP software reliability model.

DEVELOPMENT OF OPEN GIS COMPONENT SOFTWARE

  • Choi, Hae-Ock;Kim, Kwang-Soo;Lee, Jong-Hun
    • Proceedings of the KSRS Conference
    • /
    • 1999.11a
    • /
    • pp.188-193
    • /
    • 1999
  • Technology of GIS evolved as a means of assembling and analyzing diverse spatial data. Many systems have been developed, and almost of systems are proprietary. There is a lots of lack of interoperability and reusability between them. This paper describes the development of Open GIS component software. The developing system have an end in view of GIS tool software which is interoperable and reusable. To increase the interoperability and reusability, the system is based on the OGC(Open GIS Consortium)'s Open GIS Simple Features Specification for OLE/COM. The OGC's specification is announced to increasing the full interoperability of various geospatial data and geoprocessing resources. With the Open specification, component based software ensures the reusability. We implement three kinds of component: Geometry component, Spatial Reference System Component, and MapBase Component. The first two components are compatible to the OGC's specification and the third one is designed to GIS tool software for variant GIS applications. The Open GIS component software system is developed on object-oriented computing environment, ATL/COM and Visual C++. As we made application programs using Visual Basic, the advantages of component based Open GIS software was proved.

  • PDF

A Study on Software Based Fault-Tolerance Techniques for Flight Control Computer (비행조종컴퓨터 소프트웨어 기반 고장허용 설계 기법 연구)

  • Yoon, Hyung-Sik;Kim, Yeon-Gyun
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.44 no.3
    • /
    • pp.256-265
    • /
    • 2016
  • Software based fault tolerance techniques are designed to allow a system to tolerate software faults in the system. Fault tolerance techniques are divided into two groups : software based fault tolerance techniques and hardware based fault tolerance techniques. We need a proper design method according to characteristics of the system. In this paper, the concepts of software based fault tolerance techniques for Dual Flight Control Computer are described. For software based fault tolerance design, we classified software failure, designed a way for failure detection and the way of recovery. Eventually the effectiveness of software based fault tolerance techniques was verified through the Software Test Environment(STE).

Evolutionary Computing Driven Extreme Learning Machine for Objected Oriented Software Aging Prediction

  • Ahamad, Shahanawaj
    • International Journal of Computer Science & Network Security
    • /
    • v.22 no.2
    • /
    • pp.232-240
    • /
    • 2022
  • To fulfill user expectations, the rapid evolution of software techniques and approaches has necessitated reliable and flawless software operations. Aging prediction in the software under operation is becoming a basic and unavoidable requirement for ensuring the systems' availability, reliability, and operations. In this paper, an improved evolutionary computing-driven extreme learning scheme (ECD-ELM) has been suggested for object-oriented software aging prediction. To perform aging prediction, we employed a variety of metrics, including program size, McCube complexity metrics, Halstead metrics, runtime failure event metrics, and some unique aging-related metrics (ARM). In our suggested paradigm, extracting OOP software metrics is done after pre-processing, which includes outlier detection and normalization. This technique improved our proposed system's ability to deal with instances with unbalanced biases and metrics. Further, different dimensional reduction and feature selection algorithms such as principal component analysis (PCA), linear discriminant analysis (LDA), and T-Test analysis have been applied. We have suggested a single hidden layer multi-feed forward neural network (SL-MFNN) based ELM, where an adaptive genetic algorithm (AGA) has been applied to estimate the weight and bias parameters for ELM learning. Unlike the traditional neural networks model, the implementation of GA-based ELM with LDA feature selection has outperformed other aging prediction approaches in terms of prediction accuracy, precision, recall, and F-measure. The results affirm that the implementation of outlier detection, normalization of imbalanced metrics, LDA-based feature selection, and GA-based ELM can be the reliable solution for object-oriented software aging prediction.

AHP 기법을 이용한 안티바이러스 소프트웨어 평가 요인 분석

  • Kim, Jong-Ki;Hwang, Suk-Yeon;Lee, Dong-Ho
    • The Journal of Information Systems
    • /
    • v.14 no.1
    • /
    • pp.19-40
    • /
    • 2005
  • The history of computer virus comes along with that of computer. Computer virus han surfaced as a serious problem in information age. The advent of open network and widespread use of Internet made the problem even more urgent. As a method of defense for computer virus most companies use anti-virus software. Selecting appropriate anti-virus software involves various criteria and thus it is a multiple-attribute decision making problem. The purpose of this study is to prioritize anti-virus software evaluation factors. To do that, first of all, important evaluation factors are selected based on previous research on anti-virus software as well as general software evaluation models. Then, a questionnaire survey was conducted on end-users, system administrators and anti-virus software developers. The survey result was analyzed with ExpertChoice 2000 which is based on Analytic hierarchy Process technique. This study found that there are clear differences among three survey groups regarding the relative importance of overall evaluation factors. End-user group ranked "cost" first, but it was the least important factor to developer group. Developers pointed out "operational support" ad the most important factor. There were also obvious differences in the relative importance of detail evaluation items. Both end-users and system administrators shared 7 common items among top 10 most important items. Moreover, neither of the two groups ranked any of the items in the "operational support" factor in top 10, whereas all 4 items in the factor were included in top 10 by developer group.

  • PDF

Towards Enacting a SPEM-based Test Process with Maturity Levels

  • Dashbalbar, Amarmend;Song, Sang-Min;Lee, Jung-Won;Lee, Byungjeong
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • v.11 no.2
    • /
    • pp.1217-1233
    • /
    • 2017
  • Effective monitoring and testing during each step are essential for document verification in research and development (R&D) projects. In software development, proper testing is required to verify it carefully and constantly because of the invisibility features of software. However, not enough studies on test processes for R&D projects have been done. Thus, in this paper, we introduce a Test Maturity Model integration (TMMi)-based software field R&D test process that offers five integrity levels and makes the process compatible for different types of projects. The Software & Systems Process Engineering Metamodel (SPEM) is used widely in the software process-modeling context, but it lacks built-in enactment capabilities, so there is no tool or process engine that enables one to execute the process models described in SPEM. Business Process Model and Notation (BPMN)-based workflow engines can be a solution for process execution, but process models described in SPEM need to be converted to BPMN models. Thus, we propose an approach to support enactment of SPEM-based process models by converting them into business processes. We show the effectiveness of our approach through converting software R&D test processes specified in SPEM in a case study.

Implementation of DevOps based Hybrid Model for Project Management and Deployment using Jenkins Automation Tool with Plugins

  • Narang, Poonam;Mittal, Pooja
    • International Journal of Computer Science & Network Security
    • /
    • v.22 no.8
    • /
    • pp.249-259
    • /
    • 2022
  • Project management and deployment has gone through a long journey from traditional and agile to continuous integration, continuous deployment and continuous monitoring. Software industry benefited with the latest buzzword in the development process, DevOps that not only escalates software productivity but at the same time enhances software quality. But the implementation and assessment of DevOps practices is expository as there are no guidelines to assess and improvise DevOps application in software industries. Hence, there was a need to develop a hybrid model to assist software practitioners in DevOps implementation. The intention behind this paper is to implement the already proposed DevOps hybrid model using suggested tool chains including Jenkins, Selenium, GitLab, Ansible and Nagios automation tools through Jenkins project management environment and plugins. To achieve this implementation objective, a java application is developed with a web-based graphical interface. Further, in this paper, different challenges and benefits of Jenkins implementation shall also be outlined. The paper also presents the effectiveness of DevOps based Model implementation in software organizations. The impact of considering other automation tools and models can also be considered as a part of further research.

Instant Software Platform (단발성 소프트웨어 전송시스템)

  • Cho, Sang-Won;Lee, Ki-Yeol;Lee, Jae-Hong
    • Proceedings of the Korean Society of Computer Information Conference
    • /
    • 2009.01a
    • /
    • pp.85-88
    • /
    • 2009
  • 본문에서는 계층적 근무 환경에서 계급 간 보안이 유지되어야할 software application들의 효율적인 접근을 제공하는 관리 시스템을 개발하였다. package화된 software를 DB화하여 소켓통신을 이용하여 client에서 원터치로 원하는 Application이 간편하게 자동으로 설치, 삭제되도록 설계하였다. 이로써 관리자는 효율적인 테스트환경 제공과 테스트중인 프로그램의 유출방지를 기대할 수 있다. 이 프로그램은 사용법이 간단하여 다양한 연령층이 다양한 분야에서 응용이 가능하도록 설계되었다.

  • PDF

The Development of a Computer Counseling System for Weight Control of Athletes Part 2 : A Study in developing Software for Menu Planning of Athletes (특수 체력 관리를 요하는 운동 선수에 대한 Computer 상담 조직의 개발 제2보 : 식단 작성을 위한 Software 개발 연구)

  • 문수재
    • Journal of the Korean Home Economics Association
    • /
    • v.27 no.3
    • /
    • pp.61-69
    • /
    • 1989
  • This study was carried out to develop a computerized menu planning for athletes who need weight control. The outine of the computer lprogram for menu planing that was developed in this study are as follows: First of all, the athlete's weight to be lost/controlled, age, sex and quantity of daily activity were put into the computer. When an individual file was formed, an ordered menu formulated to control the necessary quantity of nutrients were sufficient. The software is planned according to the sturcture of the menu which can be chosen at random. Also, it was made possible to change the menu according to one's preference. Therefore, this was similar to the manmachine system which is desirable form in using the computer. The developed software could be used not only for athletes but also for a nutrition councelling program for those who need weight control.

  • PDF