• KIPS Transactions on Software and Data Engineering
• /
• v.6 no.9
• /
• pp.419-428
• /
• 2017

In an embedded system, modules exchange data by interacting among themselves. Exchanging erroneous resource data among modules may lead to execution errors. The interacting resources produce dependencies between the two modules where any change of the resources by one module affects the functionality of another module. Several investigations of the embedded systems show that interaction faults between the modules are one of the major cause of critical software failure. Therefore, interaction testing is an essential phase for reducing the interaction faults and minimizing the risk. The direct and indirect interactions between the modules generate interaction faults. The direct interaction is the explicit call relation between the modules, and the indirect interaction is the remaining relation that is made underneath the interface that possesses data dependence relationship with resources. In this paper, we investigate the errors that are based on the indirect interaction between modules and introduce a new test criterion for identifying the errors that are undetectable by existing approaches at the integration level. We propose a novel approach for generating the interaction model using the indirect interaction pattern and design test criteria that are based on different interaction errors to generate test cases. Finally, we use the fault injection technique to evaluate the feasibility and effectiveness of our approach.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.35 no.2
• /
• pp.141-149
• /
• 2015

In the fabrication of electronic circuits used in electronic products, molybdenum thin films are deposited on semiconductors to prevent oxidation. During the deposition, the presence of a particle or dust at the interface between the thin film and substrate causes the decrease of adhesion, performance, and life cycle. In this study, a damage measurement targeting two kinds of glass substrate, with and without particles, was performed in order to measure the change in the molybdenum thin film deposition area in the presence of a particle. Clean and dirty molybdenum thin film specimens were fabricated and directly deposited on a substrate using the sputtering method, and a reflection-type digital holographic interferometer was configured for measuring the damage. Reflection-type digital holography has several advantages; e.g., the configuration of the interferometer is simple, the measurement range can be varied depending on the magnification of a microscopic lens, and the measuring time is short. The results confirm that reflection-type digital holography is useful for the measurement of the damage and defects of thin films.

• Journal of Internet Computing and Services
• /
• v.15 no.5
• /
• pp.107-121
• /
• 2014

Distributed systems are collection of physically distributed computers linked by a network. General use of wired/wireless Internet enables users to make use of distributed service anytime and anywhere. The explosive growth of distributed services strongly requires functional verification of services as well as verification of non-functional elements such as service quality. In order to verify distributed services it is necessary to build a test environment for distributed systems. Because, however, distributed systems are composed of physically distributed nodes, efforts to construct a test environment are required more than those in a test environment for a monolithic system. In this paper we propose a test framework to verify functional and non-functional features of distributed systems. The suggested framework automatically generates test cases through the message sequence charts, and includes a test driver composed of the virtual nodes which can simulate the physically distributed nodes. The test result can be checked easily through the various graphs and the graphical user interface (GUI). The test framework can reduce testing efforts for a distributed system and can enhance the reliability of the system.

• Journal of the Korea Society for Simulation
• /
• v.24 no.4
• /
• pp.1-9
• /
• 2015

As the use of software is more wider in the safety-critical nuclear fields, so study to improve safety and quality of the software has been actively carried out for more than the past decade. In the nuclear power plant, nuclear man-machine interface systems (MMIS) performs the function of the brain and neural networks of human and consists of fully digitalized equipments. Therefore, errors in the software for nuclear MMIS may occur an abnormal operation of nuclear power plant, can result in economic loss due to the consequential trip of the nuclear power plant. Verification and validation (V&V) is a software-engineering discipline that helps to build quality into software, and the nuclear industry has been defined by laws and regulations to implement and adhere to a through verification and validation activities along the software lifecycle. V&V is a collection of analysis and testing activities across the full lifecycle and complements the efforts of other quality-engineering functions. This study propose a methodology based on V&V activities and related tool-chain to improve quality for software in the nuclear power plant. The optimized methodology consists of a document evaluation, requirement traceability, source code review, and software testing. The proposed methodology has been applied and approved to the real MMIS project for Shin-Hanul units 1&2.

• Journal of Periodontal and Implant Science
• /
• v.31 no.1
• /
• pp.41-57
• /
• 2001

It is well known that the apposition of bone at implant surface would be influenced by the microstructure of titanium implants. The purpose of this study was to compare bone healing around the screw-shaped titanium implant with three different surface topographies in the canine mandibles by histological and biomechanical evaluation. All mandibular premolars of six mongrel dogs were extracted and implants were placed one month later. The pure titanium implants had different surface topographies: smooth and machined ($Steri-OSS^{(R)}$: Group II); sandblasted and acid-etched ($ITI^{(R)}$, SLA: Group III) surface. The fluorescent dyes were injected on the 2nd (calcein), 4th (oxytetracycline HCI) and 12th (alizarin red) weeks of healing. Dogs were sacrificed at 4 and 12 weeks after implantation. The decalcified and undecalcified specimens were prepared for histological and histo-metrical evaluation of implant-bone contact. Some specimens at 12 weeks after implantation were used for removal torque testing. Histologically, direct bone apposition to implant surface was found in all of the treated groups. More mature and dense bone was observed at the implant-bone interface at 12 weeks than that at 4 weeks after implantation. Under the fluorescent microscope, thick regular green fluorescent lines which mean early bone apposition were observed at the implant-bone interface in Group III, while yellow and red fluorescent areas were found at the implant-bone interface in Group I and II. The average implant-bone contact ratios at 4 weeks of healing were 54.3% in Group I, 57.7% in Group II and 66.2% in Group III. In Group I, implant-bone contact ratio was significantly lower than Group II and III(p<0.05). The average implant-to-bone contact ratios at 12 weeks after implantation were 64.3% in Group I, 66.7% in Group II and 71.2% in Group III. There was no significant difference among the three groups. In Group I and II, the implant-bone contact ratio at 12 weeks increased significantly in comparison to ratio at 4 weeks(p<0.05). The removal torque values at 12 weeks after implantation were 90.9 Ncm in Group I, 81.6 Ncm in Group II and 77.1 Ncm in Group III, which were significantly different(p<0.05). These results suggest that bone healing begin earlier and be better around the surface-treated implants compared to the smooth surface implants. The sandblasted and acid-etched implants showed the most favorable bone response among the three groups during the early healing stage and could reduce the waiting period prior to implant loading.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.43 no.6
• /
• pp.873-881
• /
• 2023

