• 한국컴퓨터정보학회논문지
• /
• 제27권5호
• /
• pp.109-116
• /
• 2022

최근 대규모 소프트웨어 개발하는 데 있어 불명확한 의사소통을 해결하기 위해 가독성이 높은 표준화된 UML(Unified Modeling Language) 모델 중심의 모델 기반 개발 방법이 적용되고 있다. 하지만 소프트웨어 개발자들의 숙련도, 모델 및 모델링 도구의 이해도에 따라 대규모 소프트웨어에 일관성 있는 UML 모델을 적용하기에는 어려움이 발생한다. 이에 본 논문에서는 소프트웨어 개발에 일관성 있는 UML 모델을 적용하기 위한 모델 검증 시스템 개발 방법을 제시한다. 그리고 개발된 모델 검증 시스템을 함정 전투체계 소프트웨어 개발에 일부 적용하여 기능을 입증한다. 모델 검증 시스템은 개발자들이 작성한 모델들을 도메인 특성에 맞게 자동으로 검증할 수 있는 기능을 제공한다. 본 논문에서 제안한 모델 검증 시스템을 사용하면 함정 전투체계 소프트웨어 개발에 좀 더 쉽게 일관성 있는 UML 모델을 적용할 수 있는 장점을 가진다.

• Nuclear Engineering and Technology
• /
• 제40권5호
• /
• pp.397-408
• /
• 2008

This paper describes the application of a software fault tree analysis (FTA) as one of the analysis techniques for a software safety analysis (SSA) at the design phase and its analysis results for the safety-critical software of a digital reactor protection system, which is called the KNICS RPS, being developed in the KNICS (Korea Nuclear Instrumentation & Control Systems) project. The software modules in the design description were represented by function blocks (FBs), and the software FTA was performed based on the well-defined fault tree templates for the FBs. The SSA, which is part of the verification and validation (V&V) activities, was activated at each phase of the software lifecycle for the KNICS RPS. At the design phase, the software HAZOP (Hazard and Operability) and the software FTA were employed in the SSA in such a way that the software HAZOP was performed first and then the software FTA was applied. The software FTA was applied to some critical modules selected from the software HAZOP analysis.

• KEPCO Journal on Electric Power and Energy
• /
• 제2권2호
• /
• pp.269-272
• /
• 2016

Distribution management system or microgrid energy management system plays an important role in monitoring, operation and control of electrical distribution systems by utilizing IT infrastructure. Nowadays, the rapid increase of the distributed resources makes the conventional management system have some additional functionality for the reliable operation due to intermittent renewables and the efficient operation on the economical purpose. In this paper, the brief standard software functional requirements of microgrid energy management system are provided through survey of the recent commercial products of the major vendors, and furthermore the architectures of microgrid energy management system are provided in comparison with major suppliers' microgrid energy management system. The summary of investigation will be able to make the developers and researchers focus on the specific functionality in the real world.

• International Journal of Safety
• /
• 제10권2호
• /
• pp.16-20
• /
• 2011

The computer application on embedded system is recently more increased in accordance of the development of computer technology. In this trend, the depending of SW in embedded system, especially railway signaling system, is being increased further. So the testing for the safety of railway signaling system software became more important. Hence, the safety assurance of the vital software on the railway signaling system is very important but yet, not many works have been done. In this paper, we represented the implementation results of development of performance testing tool in railway signaling system. The implemented testing item had referred to the international standards in relation to the software for railway system, such as IEC 61508 and IEC 62279.

• 시스템엔지니어링학술지
• /
• 제13권1호
• /
• pp.1-6
• /
• 2017

A stores management software which is embedded in the stores management system requires high-level reliability and real-time processing. It also required to implement and verify protocols which requires timing constraints to control various weapons. In this paper, we propose design methodology to design a stores management software and its support middleware based on the TMO (Time-triggered Message-triggered Object) model.

• International journal of advanced smart convergence
• /
• 제1권1호
• /
• pp.57-60
• /
• 2012

In this paper, we have performed a safety analysis on an automotive evaporator inspection system. We performed the bi-directional analysis on the manufacturing line. Software Fault Tree Analysis (SFTA) as backward analysis and Software Failure Modes, Effects, & Criticality Analysis (SFMECA) as forward analysis are performed alternately to detect potential cause-to-effect relations. The analysis results indicate the possibility of searching and summarizing fault patterns for future reusability.

• KIEE International Transactions on Power Engineering
• /
• 제2A권4호
• /
• pp.145-152
• /
• 2002

This paper illustrates applications of the Component Object Model (COM) for power system software developments. As an integral part of Microsoft's component services, COM has gained increased popularity for developing enterprise applications. This paper illustrates the concepts of COM and the latest developments as well as the available tools for developing COM components. Possible COM applications for developing power system software, such as sparse matrix manipulation, fault location, genetic algorithm applications, and so on. are presented. Advantages and promises brought about by COM are manifested through these examples.

• Industrial Engineering and Management Systems
• /
• 제10권1호
• /
• pp.43-53
• /
• 2011

Currently, knowledge within the field of software development is largely implicit and is not formally disseminated and shared. This means that there is little improvement and regeneration of processes, and knowledge gained from previous projects is not necessarily applied to new ones. In order to turn this situation around it is necessary to take an organized approach to sharing job-related information. For this study, the authors constructed "Amalab-Project Planning Navigation System, or A-PPNS", a system for organizing accumulated knowledge related to the field of software development. More specifically, A-PPNS is a business process monitoring system and consists of the following four elements: (i) Optimized estimate support subsystem, (ii) Schedule monitoring system, (iii) QCD optimization diagnostic system, and (iv) Strategic technology accumulation system. The effectiveness of this system has been demonstrated and verified at Company A, a system integration company.

• 한국철도학회논문집
• /
• 제20권1호
• /
• pp.55-63
• /
• 2017

철도에 사용되고 있는 Safety critical systems 중 하나인 연동장치는 relay-based systems에서 computer-based systems으로 급속히 변환되고 있다. computer-based interlocking systems (CBI)의 안전성확보가 중요한 문제 중 하나로 떠오르고 있다. CBI를 구성하는 연동논리 software는 시스템 안전성에 직접적으로 영향을 미치는 부분 중 하나이다. Formal methods 중 하나인 "Z"notation은 이 software 안전성 확보를 위해 software 명세에 많이 사용되고 있다. 본 논문에서는 "Z"notation을 이용하여 연동논리 일부분을 구현하였으며, Z/EVES를 이용하여 검증을 하였다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2000년도 ITC-CSCC -2
• /
• pp.723-726
• /
• 2000

In this paper, we present an abstract object-oriented plat-form model .suitable for the real-time distributed telecommunication system. The proposed platform is constructed upon the extended version of the real-time, distributed operating system, SROS(Scalable Real-time Operating System), that is developed at ETRI and successfully operated in the ATM switching system for several years. The object-oriented software development and maintenance methodology will resolve the current software crisis in the area of telecommunication and switching systems due to the everlasting maintenance about the huge amount of the existing software and the ever increasing needs for the better and new communication services. In general, an object-oriented software platform realizes the object-oriented methodology and possesses many good aspects like high productivity, better reusability, easy maintenance, et at. The platform is also designed to present the distributed multimedia service in addition to real-time event delivery. Recently, we have been implementing a couple of prototype bated on the proposed platform. Reflecting the evaluation results from these prototypes, the final platform specification will be determined.