• The Transactions of the Korea Information Processing Society
• /
• v.6 no.6
• /
• pp.1520-1531
• /
• 1999

In this paper, we present a first step for developing a method of verifying both safety and correctness of object-oriented design specification. As first, we analyze the discrepancies, which can occur between requirements specification and design specification, to make clear target faults. Then, we propose a new design verification method which aims at detecting faults in the design specification. The key idea of the proposed framework is that all elements to be verified can be extracted based on the requirements specification, safety standards, and design specification given for the target product These elements are expressed using three kinds of tables for verification, and thus, the verification steps can be greatly simplified. Here, we assume that component library, standards for safety and design specification obtained from the Booch's object-oriented design method are given. At the beginning, the designers construct a design table based on a design specification, and the verifiers construct a correctness table and a safety table from component library and standards for safety Then, by comparing the items on three tables, the verifiers verification a given design specification and detect faults in it. Finally, using an example of object-oriented design specification, we show that faults concerning safety or correctness can be detected by the new design verification method.

• Proceedings of the IEEK Conference
• /
• 2000.06b
• /
• pp.173-176
• /
• 2000

Silicon semiconductor technology agree that the number of transistors on a chip will keep growing exponentially, and it is pushing technology toward the System-On-Chip. In SoC Design, Specification at system level is key of success. Executable Specification reduce verification time. This Paper describe the design of IMDCT for MPEG Audio Decoder employing system-level design methodology and Executable Specification Methodology in the VHDL simulator with FLI environment.

• Journal of KIISE:Software and Applications
• /
• v.31 no.7
• /
• pp.883-900
• /
• 2004

As object-oriented development technology that increases extensibility and reusability has been widely spread, it can shorten development period and enhance quality by reusing verified object-oriented artifacts. Thus we can construct high quality component-based system at short time transforming component-based model using verified object-oriented artifacts. In this paper, we propose techniques to transform available object-oriented design model into component-based model using formal specification techniques in order to increase accuracy of transformation. First, formal specification language for component is defined for formal specification of component-based design. And, techniques for formal specification of object-oriented design using Object-Z, a formal specification language, is proposed in structural, functional, and dynamic aspects. Next, we present techniques for transforming formal specification of object-oriented design into formal specification of component-based design. Through a case study we apply the proposed transformation techniques and show the transformation process of object-oriented formal specification into component-based formal specification.

• Journal of Information Technology Services
• /
• v.11 no.2
• /
• pp.275-289
• /
• 2012

Although the specification of packaging box is one of the most important process to be considered before deciding cost in terms of production and logistics, there are no efficient services in our country at this time as such the making decision only through the empirical knowledge. In this research, we have developed the packaging specification design system based on the web online packaging IT service. The developed system was advanced from the existing-inefficient process of deciding the specification of packaging box, and which can decide the specification of packaging box considering the efficiency of logistics through use of IT based tool. Therefore, this study shows applied cases of normalized packaging process through the obtained packaging design simulation program. The packaging specification design system can provide the simulation and user interface. Those could calculate the specification of packaging box(packaging box size, packaging box quantity, packaging box pattern, packaging compressive strength, packaging cost etc.) considering the efficiency of logistics.

• Journal of the Korea Safety Management & Science
• /
• v.13 no.1
• /
• pp.203-209
• /
• 2011

This study develops three new models that are practically applicable to three stages of Taguchi's robust design, which includes system design, parameter design and tolerance design. In system design, the Multiple Loss Function Analysis(MLFA) and Overall Loss Index(OLI) which reflect upon weight of characteristics and importance of specification are developed. Moreover parameter design presents Process Capability Index(PCI), $C_{PUK}$ and $C_{PLK}$, in order to segregate Signal-To-Noise Ratio(SNR) into accuracy and precision for an evaluation of relative comparison. In addition, tolerance design presents the new model of allowance computation for assembled product which is primarily derived from safety margin(SM) considering functional limit and specification. The guideline of those three new models, which include systematic charts and applicable illustrations, offers convenience for practitioners in the field. Hence, the practical applications could be made with the steps of robust designs such as system design, parameter design and specification allowance design.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.20 no.1
• /
• pp.113-121
• /
• 2010

The system specification is a system theory based formal representation method for systems' structure and behavior modeling. When we make use of the system specification method in each step of software development, we can derive a hierarchical and modularized system design which enables us to manage the software development process flexibly. This research presents system specification based design of a mobile alarm system which sends alerts about illegal usage of private information and manages the response against the each alert. In our design of mobile alarm system, there are formal definition of alert message overcoming the functional limitation of mobile device and hierarchical modularized modeling of alarm processing using system specification. The efficiency of making use of the system specification is shown by applying the specification method to implementation of mobile alarm system. The contribution of this work is in design and implementation of mobile alarm system which enables us to handle the private information leakage situation more flexible way using system specification based software designing method.

• Journal of the Institute of Electronics Engineers of Korea TE
• /
• v.37 no.5
• /
• pp.56-61
• /
• 2000

Silicon semiconductor technology agrees that the number of transistors on a chip will keep growing exponentially, and it is pushing technology toward the System-On-Chip. In SoC Design, Specification at system level is key of success. Executable Specification reduces verification time. This Paper describes the design of IMDCT for MPEG Audio Decoder employing system-level design methodology and Executable Specification Methodology in the VHDL simulator with FLI environment.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2006.04a
• /
• pp.749-756
• /
• 2006

Because of the orthotropic elastic properties and significant two-way bending action, orthotropic plate theory may be suitable for describing the behavior of concrete filled grid bridge decks. Current AASHTO LRFD Bridge Design Specification(2004) has live load moment equations considering flexural rigidity ratio between longitudinal and transverse direction, but the Korea highway bridge design specification(2005) doesn't. The Korea highway bridge standard specification LRFD(1996) considers an orthotropic plate model with a single load to estimate live load moments in concrete filled grid bridge decks, which may not be conservative. This paper presents live load moment equations for truck and passenger car, based on orthotropic plate theory. The equations of truck model use multiple presence factor, impact factor, design truck and design tandem of the Korea highway bridge standard specification LRFD(1996). The estimated moments are verified through finite-element analyses.

• Proceedings of the IEEK Conference
• /
• 2002.06c
• /
• pp.161-164
• /
• 2002

The informal specification technique lacks abstraction and preciseness. On the other hand, the formal specification technique makes the developer difficult to express and understand the software specification, because it contains mathematical expression. This paper proposes DSC(Domain Specification Component) to solves these problems. DSC supports the understanding of problem domain and improves reusability with selecting the strong point of informal and formal specification technique. We applied the proposed DSC to CMIP-based network management manager software. And we analyzed the effects of the reusability and confirmed the increase of the reusability.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.16 no.12
• /
• pp.8447-8454
• /
• 2015

ISO 12215-5 standard describes allowable stress design specifications of monohull small boat with a length of hull between 2.5 m and 24 m constructed from fiber reinforced plastics, aluminium or steel alloys, glued wood or other suitable boat building material. If small boat hull is under 2.5m in overall length or nonstandard material is used as boat building material, structural reliability of small boat hull is assured by drop test specification, but not by structural design specification in accordance with ISO 12215-5. Drop test specification of boat hull can be applied to manufactured product. But it is difficult and complicated to apply drop test specification to structural design of boat hull. In this study, we present structural design method of polyethylene boat hull on the basis of longitudinal bending strength test specification.