The evolution of civil engineering technology, exemplified by recent milestones like the completion of the Gangnam Global Business Center (GBC), has fostered the construction of expansive civil and architectural structures both above and below the earth's surface. This surge in construction necessitates a commensurate advancement in research and technology pertaining to safety protocols applicable to these vast edifices. Such protocols encompass a spectrum of concerns, ranging from the preemptive mitigation of accidents to the effective management of exigencies such as fires. As the trajectory of construction endeavors continues unabated, encompassing both subterranean and elevated domains, a concomitant imperative emerges to refine the methodologies underpinning precise indoor positioning. To address this need, an innovative web-based simulator has been devised to emulate indoor positioning scenarios for rigorous testing. This research further entails the development of an indoor positioning data Application Programming Interface (API) fortified by Geographic Information System (GIS) spatial operation techniques. This API is anchored in the construction of intricate test data, centered on the spatial layout of building 13 at the Electronics and Telecommunications Research Institute (ETRI). Consequently, the study renders feasible the expeditious provisioning of diverse signal-based and image-based spatial information, pivotal for enhancing the navigational acumen of mobile devices. Path delineation, cellular signal mapping, landmark identification, and ancillary navigational aids are among the manifold datasets promptly furnished by the indoor positioning data API. In summation, this study engenders a crucial leap towards the fortification of safety protocols and navigational precision within the expansive confines of modern architectural wonders.

• Science of Emotion and Sensibility
• /
• v.13 no.1
• /
• pp.1-10
• /
• 2010

This study is about what process and methodology could make UI designer be able to achieve the interface which considers user's mental model through implementing corporate line-up model, when people design an interface between product of multi-function printer and user. The most important concern of UI designers who are dealing with an interface between product and user is how they can make product system image match user's mental model so that users can utilize products without any confusion and discomfort. If concept model which designers bring up and mental model which users expect and recognize could be of one accord, then users can feel ease of use toward products. The understanding and observation for user behavior and use pattern is prerequisite to develop user-centered interface between product and user. However, UI designers do design interface from their own perspective and assumption in many business areas, and users do not react as designers assumed and intended in many cases or examples. This study is to find inappropriate system images against users' mental model on basic function of multi-function printer, and the relationship of system image and user's mental model is diagramed to build up a hypothesis. The hypothesis from this study is validated through evaluation of domestic and international users. In addition, two suggestions to improve usability problems revealed from user test are proposed. The optimal solution is designed based on the result of user evaluation and consideration of many user environments, and then it is implemented to line-up product. In conclusion, this study considers how UI designers can create system image which is close to user's mental model.

• Journal of the Korean Crystal Growth and Crystal Technology
• /
• v.24 no.4
• /
• pp.151-157
• /
• 2014

The degradation mechanisms of thermal barrier coatings (TBCs) were investigated in different thermal fatigue condition in terms of microstructural analyses. The isothermal and cyclic oxidation tests were conducted to atmospheric plasma sprayed-TBCs on NIMONIC 263 substrates. The delamination occurred by the oxide layer formation at the interface, the Ni/Cr-based oxide was formed after Al-based oxide layer grew up to ${\sim}10{\mu}m$ in the isothermal condition. In the cyclic oxidation with dwell time, the failure occurred earlier (500 hr) than in the isothermal oxidation (900 hr) at same temperature. The thickness of Al-based oxide layer of the delaminated specimen in the cyclic condition was ${\sim}4{\mu}m$ and the interfacial cracks were observed. The acoustic emission method revealed that the cracks generated during the cooling step. It was considered that the specimens were prevented from the formation of the Al-based oxide by cooling treatment, and the degradation mode in the cyclic test was dominantly interfacial cracking by the difference of thermal expansion coefficients of the coating layers.

• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.14 no.2
• /
• pp.25-30
• /
• 2015

This study involved the fabrication of precision machine tools using a polycrystalline diamond tip [sintered PCD and cemented carbide (WC-Co) tip] and WC-Co shanks via diffusion bonding with a paste-type nickel alloy filler metal. Diffusion bonding is a process whereby two materials are pressed together at high temperature and high pressure for a sufficient period of time to allow significant atomic diffusion to occur. For smooth progress, a filler metal of nickel alloy was used at the interface. Optical microscopy images were used to observe the copula of the bonded layer. It was confirmed that cracks occurred near the junction in all cases. The tensile strength of the bond was measured using a universal testing machine (UTM) with WC-Co proportional test specimens.

• Journal of Korea Game Society
• /
• v.12 no.3
• /
• pp.11-24
• /
• 2012

Primarily working on SNS(Social Network Service) platform, the SNG(Social Network Game) utilizes friends and neighbors for invitation and play. Based on the value model of HCI, this paper purports to discover how functional, hedonic, social and personal values predict the continuous usage intention and satisfaction of SNG in a smartphone. Hypothesis testing through structural equation modeling shows that hedonic and functional values affect satisfaction and intention to use of SNG while social and personal values do not. This result implies that fun and easy interface are more important to the success of SNG service than social networking motivation.