• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2010년도 춘계학술대회 논문집
• /
• pp.838-849
• /
• 2010

It is inevitable to control the systematic failure to obtain the software safety integrity of embedded software installed in rolling stock. Because it is not possible to assess systematic failure integrity by quantitative methods, SILs are used to group documentation, methods, tools and techniques throughout software development lifecycle which, when used effectively, are considered to provide an appropriate level of confidence in the realization of a system to a stated integrity level. Normally, safety approval process is through generic product, generic application and specification application for. For safety approval on generic application of software based system, it is required to apply the certified software processes from the planning stage for the assigned SIL. As such, we will develop project specific application with high safety integrity within time limit of contractual delivery schedule through software assessment to the modified area with the re-use of certified software module and documentation. At this point, Hyundai Rotem has developed software processes applicable to support SIL 4 based on EN50128 which was assessed and certified by TUV SUD. This paper introduces the Hyundai Rotem's detailed approach and prospective action to achieve software safety integrity level.

• 전기학회논문지
• /
• 제56권12호
• /
• pp.2247-2250
• /
• 2007

This paper presents an automated API translator for embedded software development based on a model-driven approach. Since MDA(Model Driven Architecture) provides little support for the development of embedded software, we propose a new approach containing its advantages. First, we define #generic APIs# which do not depend on any RTOS#s but provide most of typical RTOS services. We can describe RTOS-related behaviors of target application using these generic APIs in a CIC(Common Intermediate Code). Then, we propose a transformation tool for translating between a CIC using generic APIs and a C-code for specific RTOS. The proposed API translator converts them using XML transformation rule which is defined outside. It indicates that an API translator extends to other RTOS#s by modifying or adding the transformation rule. From the experiment. we validate the proposed method.

• 한국IT서비스학회:학술대회논문집
• /
• 한국IT서비스학회 2002년도 추계학술대회
• /
• pp.425-430
• /
• 2002

Over the years, several different approaches have been proposed to enhance the practice of software reuse. These approaches vary in reuse abstraction levels or application domains they focus on. However, it seems that they do not adequately meet the needs of software designers in planning and managing reuse. One reason may be the lack of conceptually well-established framework supporting work domain analysis and modeling. As a new viable solution to this problem, Sutcliffe and his colleagues developed Domain Theory , which is introduced in this paper. Utilizing multidisciplinary perspective, such as cognitive psychology, management science, human-computer interaction, and software engineering. it provides a schematic framework that defines a comprehensive library of generic and reusable models of domain knowledge in terms of generic tasks and meta-domains. It also provides useful methods and guidelines for software reuse, emphasizing the concept of abstraction process in a designer s mind. This paper firstly gives a brief overview of fundamentals of software reuse. Next, it explains the foundation of domain theory and discusses its applicability to software reuse. In particular, the taxonomy of meta-domains and the types of generic tasks are described in more detail. Finally, the future research framework, which primarily addresses the problem of how to apply the domain theory to various work domains, is proposed.

• Nuclear Engineering and Technology
• /
• 제23권4호
• /
• pp.363-373
• /
• 1991

핵연료봉 내압 설계기준에 의하면 핵연료봉 갭의 증가만 발생하지 않는다면 봉내압이 계통압력을 초과할 수 있다. 본 연구에서는 이러한 봉내압 설계기준에 따른 정량적이고 보수적인 허용 봉내압을 봉출력의 함수로 생산하였는 바 허용 봉내압은 봉출력의 증가에 따라 감소하였다. 한편, 본 연구에서 구한 허용 봉내압을 봉내압 설계 기준으로 적용하면 핵연료봉 압력 검증을 위한 현행 설계절차를 단순화시킨다. 왜냐하면, 봉내압이 계통압력을 초과할 경우 각각의 주어진 시간 및 축 방향 지점에서 핵연료봉 갭 증가를 계산해야 하는 현행 설계절차가 불필요하기 때문이다.

• 한국CDE학회논문집
• /
• 제13권5호
• /
• pp.342-351
• /
• 2008

ISO 10303-AP241 is an Application Protocol of ISO 10303, which specifies the representation of AEC facility's life cycle information. The Working Draft of AP241 was submitted to the TC184/SC4 of ISO in July, 2007 by Korean team of ISO TC184/SC4/WG3. This paper introduces the currently developed draft Ap241 core model, and describes the life cycle support modules which are required to represent the life cycle information of AEC facilities. The draft core model is developed as a generic data model which is useful as a basis for implementation in a data warehouse. This core model could be used in combination with reference data such as PLCS RDL, Gellish table and RDL of ISO 15926. These concepts already exists in ISO 10303-AP221, AP239 and ISO 15926. In order to support maintenance and feedback of operational information concerning the AEC facilities, the AP241 team re-used many modules from AP239, and developed various STEP Application Modules which are adapted from the ISO 15926.

• Journal of Nuclear Fuel Cycle and Waste Technology
• /
• 제1권1호
• /
• pp.29-35
• /
• 2013

