• 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.

• 한국멀티미디어학회논문지
• /
• 제13권5호
• /
• pp.627-640
• /
• 2010

웹 2.0 환경에서 웹 서비스의 활용범위가 점차 확대됨에 따라서 웹 애플리케이션을 신속하고 편리하게 개발할 수 있는 방법이 요구되고 있다. 최근에 이러한 목적으로 도입되고 있는 프레임워크는 범용으로 설계되어 다양한 웹 애플리케이션에 적용되고 있지만 프레임워크를 이용하여 개발된 웹 애플리케이션에 대한 적합한 품질 평가 모델이 제시되지 않고 있다. 따라서 본 논문에서는 다양한 프레임워크를 이용하여 사용자 간에 도서 정보를 자유롭게 공유할 수 있는 온라인 서재 시스템을 개발하고, 이를 평가하기 위하여 프레임워크 기반의 웹 애플리케이션에 적합한 품질 평가 모델을 제시한다. 소프트웨어 품질 평가의 대표적인 국제 표준인 ISO/IEC 9126-2를 기반으로 기능성, 사용성, 효율성, 유지보수성, 안정성의 다섯 가지의 품질 특성을 정의하고 프레임워크 기반의 웹 애플리케이션의 품질 특성에 초점을 맞춘 평가 메트릭을 제시함으로써 온라인 서재 시스템에 대한 객관적이고 정량적인 평가를 수행한다.

• 산업경영시스템학회지
• /
• 제29권1호
• /
• pp.101-108
• /
• 2006

The issue of using information system to ensure competitive power in the market is rising. The outsourcing methods that entrust activities of information system of companies to other expert agencies are increasing as the enterprises make a lot of efforts to put their resources to their heart of business in the process of adopting information system. Recently, ASP(Application Service Provider) as a new information technology outsourcing method appears due to the development of network technology and spreading of peculating software. ASP defines as a software leasing service which is supplied through networks instead of purchasing application software with high price. For successful implementation of ASP, it is necessary to develop a certification program to ensure safety and reliability of ASP. This paper provides the safe and reliable certification program for ASP. In order to develop it, the critical issues related to service quality and certification of ASP are identified and then evaluation methodology for the ASP certification program is proposed. This paper presents service provider(service environment) certification as the part of the ASP certification program.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2002년도 Proceedings of International Symposium on Remote Sensing
• /
• pp.548-552
• /
• 2002

The necessity of a short period of software development with lower cost came out. The reason of making the component based development is that it can improve the software development , productivity maintenance , and software quality innovatively. Following these advantages of component based application development methods, we found the COM based components effective to Window platform in the satellite surveying. In this paper, we can obtain many precious engineering experiences. Software system development and maintenance will take much shorter time with higher reusability if satellite surveying system is constructed with component extraction proposed by us.

• 한국자동차공학회논문집
• /
• 제21권1호
• /
• pp.68-77
• /
• 2013

This paper presents AUTOSAR-ready light software architecture (AUTOSAR-Lite), which is a light weighted version of the AUTOSAR, for automotive embedded control systems. The proposed AUTOSAR-Lite reduces overhead problems caused by the excessive standard specifications of AUTOSAR. Concurrently, AUTOSAR-Lite keeps advantages of AUTOSAR such as a scalability, re-usability, reliability, and transferability. The fundamental design of AUTOSAR-Lite is originated from the AUTOSAR standard. AUTOSAR-Lite is composed of three layers such as an application software, runtime environment, and basic software layer. The application software layer adopts component-based design methodology as AUTOSAR. The runtime environment layer integrates interfaces between application and basic software layers. In case of the basic software layer, restrictions of the module configurations and interfaces of basic software are minimized. In order to validate the feasibility of AUTOSAR-Lite, a software design result based on AUTOSAR-Lite software architecture for electronic throttle control (ETC) system is suggested.

• Journal of information and communication convergence engineering
• /
• 제9권1호
• /
• pp.100-104
• /
• 2011

