• Journal of Information Processing Systems
• /
• 제2권3호
• /
• pp.137-142
• /
• 2006

A large portion of the embedded system development process involves the integration of hardware and software. Unfortunately, communication across the hardware/software boundary is tedious and error-prone to create. This paper presents an automatic hardware/software interface generation system. As the front-end of hardware/software co-design frameworks, a system designer defines XML specifications for hardware functions. Our system generates hardware/software interfaces including Device Driver, Driver API, and Device Controller from these specifications. Embedded software designers can easily use hardware just like system libraries. Our system reduces the mistakes and errors that can be occurred when a software programmer directly connects software to hardware, and supports balancing labors between hardware developers and software programmers. Moreover, this system can be used as the back-end for a hardware/software co-design framework.

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

• 한국항행학회논문지
• /
• 제19권2호
• /
• pp.91-97
• /
• 2015

이 논문은 항공 분야에서의 안전필수 소프트웨어를 평가하기 위한 고려사항을 기술한다. 항공 분야에서의 안전필수 소프트웨어의 평가를 수행하기 위해서는 해당 소프트웨어의 평가 수준에 대한 정보가 필요하다. 그 수준은 표준에 명시되어 있으나 소프트웨어 자체적으로 결정되는 요소가 아니며 시스템 안전 평가 결과 및 시스템 설계 결과에 의존적이다. 그러므로 소프트웨어 평가수준을 결정하기 위해 시스템 개발 및 시스템 안전 평가 표준에서 필요로 하는 정보에 대해 설명한다. 그리고 소프트웨어를 평가하기 위한 기존의 방법론들을 조사하고 항공기 지상 유도 및 통제 시스템 소프트웨어의 평가에 적용할 방법을 제시한다.

• 디지털콘텐츠학회 논문지
• /
• 제5권1호
• /
• pp.61-65
• /
• 2004

본 논문에서는 현재의 IT 분야의 핵심 기술 중에 하나인 임베디드시스템을 하드웨어/소프트웨어 통합설계 방법론에 기초를 두고 구성하는 방법의 한 가지를 제안하였다. 제안한 방법에 기초하여 각 종 진보된 멀티미디어시스템을 구현할 수 있으리라 사료되며, 또한 이를 기반으로 좀 더 진보된 각종 디지털컨텐츠를 구현할 수 있으리라 전망되며, 특히 최근 대두되고 있는 모바일 컨텐츠 구현에 적용이 기대된다.

• 한국측량학회지
• /
• 제34권4호
• /
• pp.425-430
• /
• 2016

Currently, start of the operation US GPS, the Russian Glonass, European Galileo, the Chinese Compass satellites for positioning are celebrating a true GNSS (Global Navigation Satellite System) generation. Korea is building advanced infrastructure such as a national network consisting of CORS (Continuously Operating Reference Station), VRS service for real-time precise positioning and perform continuous upgrading. However, the acquisition of geospatial information using the national infrastructure requires many steps and high dependence on foreign software part in this process. This study contributes to advanced construction technology of geospatial information by design of realtime GNSS surveying system. As a results, it has designed the surveying software that can effectively positioning realtime. Designed realtime surveying software can utilized in various fields.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(B)
• /
• pp.177-180
• /
• 2011

Software Architecture for any given software system is its skeletal framework. That is to say that if this framework does not properly support the system then it would cause more harm than good. Accordingly it is our opinion that choosing the right architecture to realize this framework is a crucial part in creating a successful system. This report discusses a comparative method which utilizes the steps in ATAM to realize architectural decisions and more importantly aide in architectural selection that promotes system success.

• Industrial Engineering and Management Systems
• /
• 제7권3호
• /
• pp.266-287
• /
• 2008

To manage collaborative negotiation in software system design, we have built a socio-technical argument-based negotiation management approach by integrating a Socio-technical Co-construction Process (STCP) with an Argument-based Negotiation Process (ABNP). This paper reviews relevant research work and presents each step of this approach. The STCP provides rich contextual information of technical decisions and social interactions in a system design process. The ABNP provides STCP with a negotiation management and conflict resolution strategy by guiding software engineers to generate, exchange and evaluate their argument claims in negotiation activities. In addition, this paper describes a prototype system which implements this new approach using the advanced Web-based software technologies with the goal of demonstrating how to systematically enhance the negotiation management capabilities in a dynamic socio-technical framework.

• Journal of Electrical Engineering and Technology
• /
• 제5권4호
• /
• pp.561-570
• /
• 2010

This paper presents an advanced dynamic simulation model of a proton exchange membrane fuel cell for the optimal design of a fuel cell power conditioning system (FC-PCS). For the development of fuel cell models, the dynamic characteristics of the fuel cell are considered, including its static characteristics. Then, software fuel cell simulation is realized using Matlab-Simulink. Specifically, the design consideration of PCS (i.e., power semiconductor switch, capacitor, and inductor) is discussed by comparatively analyzing the developed simulator and ideal DC source. In addition, a cosimulation between the fuel cell model and PCS realized using the PSIM software is performed with the help of the SimCoupler module. Detailed analysis and informative simulation results are provided for the optimal design of fuel cell PCS.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1997년도 추계학술발표회논문집(1)
• /
• pp.443-448
• /
• 1997

The intelligent software system for nuclear power plants (NPPs) has been conceptually designed in this study. Its design goals are to operate NPPs in n improved manner and to support operators' cognitive tasks. It consists of six major modules such as "Information Processing," "Alarm Processing," "Procedure Tracking," "Performance Diagnosis," and "Event Diagnosis" modules for operators and "Malfunction Diagnosis" module for maintenance personnel. Most of the modules have been developed for several years and the others are under development. After the completion of development, they will be combined into one system that would be main parts of advanced control rooms in NPPs. that would be main parts of advanced control rooms in NPPs.

• 시스템엔지니어링학술지
• /
• 제17권1호
• /
• pp.21-34
• /
• 2021

The use of Field-Programmable Gate Arrays (FPGAs) in the development of safety-related Human-Machine Interface (HMI) systems has gained much momentum in nuclear applications. Recently, one of the application areas for the Advanced Power Reactor 1400 (APR1400) is in the development of the advanced Component Interface Module (CIM) of the Engineered Safety Features Actuation System (ESFAS). Using systems engineering approach, we have developed a new FPGA-based advanced CIM software. The first step of our software development process involves the Preliminary Hazard Analysis (PHA) based on the previous CIM design. In this paper, we describe the qualitative approach used in performing the preliminary hazard analysis. The paper presents the methodology for applying a modified Hazard and Operability (HAZOP) procedure for the conduct of PHA which resulted in a qualitative risk-ranking scheme that informed the decisions for the safety criteria in the requirements specification phase. The qualitative approach provided the justification for design changes during the advanced CIM software development process.