The United States Department of Energy (US DOE) is conducting research and development (R&D) activities under the Used Fuel Disposition Campaign (UFDC) to support storage, transportation, and disposal of used nuclear fuel (UNF) and wastes generated by existing and future nuclear fuel cycles. R&D activities are ongoing at nine national laboratories, and are divided into storage, transportation and disposal. Storage R&D focuses on closing technical gaps related to extended storage of UNF. Transportation R&D focuses on ensuring transportability of UNF following extended storage, and addressing data gaps regarding nuclear fuel integrity, retrievability, and demonstration of subcriticality. Disposal R&D focuses on identifying geologic disposal options and addressing technical challenges for generic disposal concepts in mined repositories in salt, clay/shale, and granitic rocks, and deep borehole disposal. UFDC R&D goals include increasing confidence in the robustness of generic disposal concepts, reducing generic sources of uncertainty that may impact the viability of disposal concepts, and developing science and engineering tools to support the selection, characterization, and licensing of a repository. The US DOE has also initiated activities in the Nuclear Fuel Storage and Transportation (NFST) Planning Project to facilitate the development of an interim storage facility and to support transportation infrastructure in the near term.

• Wind and Structures
• /
• 제24권3호
• /
• pp.223-247
• /
• 2017

By using numerical simulation, vast and detailed information and observation of the physics of flow over a train model can be obtained. However, the accuracy of the numerical results is questionable as it is affected by grid convergence error. This paper describes a systematic method of computational grid refinement for the Unsteady Reynolds Navier-Stokes (URANS) of flow around a generic model of trains using the OpenFOAM software. The sensitivity of the computed flow field on different mesh resolutions is investigated in this paper. This involves solutions on three different grid refinements, namely fine, medium, and coarse grids to investigate the effect of grid dependency. The level of grid independence is evaluated using a form of Richardson extrapolation and Grid Convergence Index (GCI). This is done by comparing the GCI results of various parameters between different levels of mesh resolutions. In this study, monotonic convergence criteria were achieved, indicating that the grid convergence error was progressively reduced. The fine grid resolution's GCI value was less than 1%. The results from a simulation of the finest grid resolution, which includes pressure coefficient, drag coefficient and flow visualization, are presented and compared to previous available data.

• 한국안전학회지
• /
• 제18권4호
• /
• pp.164-168
• /
• 2003

Bayes theorem, suggested by the British Mathematician Bayes (18th century), enables the prior estimate of the probability of an event under the condition given by a specific This theorem has been frequently used to revise the failure probability of a component or system. 2-Stage Bayesian procedure was firstly published by Shultis et al. (1981) and Kaplan (1983), and was further developed based on the studies of Hora & Iman (1990) Papazpgolou et al., Porn(1993). For a small observed failure number (below 12), the estimated reliability of a system or component is not reliable. In the case in which the reliability data of the corresponding system or component can be found in a generic reliability reference book, however, a reliable estimation of the failure probability can be realized by using Bayes theorem, which jointly makes use of the observed data (specific data) and the data found in reference book (generic data).

• 식물분류학회지
• /
• 제49권1호
• /
• pp.96-99
• /
• 2019

The species diversity of Orchidaceae is believed to be extremely high in Myanmar. Like in other plant groups, little basic inventory work has been done thus far. During floristic surveys conducted in Popa Mountain Park (Mandalay Region), Natma Taung National Park (Chin State), and in the Ywangan area (southwestern Shan State), we encountered two interesting orchid species which were determined to be new generic records in the flora of Myanmar. Thuniopsis cleistogama was previously considered endemic to Yunnan Province (China) and was only known from the type locality. However, here the species is newly reported from two localities in central and western Myanmar. Disperis neilgherrensis is known from several widely scattered localities in tropical and subtropical Asia. This tiny orchid species was discovered in the Ywangan area in the southwestern area of the Shan State of Myanmar. These two species will be valuable additions to the updated checklist of the orchids of Myanmar.

• 한국측량학회지
• /
• 제39권5호
• /
• pp.297-311
• /
• 2021

Around the world, there is an increasing interest in Digital Twin cities. Although geospatial data is critical for building a digital twin city, currently-established spatial data cannot be used directly for its implementation. Integration of geospatial data is vital in order to construct and simulate the virtual space. Existing studies for data integration have focused on data transformation. The conversion method is fundamental and convenient, but the information loss during this process remains a limitation. With this, standardization of the data model is an approach to solve the integration problem while hurdling conversion limitations. However, the standardization within indoor space data models is still insufficient compared to 3D building and city models. Therefore, in this study, we present a comparative analysis of data models commonly used in indoor space modeling as a basis for establishing a generic indoor space feature model. By comparing five models of IFC (Industry Foundation Classes), CityGML (City Geographic Markup Language), AIIM (ArcGIS Indoors Information Model), IMDF (Indoor Mapping Data Format), and OmniClass, we identify essential elements for modeling indoor space and the feature classes commonly included in the models. The proposed generic model can serve as a basis for developing further indoor feature models through specifying minimum required structure and feature classes.