In software system development, an application interface is the main communication platform between human developers and applications. Interaction in any software application requires human's mental and physical activities. Although software systems have increased drastically in diverse sectors and many forms to quench human's needs and satisfactions, human always concern about the ease in usability of the software application so that it can be easily understood and navigated. Since many software developers still focus on the quantity of contents instead of the quality of the interface from the user's point of view, it is important to address human factors need in the early stage of the design and to continue addressing them during the entire stages of the software design for the persistent support of usability. In this paper, we propose the Modified Prototype Model (MPM), which helps the software designers and developers to design user-friendly software systems with easy-to-navigate interfaces by uncovering human factors in a convenient way. Moreover, we propose methods that assist to identify more human factors regarding software design. In this paper, we also study the implications of the proposed model and the proposed methods.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2005년도 제36회 하계학술대회 논문집 D
• /
• pp.3034-3036
• /
• 2005

High speed PC-based digital I/O system, PCI-bus master and slave. set is developed, which features are distributed structure, input/output function interchangeability by switch settings, and high speed(20Mbps). Library and application software for a DIO system that have a secure and a convenient functionality are developed.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제10권3호
• /
• pp.1404-1415
• /
• 2016

Because of the properties of software such as invisibility, complexity, and changeability, software configuration management (SCM) for software artifacts generated during software life-cycle has been used for guarantee of the quality of the software. However, the existing SCM system has only focused on code artifacts and software development document artifacts such as Software Requirements Specification (SRS), Software Design Description (SDD), and Software Test Description (STD). Moreover, software research-oriented project comes out late the code artifacts and the software development document artifacts. Therefore, there is a need for trace and management of software research document artifacts composed of highly abstracted non-functional requirements like 'the purpose of the project', 'the objectives', and 'the progress' before generation of the code artifacts and the software development document artifacts for a long time. Nevertheless, the existing SCM system cannot trace and manage them. In this paper, we propose content-based configuration management system comprised of the relevance link generation phase and content-based testing phase to trace and manage them. The preliminary application results show applicability and feasibility of the proposed system.

• 정보기술응용연구
• /
• 제3권4호
• /
• pp.63-92
• /
• 2001

1970대 이후 CASE 도구들은 꾸준히 발전되어 오고 활용은 보편화되고 있다. 많은 CASE 도구들은 보다 확대된 기능을 제공하기 위하여 통합되고 연계되고 있다. 한편 E-R 모델은 모델링 도구로서 널리 사용되고 있으며 대부분의 CASE 도구들이 E-R 모델을 지원하고 있다. 본 연구에서는E-R 모델에 내재한 여러 가지 특성과 응용시스템의 기본 요소들 사이에 관계를 설정하고 이를 이용하여 응용시스템을 자동적으로 생성할 수 있는 방법을 제시한다. 먼저 E-R 모델로부터 일정한 규칙에 의해 업무 프로그램, 프로그램간의 링크, 지속적 데이터 등으로 구성된 정형적 응용시스템이 생성된다. 정형적 시스템은 이용자를 위한 인터페이스 설계를 거쳐 최종적인 응용시스템으로 생성된다. 본 연구에서는 제안된 자동생성과정의 실현가능성을 가상의 시스템을 대상으로 검증해 본다. 본 연구에서 제안된 응용시스템의 자동생성 방안은 CASE 도구들의 모델링 기능과 코드 생성 기능을 연계하고 통합할 수 있는 하나의 대안을 제시할 것으로 기대된다. 동시에 종래에 데이터모델링 도구로서 주로 인식되어 온 E-R 모델에 관한 연구를 응용시스템 전체에 대한 모델링의 관점으로 확대할 수 있을 것으로 기대된다.

• Journal of Information Processing Systems
• /
• 제19권5호
• /
• pp.702-712
• /
• 2023

Load balancing plays a crucial role in ensuring the stable operation of information management systems during periods of high user access requests; therefore, load balancing approaches should be reasonably selected. Moreover, appropriate load balancing techniques could also result in an appropriate allocation of system resources, improved system service, and economic benefits. Nginx is one of the most widely used loadbalancing software packages, and its deployment is representative of load-balancing application research. This study introduces Nginx into an educational administration system, builds a server cluster, and compares and sets the optimal cluster working strategy based on the characteristics of the system, Furthermore, it increases the stability of the system when user access is highly concurrent and uses the Nginx reverse proxy service function to improve the cluster's ability to resist illegal attacks. Finally, through concurrent access verification, the system cluster construction becomes stable and reliable, which significantly improves the performance of the information system service. This research could inform the selection and application of load-balancing software in information system services.