• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.4
• /
• pp.265-269
• /
• 2009

Formal specification plays important roles in guaranteeing software safety of safety-critical systems such as nuclear power plant's digital control systems. We had developed a technique [1] which synthesizes Function Block Diagram(FBD) programs from NuSCR formal requirements specifications, but it did not be used widely as it had no automatic tool support. FBD is one of the programming languages for Programmable Logic Controllers(PLC) based system. This paper introduces a CASE tool, NuSCRtoFBD, developed to automate the synthesis procedure. The CASE tool NuSCRtoFBD can reduce a number of errors occurred in the process of manual FBD programming.

• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.10 no.5
• /
• pp.72-78
• /
• 2011

Currently, for the damper case, the material produced by cast/forge welding is mechanically processed and then the final product is mass-produced. By cutting the cast/forge welded material, the issues of excessive cutting time, multiple process production, and a large amount of chips (40% loss from the original material) arise, causing increased production cost and reduced profitability. Thus, in this study, the incremental forming technology which generates no chips was applied in production. Analysis was excuted for 1st and 2nd works by change of tool diameter and working tool. For this, 3D molding and analysis were executed, which was applied to the processing the result, successful processing could be achieved through a few trials of molding processing according to tool forming and rotation counts.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.11
• /
• pp.2965-2980
• /
• 1999

There are several models and the corresponding diagrams to express software system in many kinds of viewpoints, but these are supposed to be integrated and implemented into only one system. Therefore, the software modelers should have the models ensuring the consistency between information in software development life cycle. To support the robust models for modelers using OO modeling methods, i.e. UML, and CASE tools, the meta models of the software architecture and the consistency rules between the models are suggested in this thesis. Finally, the rules are implemented in the OO CASE tool, DEBUTO(Design By UML Tool). It supports UML1.1 notations and has visual modeling editors that enable users make their own software model.

• Proceedings of the KIEE Conference
• /
• 1997.07a
• /
• pp.358-360
• /
• 1997

The train control and monitoring system(TCMS) is an on board computer system in railway vehicles performing the control, supervisory and diagnostic functions of the complete train. This system replaces a lot of hardwired relays and minimizes the necessaries vehicle wiring thus increasing the reliability of the train. In this paper, we proposed a software design technique of TCMS using CASE tool (SAO+). The TCMS functions are implemented in software easily programmed, using a functional block, graphic programming language. We applied the compressor air module to a case study.

• Journal of the Korean Society for Precision Engineering
• /
• v.13 no.11
• /
• pp.25-31
• /
• 1996

In this paper, three different types of commercial tools -P20, NC123K and ceramic- have been used to cut austempered ductile iron(ADI). In the austempered condition the materials are hard, strong and difficult to machine. Thus, we selected a optimum tool material among three different types of used tools in machining of austempered ductile iron. It was used acoustic emission (AE) to know cutting characteristic for selected tool and investigate characteristic of AE signal according to cutting condition and relationship between AE signal and flank wear land of the ceramic tool. The obtained results are as follows ; (1) The ceramic tool among three different types of tools is the best in machining austempered ductile iron. (2) In case of ceramic tool, the amplitude level of AE signal(AErms) is mainly affected by cutting condition and it is proportional to cutting speed. (3)There have been the relationship of direct proportion between the amplitude level of AE signal and flank wear land of the tool. (4) It was observed that the value of AErms was only affected by cutting speed. Therefore it is possible to in-process detec- tion of ceraic tool's wear in case the initial value of AErms at each cutting speed decided.

• The Journal of Society for e-Business Studies
• /
• v.9 no.3
• /
• pp.129-144
• /
• 2004

CASE tools supporting component based development should include functions for modeling, project management, and supporting other phases activities of the development process. Functional requirements of CASE tools supporting component based development are proposed in this paper. Required functions are identified by analyzing the existing CBD CASE tool, and are categorized into modeling, project management, and supporting other phases activities.

• Proceedings of the KSR Conference
• /
• 2009.05a
• /
• pp.132-140
• /
• 2009

The Cradle(R) is specialized systems engineering tool that developed by 3SL(Structure Software System Limited) that has headquarters in U.K. and U.S.A.. It is recognized as the fastest growing Computer-Aided Systems Engineering Tool(CASE Tool). We built up requirements management database by using Cradle(R) on urban maglev program in Korea. So Cradle(R) provide a network function, is available accesses of clients in external organization that is associated on urban maglev program by the internet. However the network function of Cradle(R) require an opening of some a specific network ports and may causes a decreasing network speed. In this paper, we propose the method to establish an user environment of a requirements management database that overcome constraints on network condition.

• Asia pacific journal of information systems
• /
• v.2 no.2
• /
• pp.15-30
• /
• 1992

Computer-Aided Software Engineering or CASE is the technology for automating the software development and maintenance process. Many firms are turning to CASE in hopes of realizing improvement in productivity and system quality. Although expenditures on CASE were reported to be rapidly rising, the performance gains have been very difficult to measure. The empirical results in this article are intended to provide some evidence about (1) the major objective of using CASE, (2) the gains from CASE, (3) the difference in productivity among CASE tools. They are based on an analysis of data collected from 61 software engineers from five corporations who have the experience of using CASE.

• Journal of the Korean Professional Engineers Association
• /
• v.27 no.3
• /
• pp.3-13
• /
• 1994

• The Journal of Information Technology and Database
• /
• v.8 no.2
• /
• pp.137-159
• /
• 2001

This study provides a thorough methodology for IT Investment evaluation. A software tool to support the evaluation process was introduced along with a case study. The software supports the methodology that consists of 7 phases : Target analysis, ldentifying IT measures, Measuring IT impact, Assessing business value, Analyzing the decree of realization, Cost-benefit analysis, and Reporting. The case study showed that the software (CAFA) was a very useful tool supporting both decision-making and post-implementation reviews of IT investment.