• Nuclear Engineering and Technology
• /
• 제27권1호
• /
• pp.84-95
• /
• 1995

Application of computer software to safety-critical systems is on the increase. To be successful, the software must be designed and constructed to meet the functional and performance requirements of the system. For safety reason, the software must be demonstrated not only to meet these requirements, but also to operate safely as a component within the system. For longer-term cost consideration, the software must be designed and structured to ease future maintenance and modifications. This paper present a software engineering process for the production of safety-critical software for a nuclear power plant The presentation is expository in nature of a viable high quality safety-critical software development. It is based on the ideas of a rational design process and on the experience of the adaptation of such process in the production of the safety-critical software for the Shutdown System Number Two of Wolsong 2, 3 & 4 nuclear power generation plants. This process is significantly different from a conventional process in terms of rigorous software development phases and software design techniques. The process covers documentation, design, verification and testing using mathematically precise notations and highly reviewable tabular format to specify software requirements and software design. These specifications allow rigorous, stepwise verification of software design against software requirements, and code against software design using static analysis. The software engineering process described in this paper applies the principle of information-hiding decomposition in software design using a modular design technique so that when a change is' required or an error is detected, the affected scope can be readily and confidently located. It also facilitates a sense of high degree of confidence in the ‘correctness’ of the software production, and provides a relatively simple and straightforward code implementation effort.

• Journal of Information Technology Applications and Management
• /
• 제19권2호
• /
• pp.135-147
• /
• 2012

Software architecture, as a blueprint for the system, should provide a robust foundation for design, implementation, and maintenance, for communication and documentation, and for reasoning about important system properties. Software architecture plays a central role during the whole software life-cycle. There are so diverse definitions of the software architecture, however, and there is no common agreement about what software architecture is. Examining 27 'published' definitions of software architecture, we synthesize an extensive model on the essential elements of software architecture, which consists of components, interaction among components, well-formed structure, reasons, and various perspectives. Further, we explore the possibility of unifying diverse software architecture definitions into a software architecture life-cycle model.

• 통합자연과학논문집
• /
• 제10권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.

• 정보처리학회논문지B
• /
• 제12B권1호
• /
• pp.1-8
• /
• 2005

디지털기기 개발에 있어서 소프트웨어의 중요성이 높아지고, 규모가 커짐에 따라 소프트웨어의 위기를 해결하기 위한 소프트웨어형상관리의 필요성이 증가하고 있다. 그러나 일반적인 소프트웨어형상관리 시스템들은 영상처리 알고리즘 개발 환경의 특성 및 특징들을 수용하기에 부족하다. 영상처리 알고리즘 개발 환경은 컴파일러와 같은 기본적인 개발 도구 외에 컴포넌트(나 라이브러리)들을 인터액티브하게 조합하고 테스트 할 수 있는 시뮬레이션 환경을 통하여 테스트와 분석을 반복하면서 개발하는 특징을 가지고 있다. 뿐만 아니라, 시뮬레이션 과정 중에는 유사한 기능을 가진 알고리즘 중에 적합한 알고리즘을 빠르고 효과적으로 찾기 위한 방법이 필요하다. 본 논문에서는 이러한 영상처리 알고리즘 개발 환경에서 사용하는 시뮬레이션 도구를 체계적으로 지원해줄 수 있는 비주얼 워크스페이스 기반의 소프트웨어형상관리 방법과 이를 수용할 수 있는 소프트웨어형상관리 시스템을 제안한다. 또한, 개발된 시스템을 실제 시뮬레이션 도구와 연계하여 소프트웨어형상관리 시스템으로써의 적합성을 확인한다.

• 산업공학
• /
• 제2권1호
• /
• pp.1-21
• /
• 1989

This paper introduces some practical guidelines which system developer should consider in installing MRP system. And some difficulties which he will encounter and should overcome are illustrated. An MRP software is introduced which was developed by a Korean software company and is being used by several manufacturing companies. Software modules, sturucture of data files and output reports are explained for the software.

