• The KIPS Transactions:PartD
• /
• v.8D no.6
• /
• pp.761-770
• /
• 2001

As software industry is rapidly evolving, IT business enterprises have been meeting with cutthroat competition in developing software. As software reusability, time to market, and maintainability are considered as a competitive edge, software component techniques have lately attracted considerable attention. Currently, although there are some supporting tools for developing software components, they do not have tight connections among component developing processes such as component identification, component modeling, detailed design, code generation, deployment, and testing. And it is restrictive for users to construct various scales of components on component platform architecture. In this paper, we provide an implementation and a design of a supporting tool for constructing platform-independent software components, which covers all development lifecycles of components. In the phase of component modeling, platform independent, conceptual components are identified from domain model information in the view of system partitioning. Detailed design and implementation of a component are performed on the J2EE platform architecture. And the changes on the design model and source codes are consistently managed by using round-trip techniques.

• Journal of Advanced Navigation Technology
• /
• v.27 no.2
• /
• pp.228-234
• /
• 2023

As the increasing demand for high-quality software, there is huge requiring for quality certification of international standards, industrial functional safety (IEC 61508), automotive (ISO 26262), embedded software guidelines for weapon systems, etc., in the industry. Software companies are very difficult to systematically acquire the quality certification in terms of cost and manpower of Startup, venture small-sized companies. For their companies one test case automatic generation is considered as a core technique to evaluate or improve software quality. This paper proposes a test case automatic generation method based on the design decision table for system and software design verification. We apply the proposed method with OMG's standard techniques of metamodel and model transformation for automatically generating test cases. To do this, we design the metamodels of design decision table (Model) and test case document (Text) and define model transformation to automatically generate test cases, which will expect to easily work MC/DC coverage.

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 1999.10a
• /
• pp.579-584
• /
• 1999

The purpose of the present paper are not to develope machine tools of new concepts and advanced mechanisms but to introduce and apply new methods and concepts in the design procedure by using and changing the previously existing technologies. In this paper 3D modeller was proposed for designing machine tools and the design and the better manufacturability checking than 2D one so that design error was dramatically reduced. As designer may easily understand the real shape of a part and assembly object, it's easy to draw the drawings not only in a conceptual design but also in a detailed design. Also, design automation software enabled designer to consider the real important design parameters by reducing time to spend in estimating and calculating the strength of the model by the computer aided automatic calculation instead of a tedious and complex calculation by manual method and help him to easily make the decision for selecting the stocks and design the structure of part or unit of machine tools.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2008.05a
• /
• pp.591-594
• /
• 2008

This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framework provides an explicit opportunity for software composers as well as software components to test a priori security properties of software components in a system composition. The proposed framework uses logic programming as a tool to represent security properties of atomic components and reason about their compositional matching with other components.

• Proceedings of the KIEE Conference
• /
• 1987.07b
• /
• pp.907-910
• /
• 1987

This paper describes the design and implementation of M10CN software management system which manages the current state of M10CN software. This system provides the fast search of information in the software and the exact state of the software in the M10CN exchange.

• Journal of Aerospace System Engineering
• /
• v.6 no.3
• /
• pp.1-6
• /
• 2012

It is booming to use computer owing to the information society, and embedded software application have grown in airborne systems and equipment. So this introduces airborne software, RTCA DO-178B, life cycle and its data, and software development pitfalls in design and certification.

• Journal of Engineering Education Research
• /
• v.22 no.6
• /
• pp.74-88
• /
• 2019

In recent years, the design has formed and operated convergence education in conjunction with many other academic fields, and ABEEK also encourages the participation of convergence engineering programs. The purpose of this study is to require design and software convergence major to operate program that accord engineering education certification criteria to develop a program outcomes evaluation system and examine its validity. The program outcomes evaluation system was developed in accordance with development research methods and procedures. As a result, developed evaluation system program outcomes for convergence-based program outcomes: convergence ability, creative thinking ability, entrepreneur ability, and design ability. Finally, it revised and supplemented them through expert validity examine. Expert validity review included 9 experts in engineering, IT engineering, education technology, and design. The validity, usefulness, intelligibility, universality, and explanatory power of the evaluation system were reviewed. The results of this study are expected to provide practical tools for operating ABBEK of convergence programs between design and engineering.

• Journal of KIISE:Software and Applications
• /
• v.41 no.7
• /
• pp.469-480
• /
• 2014

Software Product Line (SPL) is a software development paradigm that guarantees high productivity, reduced cost, and shorter time-to-market by systematically planning and reusing commonality and variability. In order to maximize the benefits of SPL engineering, testing should be integrated into the SPL engineering lifecycle processes that consist of domain engineering and application engineering and should be performed with as little test efforts as possible. This paper proposes a systematic software product line test cases derivation method using combinatorial test design. By applying combinatorial test design to product line test cases derivation and exploiting commonality between products at the same time, the number of generated test cases is dramatically reduced with the result that they can be effectively reused by the products of the given product line. Case studies conducted in this paper show the efficacy of our method compared with other methods that use only commonality or combinatorial design or neither of them in terms of the number of derived test cases.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.14 no.10
• /
• pp.5243-5250
• /
• 2013

BIM(Building Information Modeling) enables 3D model-base management for all information produced by construction project during its life cycle. Also as a national policy, BIM has been institutionalized as design criteria. But, on the matter of 2D drawing using BIM software (Revit Architecture), it has been recognized as difficult to realize the same quality drawing drawn by CAD. The purpose of this study is verifying the possibility of printable design drawing implemented by BIM software at the same quality of 2D shop drawing drawn by 2D CAD. Through the analysis of basic design elements of 3D BIM software and 2D CAD software, with the case of partial cross sectional drawing which is most faithful representation of the basic design elements, this study find out that the 3D BIM software can produce the same quality 2D printable drawing utilizing its implicit function.

• Steel and Composite Structures
• /
• v.10 no.3
• /
• pp.207-222
• /
• 2010

Fire incident in buildings is common, so the fire safety design of the framed structure is imperative, especially for the unprotected or partly protected bare steel frames. However, software for structural fire analysis is not widely available. As a result, the performance-based structural fire design is urged on the basis of using user-friendly and conventional nonlinear computer analysis programs so that engineers do not need to acquire new structural analysis software for structural fire analysis and design. The tool is desired to have the capacity of simulating the different fire scenarios and associated detrimental effects efficiently, which includes second-order P-D and P-d effects and material yielding. Also the nonlinear behaviour of large-scale structure becomes complicated when under fire, and thus its simulation relies on an efficient and effective numerical analysis to cope with intricate nonlinear effects due to fire. To this end, the present fire study utilizes a second-order elastic/plastic analysis software NIDA to predict structural behaviour of bare steel framed structures at elevated temperatures. This fire study considers thermal expansion and material degradation due to heating. Degradation of material strength with increasing temperature is included by a set of temperature-stress-strain curves according to BS5950 Part 8 mainly, which implicitly allows for creep deformation. This finite element stiffness formulation of beam-column elements is derived from the fifth-order PEP element which facilitates the computer modeling by one member per element. The Newton-Raphson method is used in the nonlinear solution procedure in order to trace the nonlinear equilibrium path at specified elevated temperatures. Several numerical and experimental verifications of framed structures are presented and compared against solutions in literature. The proposed method permits engineers to adopt the performance-based structural fire analysis and design using typical second-order nonlinear structural analysis software.