• KIPS Transactions on Software and Data Engineering
• /
• v.11 no.10
• /
• pp.399-408
• /
• 2022

ERC-20, the standard API for Ethereum token smart contracts, was introduced to ensure compatibility among applications such as wallets and decentralized exchanges. However, many compatibility vulnerability problems have existed because there is no rigorous functional specifications for each API nor conformance review tools for the standard. In this paper, we proposed a new review procedure and a tool to perform the procedure to review if ERC-20 token smart contract programs for the Ethereum blockchain conform to the de facto standards. Based on the knowledge from an analysis on the ERC-20 API functional behavior of the top 100 token smart contract programs in the existing Ethereum blockchain, a new specification for the de facto standard for ERC-20 API was explicitly defined. The new specification enabled us to design a systematic review method for Ethereum smart contract programs. We developed a tool to support this review method and we evaluated a few benchmark programs with the tool.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.43 no.1 s.343
• /
• pp.71-78
• /
• 2006

MANET routing protocols must support not only wireless networking without any relaying on network infrastructure, but also dynamic management of routing information caused by node mobility. Hence, they are one of important routing protocols for USN. Recently DYMO is regarded as a promising routing protocol for UMT because it is simple and easy to extend as well as it requires less networking load than others. In this paper, we design and implement DYMO routing protocol into various operation systems. Also, we develop a DYMO conformance test tool to evaluate our implementations.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2004.05b
• /
• pp.800-803
• /
• 2004

This paper describes the design and implementation of the T=1 protocol based on lava Card. The T=1 protocol implemented in this paper complies with ISO/IEC 7816 standard. Also, JCOS(Java Card Operating Systems) including the contactless card protocol conforms to Java Card 2.2.1 specification and is running on 32-bit ARM7/TDMI processor. The protocol stack proposed and implemented in this paper is easy to maintenance of protocol independently. To verify the T=1 protocol implemented in this paper we tested the T=1 protocol scenarios defined in ISO/IEC 7816-3 Annex A. And we tested using USIM(Universal Subscriber Identity Module) cards, which include the implemented T=1 protocol. The T=1 protocol was tested and passed all against the specification 3GPP TS 31.122, which was the Conformance Test Specification for USIM cards including the test suites of both transmission protocols.

• Proceedings of the KIEE Conference
• /
• 2008.11a
• /
• pp.276-278
• /
• 2008

IEC 61850 기반의 클라이언트의 적합성 검사를 시행할 방법이 아직 체계적으로 정립되어 있지 않다. 이에 본 논문에서는 클라이언트의 적합성 검사를 위한 관리 프로그램의 구현을 위해 소프트웨어 개발 방법론을 적용하여 설계하고 이에 대한 자세한 내용을 다룬다.

• IE interfaces
• /
• v.7 no.2
• /
• pp.25-30
• /
• 1994

ISO 9000 is a series of several standards(ISO 8402, 9000, 9001, 9002, 9003, 9004,...). ISO 9000 is a standard explaining fundamental concepts, defining important terms, and providing guidance for selecting among the other standards. ISO 9001, the most comprehensive standard to ensure quality in design, development, production, installation, and servicing. ISO 9002 is used to assure conformance to specification, installation and servicing. ISO 9003 has the least requirement among three standards and applies to inspection and final testing. ISO 9004 is a standard developed for internal use only and not applicabe to contractual arrangements. In this paper, quality system requirements for ISO 9000 series are also specified.

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

Petri net is one of the effective modeling techniques which analyzes and designs concurrent and asynchronous systems. CPN is an extended Petri net which has color tokens. In this paper, we propose a new test case generation method using CPN. It transforms Estelle Specification into CPN, which is applicable to Design/CPN. It also generates UIO and subtour from OG and descriptor, which are resulted from Design/CPN. Using the proposed method, we can get more improved test coverage than existing methods. Therefore, more effective protocol conformance testing could be conducted. The test case generating method will be the basis of the automatic testing environmented.

• Journal of Korean Society for Quality Management
• /
• v.31 no.2
• /
• pp.40-50
• /
• 2003

This study proposes Environmental Quality Deployment (EQD) by combining an instrument for measuring customer satisfaction (ENVIROQUAL) with a standard tool of product design in manufacturing called quality function deployment (QFD). The EQD presents the conceptual map of House of Environmental Quality as a means to implementation to help a company know what customers perceive as important in making environmentally friendly product and provide a framework for the translation of customer satisfaction into identifiable and measurable conformance specifications for environmentally friendly product design.

• Korean Management Science Review
• /
• v.13 no.2
• /
• pp.177-191
• /
• 1996

Quality is defined as several terms of fitness for use, conformance to requirements or specification, and loss of social effect. And the quality can be classified into design, production and service quality according to its formation of product (or servece). To be satisfactory product, the product must be controlled to maintain the specified level of quality at the whole life cycle of R&D step through disposal step. And the wrong design is one of the great source of cost. Therefore, the quality assurance on the R&D step is very important. This paper suggests a general procedure for the R&D quality assurance and discusses the methods for the reliable design. And a telecommunication equipment is considered as an applied example. Finally, it is discussed some subjects on the R&D quality assurance as further researches.

• Journal of Korean Society for Quality Management
• /
• v.30 no.4
• /
• pp.137-153
• /
• 2002

Viewed as a more systematic approach of creating high quality products and bringing them into market at a lower cost and in significantly less time, it attracts the attention of quality designers to quality function deployment (QFD) approach. In attempt to reduce the design cycle, the industry has responded with concurrent design effort. In a sense, concurrent engineering refers to the integration of various activities within the broad scope of the product life cycle ［17］. Over the last ten years, much has been written about QFD but little has been available in terms of the underlying guide methodology. The methodology of QFD is quite simple and many will say that they have done it in the past but just have not formalized it into the form that this discipline requires. QFD ties the product, user, value, and manufacturing viewpoints together in a continuous process of defining the product design and manufacturing requirements. The value viewpoint recognizes the cost to obtain certain functionality, and the manufacturing viewpoint addresses conformance to requirements, but in a broader sense, the variability in production. In this paper, the QFD system acquisitions are described, and two heuristic approaches solving for the complex design process, especially the size reduction of design process and precedence-constrained relationship in QFD are proposed, and the empirical example is illustrated.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2006.11a
• /
• pp.365-368
• /
• 2006

The implementation of a screening procedure for removing non-conforming products has become a common practice especially in high-tech manufacturing industries. Screening procedures involve a measurement on the quality characteristic of interest since decisions regarding the conformance to specifications are usually made on the basis of the realization of measurement. A significant variability in measurement procedures may result in the misclassification of an outgoing product (that is, falsely accepting defectives or falsely rejecting conforming items), which may lead to wrong interpretation on product quality, It may thus be necessary to consider the impacts of misclassification errors due to measurement variability when designing screening procedures. Along this line, this article investigates the design of screening procedures based on the assessment of misclassification errors. The main objective is to determine the screening limits on measured values so that two types of misclassification errors may properly be compromised.