• 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.

• Proceedings of the KSR Conference
• /
• 2011.10a
• /
• pp.1444-1452
• /
• 2011

At present, Kyungbu high-speed railway is operated with 300km/h, Honam high-speed railway is being constructed with 350km/h, and the development for the overhead contact line system is to be conducted for the next-generation high-speed railway with the speed of 400km/h. It is necessary to set up the specification and criteria for the key parts such as dropper, termination clamp and tension insulator for the 400km/h railway line. In this paper, the specification and the criteria for dropper, termination clamp and tension insulator has been reviewed and proposed in order to secure long-term reliability and stability under the maximum speed of 400km/h. Also, the specification, criteria and international standards for 300km/h class and 350km/h class railway line system and the international standards related with the insulators have been reviewed, compared and analysed.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.19-21
• /
• 2002

Writing requirements in formal notation for a safety-critical system can improve software quality and reduce the errors that may arise later on in the software development life cycle. In this paper, we propose a formal specification approach used to describe the nuclear control system. The approach is based on the existing AECL approach that was the only formal specification technique applied to nuclear control systems in the past. Although the approach is AECL-based, the complex descriptions of certain requirements have been reduced by using different specification techniques. We discuss the differences and how the proposed approach provides not only specification but also verification environment.

• 제어로봇시스템학회:학술대회논문집
• /
• 1992.10a
• /
• pp.43-48
• /
• 1992

The automation system oriented as one of the second year automation projects for the small and medium sized enterprises(SME) was developed for the improvement of the production rate and cut the required manpower in the field of the relay which is one of the small electric components used in various industrial fields. The objectives of this study are not only improving the international competition of the relay itself but also partially solving the technical and financial problems featured by common bottlenecks of the SME for efficient assembly automation. For the purpose of these objectives, several topics are studied as followings. - Analyzing the adjustment process and determining the specification of the automation system. - Determining the layout for the automation system to meet the determined specification. - Detail design of the automation system for relay adjustment and inspection. - Control system design - Automation system development and performance test.

• Proceedings of the KIEE Conference
• /
• 2005.05a
• /
• pp.185-187
• /
• 2005

The reactor protection system is the most important function for the safe operation of nuclear powerplants (NPPs) in that such system protects a nuclear reactor tore whose damage can cause an enormous disaster to the nuclear facility and the public. A digital reactor protection system (DRPS) is being developed in KAERI for use in the newly-constructed NPPs and also for replacing the existing analog-type reactor Protection systems. In this paper, an software verification and validation (V&V) activities for DRPS, which are independent of the DRPS development processes, are described according to the software development life cycle. The main activities of DRPS V&V processes are the software planning documentations, the verification of software requirements specification (SRS) and software design specification (SDS), the verification of codes, the tests of the integrated software and system. Moreover, the software safety analysis and the software configuration management are involved in the DRPS V&V processes. All of the V&V activities are described, in detail, in this paper.

• 시스템엔지니어링워크숍
• /
• s.1
• /
• pp.134-139
• /
• 2003

The mission of tilting train development project is enhancing the speed of transportation of railway passenger using existing infrastructure. The threat of this project is the tilting technology is newly incorporated to this project. To overcome the threat this project incorporate systems engineering technology to development tilting train system. The systems engineering process, which was used in this project, was performed in accordance with systems engineering standard EIA632. This paper shows the systems engineering technology which was used to develop the tilting train system specification. This paper also shows the requirement template which was developed to communicate and synthesis various specialty engineering.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.5 no.6
• /
• pp.499-503
• /
• 2004

In the actual system development site, the various specifications are drawn up into each phase, namely analysis, design, development and implementation, beginning with the analysis of user requirements and data involved. The part of the specifications are continuously drawn up by using automated tool, but all specification are not automatically drawn up. Therefore, many inconsistent items occur between the specifications. In this paper, we propose the method which detects the error which is included in the specifications, and we are going to design and implement a specification error detection system based on this.

• Proceedings of the KSR Conference
• /
• 2003.05a
• /
• pp.525-532
• /
• 2003

The mission of tilting train development project is enhancing the speed of transportation of railway passenger using existing infrastructure. The threat of this project is the tilting technology is newly incorporated to this project. To overcome the threat this project incorporate systems engineering technology to development tilting train system. The systems engineering process, which was used in this project, was performed in accordance with systems engineering standard EIA632. This paper shows the systems engineering technology which was used to develop the tilting train system specification. This paper also shows the requirement template which was developed to communicate and synthesis various specialty engineering.

• Journal of Korean Society for Quality Management
• /
• v.49 no.3
• /
• pp.269-279
• /
• 2021

Purpose: The purpose of this study was to suggest weapon system specifications for requirements of Condition-Based Maintenance(CBM/CBM⁺). Methods: The military documents and case studies with regard to condition-based maintenance were reviewed. Representative Korea defense specifications of weapon system such as an aircraft, a C4ISR etc. were analyzed and investigated the level of requirement for maintainability was. Results: Condition-based maintenance was defined in both U.S. instruction and Korean directive. While deparment of defense(U.S.) provide a guidebook for CBM⁺, detailed instruction was not sufficient for Korean. Ministry of national defense(ROK) define the CBM⁺ by means of IPS element which should be developed along with the system development. The maintainability was barely included in Korean defense specifications, except for BIT(Built-in test) function. As a first step for defining the condition-based maintenance requirement in defense specification, this study suggests a standard form for data needed to acquire according to types of system, fault, failure, and so on. Conclusion: The empirical researches on CMB/CBM⁺ with domestic weapon systems are not enough, and a logic which leads the maintenance strategy to CMB/CBM⁺ is not solved. Through technical researches and institutional improvements including this study, we hope that condition-based maintenance would be fully established in the Korean defense field.

• Journal of Engineering Education Research
• /
• v.16 no.1
• /
• pp.35-44
• /
• 2013

The purpose of this study is to develop an examination system for an e-learning quality manager's certificate which is composed of subjects, criteria, method of examination. The task model of e-learning quality manager was modify and task/knowledge/skill matrix was developed to design the examination system through conferences of DACUM committee and an advisory committee. And a survey was carry out to analyze validity of contents of the examination system. The major findings were as the follow: First, occupational specification, job specification, task specification and task/knowledge/skill matrix were developed. Second, examination subjects were developed based on task/knowledge/skill matrix, which were "Basis of e-Learning and plan of service", "Expulsion and management of e-learning infrastructure", "Development of e-learning contents", "Operation and evaluation of e-learning service". Third, the criteria and methods of examination for an e-learning quality manager's certificate were developed, which is composed of test type, the sum of test items, test time and acceptable standards.