• Proceedings of the Korean Society of Computer Information Conference
• /
• 2017.07a
• /
• pp.281-284
• /
• 2017

최근 임베디드 시스템 개발이 Model Driven Engineering 방식으로 변화하면서 요구사항과 모델 간의 추적성을 보장하는 것이 매우 중요해졌다. 이 논문에서는 기존의 FDD(Feature Driven Development)와 FOSE(Feature Oriented Software Engineering) 방법론에 적용된 feature 개념을 재정의하여 이를 AUTOSAR platform에 적용하는 방법을 제시하며 요구사항부터 model, code까지 추적성을 검증한다.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.4
• /
• pp.1112-1121
• /
• 2000

Design metrics that quantify the design phase play an important role in reducing system development cost because the problems in early phases of software development seriously affected the quality of the late products. Real-time systems such as telecommunication systems are so large that design quantification is more important in real-time system design. Although many metrics have been proposed, few of them are correctly validated. This paper revises the SDL metrics set proposed in earlier study [9] and perform an analytical validation o the metrics set. Axiomatic approach and dimensional analysis are used for metrics validation and the old metrics are revised ot satisfy the validation criteria.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2010.04a
• /
• pp.379-382
• /
• 2010

This study proposes a way to validate BIM data quality in BIM applications. Solibri model checker is adopted as a module development platform, which is based on Java programming language. The platform makes application developers implement BIM model checker for their own purpose. This study has developed a BIM validation module for circulation analysis of building design. The validation module enables end-users to automatically detect data corrupted or not defined. In case studies, the module found that an IFC file generated from a BIM software has wrong relation information between a space and boundary elements. A building model should satisfy modeling requirements and then domain users can get analysis results. The BIM data validation module needs to be developed in each BIM application domain.

• Archives of Plastic Surgery
• /
• v.48 no.3
• /
• pp.269-277
• /
• 2021

Background The Sunnybrook facial grading scale is a comprehensive scale for the evaluation of facial paralysis patients. Its results greatly depend on subjective input. This study aimed to develop and validate an automated Sunnybrook facial grading scale (SBface) to more objectively assess disfigurement due to facial paralysis. Methods An application compatible with iOS version 11.0 and up was developed. The software automatically detected facial features in standardized photographs and generated scores following the Sunnybrook facial grading scale. Photographic data from 30 unilateral facial paralysis patients were randomly sampled for validation. Intrarater reliability was tested by conducting two identical tests at a 2-week interval. Interrater reliability was tested between the software and three facial nerve clinicians. Results A beta version of the SBface application was tested. Intrarater reliability showed excellent congruence between the two tests. Moderate to strong positive correlations were found between the software and an otolaryngologist, including the total scores of the three individual software domains and composite scores. However, 74.4% (29/39) of the subdomain items showed low to zero correlation with the human raters (κ<0.2). The correlations between the human raters showed good congruence for most of the total and composite scores, with 10.3% (4/39) of the subdomain items failing to correspond (κ<0.2). Conclusions The SBface application is efficient and accurate for evaluating the degree of facial paralysis based on the Sunnybrook facial grading scale. However, correlations of the software-derived results with those of human raters are limited by the software algorithm and the raters' inconsistency.

• Imaging Science in Dentistry
• /
• v.49 no.1
• /
• pp.35-43
• /
• 2019

Purpose: The goal of this study was to assess the accuracy and reliability of a low-cost portable scanner (Scanify) for imaging facial casts compared to a previously validated portable digital stereophotogrammetry device (Vectra H1). This in vitro study was performed using 2 facial casts obtained by recording impressions of the authors, at King's College London Academic Centre of Reconstructive Science. Materials and Methods: The casts were marked with anthropometric landmarks, then digitised using Scanify and Vectra H1. Computed tomography (CT) scans of the same casts were performed to verify the validation of Vectra H1. The 3-dimensional (3D) images acquired with each device were compared using linear measurements and 3D surface analysis software. Results: Overall, 91% of the linear Scanify measurements were within 1 mm of the corresponding reference values. The mean overall surface difference between the Scanify and Vectra images was <0.3mm. Significant differences were detected in depth measurements. Merging multiple Scanify images produced significantly greater registration error. Conclusion: Scanify is a very low-cost device that could have clinical applications for facial imaging if imaging errors could be corrected by a future software update or hardware revision.

• Journal of Information Technology Services
• /
• v.14 no.2
• /
• pp.15-31
• /
• 2015

Software piracy is widespread throughout the world. It has negative effects on the software industry and the intellectual property market. Despite various deterrent policies, the phenomenon has been getting severe. The current study investigated the antecedents of software piracy attitudes and intention. In order to identify factors and their relationship, a research model for illegal piracy behavior was developed and empirically examined through a path analysis using structural equation model. Also, this study employed a multiple group structural equation model to investigate differences in structural weights across PC software user group and smartphone application user group. It was revealed that perceived benefit, habit, social factor, self-efficacy had positive effect on attitude toward software piracy, whereas perceived risk had a decreasing influence on attitude. Relationships between piracy attitudes and intentions were significant as well. Furthermore, the cross validation between two groups showed the path coefficients of habit to attitude and attitude to intention were significantly different. Implications for research and practice are discussed.

• Proceedings of the KIEE Conference
• /
• 2005.05a
• /
• pp.155-157
• /
• 2005

The Electrical Test Bed(ETB) integrates the test environment, required for acceptance tests of system level, prior to FM testing. The ETB will be used for the validation of system-level functions and interface between each subsystem. The FTB supports early functional and limited performance checkout of electrical subsystems. Therefore, it provides the environment for the verification of the Flight Software including AOCS, EPS, and TC&R simulators. These ETB will be composed of engineering version of spacecraft BUS, which are laid on the laboratory table.

• Proceedings of the KSR Conference
• /
• 2004.10a
• /
• pp.1467-1473
• /
• 2004

It requires different safety programs from those of the typical train control systems to develop AGT systems applying train control system based on communication technology. Especially Advanced LRT system involves the processes that have the various safety functions being conducted by softwares and also have characteristics that should have special interest in validation of interface specification. The core items for the safety engineering for LRT control systems are hardware & software engineering, safety-critical system safety engineering, application software validation & verification technologies. In this paper the trends of the technologies for the mentioned core-items are described.

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.11
• /
• pp.13-18
• /
• 2022

In this paper, we proposed VW-FedAVG(Validation based Weighted FedAVG) which updates the global model by weighting according to performance verification from the models of each device participating in the training. The first method is designed to validate each local client model through validation dataset before updating the global model with a server side validation structure. The second is a client-side validation structure, which is designed in such a way that the validation data set is evenly distributed to each client and the global model is after validation. MNIST, CIFAR-10 is used, and the IID, Non-IID distribution for image classification obtained higher accuracy than previous studies.

• Electronics and Telecommunications Trends
• /
• v.8 no.3
• /
• pp.39-52
• /
• 1993

This study involves a Common Cause Failure (CCF) problem on the ultra-high reliability required system development such as war game operations, nuclear power control, air traffic control, space shuttle missions, and large scale network communication system. The system situation problems are defined according to CCF, reliability and system fault identifications for the development cast verifications in the multi-version redundant software system. Then, CCF analysis of redundant system, system principles and statistical dependence are also described. This validation oh the CCF in the human software interaction system will notify software engineers to conceive what really is CCF contribution factor, not only the internal but the external ones.