• Proceedings of the KSR Conference
• /
• 2008.11b
• /
• pp.1257-1263
• /
• 2008

Recent advances in embedded system technology have brought more dependence on automating train control. While much efforts have been reported to improve electronic hardware's safety, not so much systematic approaches to evaluate software's safety, especially for the vital software running on board train controllers. In this paper, we have developed a software testing tool to evaluate train control system software safety, expecially "Metric Analysis" module. We have reviewed requirements in the international standards and surveyed available tools in the market. From this, we identified the S/W metric analysis module is required for software evaluation. So we have developed S/W metric analysis module for railway signaling systems.

• Journal of the Korean Society for Precision Engineering
• /
• v.21 no.2
• /
• pp.52-59
• /
• 2004

In this paper, the automatic system generation algorithm based on the element combination algorithm discussed in the first part of this paper for designing an arbitrary type of the automatic transmissions is proposed. The powertrain design software using these algorithms is developed. This automotive powertrain design software with user-friendly graphic user interface has two main modules. The first module, the automatic power flow generation module, is already discussed in the previous paper. The second module dealing with the automatic system generation algorithm is discussed in this paper. The power-flow simulation software fur the arbitrary type of powertrain is then developed. The simulation and experimental results of the vehicle equipped with two planetary gear type automatic transmission are compared to validate the proposed algorithms and developed software. The simulation results demonstrate the good agreement with the experimental results.

• Journal of Advanced Information Technology and Convergence
• /
• v.8 no.2
• /
• pp.111-118
• /
• 2018

Information communication authority module software contains various functions and services. A software test is the only acceptance test step. Recently, however, all development steps have become important. In particular, the software acceptance step is very high, and a study of the effective use of limited time and resources on acceptance step is needed. This study examined the efficiency of the Test Design Technique for Software Test. The proposed Test Design process was applied to the domain systems of info-communication and the degree of improvement was measured. This paper establishes Software Test design process Infrastructure based on the developed software.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.17 no.9
• /
• pp.2458-2482
• /
• 2023

Medical image segmentation techniques based on convolution neural networks indulge in feature extraction triggering redundancy of parameters and unsatisfactory target localization, which outcomes in less accurate segmentation results to assist doctors in diagnosis. In this paper, we propose a multi-level semantic-rich encoding-decoding network, which consists of a Pooling-Conv-Former (PCFormer) module and a Cbam-Dilated-Transformer (CDT) module. In the PCFormer module, it is used to tackle the issue of parameter explosion in the conservative transformer and to compensate for the feature loss in the down-sampling process. In the CDT module, the Cbam attention module is adopted to highlight the feature regions by blending the intersection of attention mechanisms implicitly, and the Dilated convolution-Concat (DCC) module is designed as a parallel concatenation of multiple atrous convolution blocks to display the expanded perceptual field explicitly. In addition, MultiHead Attention-DwConv-Transformer (MDTransformer) module is utilized to evidently distinguish the target region from the background region. Extensive experiments on medical image segmentation from Glas, SIIM-ACR, ISIC and LGG demonstrated that our proposed network outperforms existing advanced methods in terms of both objective evaluation and subjective visual performance.

• The KIPS Transactions:PartD
• /
• v.13D no.2 s.105
• /
• pp.259-270
• /
• 2006

Because a medical embedded software is the software that control the medical devices that are relevant to a human life, it requires high qualify level. It is requires to develop and apply the quality test module that suitable for the requirements to meet the high quality requirements of the medical embedded software. Also, it needs to develop the process that complement the quality defects of software by feedback of the test result. In this study, we developed test module and quality inspection table which can test medical embedded software and produce result based on ISO/IEC 12119.

• Journal of the military operations research society of Korea
• /
• v.31 no.2
• /
• pp.105-115
• /
• 2005

To ensure interoperability among TADILs, we need inter-operational system of tactical data link that allows sharing of specific, planned information among different TADILs. In this paper, we have proposed the design of a conceptual software architecture of inter-operational system. For developing of a conceptual software architecture, we analyze the actual condition of ADSI used in the US military and identify functions and quality-attributes. Based on these factors, we design the conceptual software architecture for inter-operational system of tactical data link using Attribute-Driven Design(ADD) method. ADD is consist of three phases - choose the module to decompose, refine the module, repeat the steps for every module that needs further decomposition. To evaluate of ADD results, we apply the Software Architecture Analysis Method(SAAM) which is consist of making evaluation scenarios, choosing indirect scenarios, evaluation scenarios' interaction, and creating an overall evaluation. Through the evaluation, we verify the conceptual software architecture of inter-operational system.

• KOREAN JOURNAL OF PACKAGING SCIENCE & TECHNOLOGY
• /
• v.10 no.1
• /
• pp.27-36
• /
• 2004

Software summarized packaging technology related is needed for low cost and high efficiency in production and packaging design of corrugated board, and in development of these softwares, distribution and packaging environment of one's country must be reflected, well. In domestic occasion, software related to corrugated board packaging dont's exist nearly, and in many industrial fields, the more higher role and importance of packaging in various industrial field is, the more higher necessity of that is. In this study, on the base of preceeding studies (Park, 2001; 2003; 2003), software to optimize board combination that is most importance and sensitivity in composition of cost elements in production and packaging design of corrugated board was developed. This software was composed of input module, output module, database and management module, and calculation module, and efficiency of this software was analyzed on the both sides of sensitivity in design result and effectiveness in a case analyse. In the inward design results having same strength, board combination balance, bursting strength, box weight, and cost were greatly different. Therefore, optimum inward design according to user's design specifications is possible, and in a case analysis for actual products, obtained the more profitable results than before design.

• Journal of Institute of Control, Robotics and Systems
• /
• v.7 no.1
• /
• pp.1196-1204
• /
• 2001

In this paper, a new architecture of operating software associated with the component-based method is proposed. The proposed architecture comprises 문 execution module and a decision-making module. In order to make effective development and maintenance, the execution module is divided into three components. The components are referred to as Symbol, Gateway, and Control, respectively: The symbol component is for the GUI environments and the standard interfaces; the gateway component is for the network communication and the structure of asynchronous processes; the control component is for the asynchronous processing and machine setting or operations. In order to verify the proposed architecture, and off-line version of operating software is made, and its steps are as follows; I) Make virtual execution modules for the manufacturing devices such as dual-arm robot, handling robot, CNC, and sensor; ii) Make decision-making module; iii) Integrate the modules and GUI using a well-known development tools such as Microsofts Visual Basic; iv) Execute the overall operating software to validate the proposed architecture. The proposed software architecture in this paper has the advantages such as independent development of each module, easy development of network communication, and distributed processing of resources, and so on.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.14 no.4
• /
• pp.622-629
• /
• 2011

In this paper, you can see the structure of data slaving software module that is in use on flight test and result of the test with the slaving. The data slaving software module has many functions, data slaving for various instrumentation systems(instrumentation radars, telemetry systems for missile, aircraft and so on), setting some slaving group for multi-target, communicating with the instrumentation systems in a far away site and sending a specific value as slaving data. This fits the requests for flight test that is being performed and improves performance of the instrumentation systems.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2004.11a
• /
• pp.365-368
• /
• 2004

This paper describes a MATLAB based SDM software embodied in a GUI environment (SDMTool), which is a technical high-end tool for structural dynamics modification (SDM) problems. The software is composed of four modules: 1) FE model linker module; 2) FE model updating module; 3) SDM forward problem module; 4) SDM structural optimization module. The software can be useful to engineers performing researches on structural dynamics modification and FE model updating.