• Journal of Information Processing Systems
• /
• v.2 no.3 s.4
• /
• 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
• /
• v.40 no.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.

• Journal of Advanced Navigation Technology
• /
• v.19 no.2
• /
• pp.91-97
• /
• 2015

This paper specifies several considerations about assessing safety-critical software in the aerospace domain. In order to evaluate safety critical software in the aerospace industry, it is required to identify an information of evaluation criteria of software under evaluation. The information is specified in the standard, but determination of evaluation criteria cannot be decided by itself and depends on the results of safety assessment of a system and system design. Thus, this paper explains required information of system development standard and safety assessment standard to determine software evaluation criteria. It surveys existing methodologies about evaluating software, and suggests method which is adapted to evaluation of an advanced surface movement guidance and control system (A-SMGCS) software.

• Journal of Digital Contents Society
• /
• v.5 no.1
• /
• pp.61-65
• /
• 2004

This paper presents a method of constructing the embedded systems based on hardware/software co-design approach that was key methodology. The proposed method was important technology enable to implement advanced multimedia systems and digital contents creating that are rapidly growing of the new information technology.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.34 no.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.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06b
• /
• 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
• /
• v.7 no.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
• /
• v.5 no.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.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1997.10a
• /
• 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.

• Journal of the Korean Society of Systems Engineering
• /
• v.17 no.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.