• 한국정밀공학회지
• /
• 제9권1호
• /
• pp.34-43
• /
• 1992

Computer Intergrated Manufacturing (CIM) is an emerging technology which aims at the total automation of a manufacturing system. Despite the extensive research on CIM in this decade, total automation seems to be far from reality for many reasons. In this study, the problems of implementing a CIM system are analyzed and a solution method is suggested. A set of software has been developed and tested for a workstation cotroller which controls closely integrated equipment in the low level of a flexible manufacturing system. The functions of the programs are communications between machines and computers and control of workstation scheduling. The software group is developed on IBM OS/2 operating system with 'c' language to enhance the portability. The usage of the software is presented to users through the Presentation Manager which is menu handler of OS/2 system. Although the software is developed for limited machine equipment, the scheme can be adopted to various machines due to the generality.

• Journal of Biosystems Engineering
• /
• 제24권3호
• /
• pp.267-274
• /
• 1999

An internet and network based software and related interface have been developed, which can remotely control and manage an on-site operating system. Developed software modules were composed of two parts: monitoring/management modules and control/diagnosis modules were developed for the network status, warehouse, production and selling status. Modules of control with diagnosis were developed for the on-site operating system and interface. Each module was integrated and the whole modules have been tested with an automatic mushroom grading/sorting system which was built in a laboratory. Developed software modules worked successfully without any uncommon situations such as system down caused by the software or data transfer error. Each software module was developed independently in order to apply easily to other existing on-site systems such as rice processing centers, fruit and vegetable sorting, packaging and distribution centers scattered over the country.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1996년도 한국자동제어학술회의논문집(국내학술편); 포항공과대학교, 포항; 24-26 Oct. 1996
• /
• pp.40-43
• /
• 1996

An off-line programming, OLP, system is widely used in automation fines. To help an on-line robot system to carry out desirable tasks planned by the off-line simulation, an approach to the real-time communication is presented. The OLP system developed consists of a software, a host computer(PC), a SCARA robot body, four servo drivers, and four independent joint controllers. This study focuses on the software where real-time communication is included. The software, can be used in teaching, trajectory planning, real-time running, and performance evaluation. The evaluation of different control algorithms is one of the merits of the software. The software can give servo commands for task running. A comparison of generated and corresponding actual trajectories provides the evaluation of task performance. The safety, of the OLP system is ensured by alarming malfuntions of the system. The OLP system developed can reduce the teaching time and increase the user's convenience.

• 한국철도학회논문집
• /
• 제1권1호
• /
• pp.10-19
• /
• 1998

Described in this paper is the software to design of a railway interlocking table, which describes the functional specifications of an interlocking device. Interlocking tables has been designed mainly based on personal expertise among signal engineers. However, this expertise needs to be analyzed with technical uniformity and integrated in an organized system. The proposed software is amount to the signal engineer's expertise, yet a generalization of interlocking reasoning. The algorithm is based on the train route setting principle, and is applicable in solving practical problems by computers. The software was evaluated through man-made and machine-made interlocking tables are compared. The evaluation results proves the software to be effective for computer control of the signaling system as interlocking system with a much improved safety.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2014년도 추계학술발표대회
• /
• pp.134-136
• /
• 2014

차세대 에너지 관리시스템에서 계통 해석 프로그램은 집중원격감시 시스템으로부터 취득된 데이터를 이용해 토폴로지, 상태추정, 조류계산, 상정사고, 고장해석 등의 해석 정보를 계통 운영자에게 전달한다. 지속적으로 증가하는 전력수요에 신속하게 대처하기 위해서 계통 해석 프로그램은 대규모 계통의 계획과 운영을 빠르고 정확하게 분석하여 대책을 수립할 수 있어야 한다. 본 논문에서는 계통 해석 프로그램들 중 특히 많은 시간이 소요되는 상정사고 해석 프로그램의 특성을 분석하고 성능 개선 방안을 제안한다.