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

• The Journal of the Korea Contents Association
• /
• v.5 no.5
• /
• pp.51-58
• /
• 2005

Software development process evolves by component based development(CBD) process and introduction to configuration management system is risen recently. In this paper, we explained component configuration management system evolved out of CBD methodology and focused on the specification management in component configuration management. The component specification is being based on XML that is a normalization document. Also, component version management and dependency management are achieved by a component name. And component dependency information is just the integration information using a component specification name used in the composition when component specification is composed. Thus we confirmed possibility of version management and dependency management using the specification.

• The KIPS Transactions:PartD
• /
• v.8D no.4
• /
• pp.421-426
• /
• 2001

A formal development method is used to develop software rigorously and systematically. In a formal development method, we specify system by a formal specification language and gradually develop the system more concretely until we can implement the system. VDM is one of formal specification languages. VDM uses mathematical data structures such as sets, sequences, and maps to specify the system, but most programming languages do not have such data structures. Therefore, these data structures should be converted. We can convert mathematical data structures in VDM to a linked list, a data structure in a programming language. In this article, we propose a method to convert a set, a sequence, and a map in VDM to a linked list in a programming language and prove the correctness of this conversion mathematically.

• Journal of the Korean Society of Systems Engineering
• /
• v.14 no.2
• /
• pp.33-40
• /
• 2018

This paper is based on the interim result of ongoing research and development project to develop a software system which support procurement activities, namely PeMSS (Procurement Engineering Management Support System). PeMSS is a system that enables development requirements for each equipment and help designing equipment meeting the purchase requirements. Procurement at EPC (Engineering Procurement and Construction) and operational stage of a plant is an important area that determines the integrity and profitability of the plant. Procurement of unsuitable equipment due to selection of suppliers that do not meet or omit critical requirements in purchase specification can result in enormous cost increase due to such as delay in EPC project, unsatisfactory performance and reduced plant operation time. In spite of the importance of the procurement engineering, there is a lack of support system for systematic preparation of purchase specification, so development of the procurement specification is basically relying on the experience of the engineers in charge. Accordingly, it is needed to develop the PeMSS to help procurement engineers develop procurement specification based on systems engineering approach. This paper introduces the design of the PeMSS.

• Journal of the military operations research society of Korea
• /
• v.33 no.1
• /
• pp.135-155
• /
• 2007

A performance specification states requirements in terms of the required results, such as performance, environment and interchangeability, but without stating the methods for achieving the required results, such as material and process. therefore the performance specification is applied to attain economic efficiency and high reliability by using the advanced commercial Technology for the weapon systems and The development of performance specification and conversion into performance specification have been activated in the advanced nations. The Ministry of National Defence of Korea has regulated the specification to make performance type in developing specification and prepared performance specification guide. but the result of the development of and conversion into performance specification is very unsatisfactory, To efficiently develop and convert into performance specification, this study gives the way of market research, the creation of the performance specification from development of weapon system and part localization, the process and method for conversion of detail specification into performance specification, the use of hybrid type of performance and detail specification.

• Journal of Information Technology Services
• /
• v.1 no.1
• /
• pp.141-148
• /
• 2002

As an optimun alternatives for the solution of recent software crisis, we have to develop component technologies so as to develop and propagate business components for various domains to industries. For the sake of development of business components, a conceptual architecture which defines a model for component assembly should be prescribed first, and a systematic specification method based on this model be defined, so we can build a system environments for making specifications and development of each component by the consistent scheme. In this study, we propose a domain architecture model for implementing the pUblic component bank as a project supported by the ministry of information and communication, discuss the conceptual model of specification for developing components of storing component bank, specification steps, specification approach for application of business domains and the development results of them.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.18 no.6
• /
• pp.771-778
• /
• 2015

In this paper, we have proposed a design method for standardization of weapon information exchange between a weapon control computer of guided missile system and a high echelon command and control system. Because the weapon control computer based on diverse combat platforms is operated with several kinds of a high echelon system, it is necessary to provide a standardized design method for weapon information exchange between mutual system. In fact, it is possible to standardize a interface design specification of weapon information message because weapon information message is closely related to standard tactical data link message. It is essential that the interface design specification of weapon information is submitted to that of tactical data link information. It seems that this interface design specification is very useful in development process of the future weapon system.

• Proceedings of the CALSEC Conference
• /
• 1999.11a
• /
• pp.85-92
• /
• 1999

The current R＆B system has a lot of problems caused by complexity of the system and lack of IDE concept among the related offices and organizations. IDE concept is building Integrated database with data which applied standards and digitalized. So R＆D CALS system should be established for the related offices and organizations can use data which created during R＆D life-cycle in IDE. In this paper, I suggested system requirements and system quality factors for building IDE based upon SSS form.

• International Journal of Quality Innovation
• /
• v.7 no.1
• /
• pp.35-47
• /
• 2006

Client-supplier collaboration has been an imperative approach to new product development (NPD), in which a good product specification management system and practice is crucial to the assurance of product quality. This study investigates product specification management in client-supplier collaborative NPD. Based on the interviews and survey study, 12 problems and 13 good practices of product specification management are identified. It also compares the importance and degree of the implementation of the product specification practices in Hong Kong electronics industry. The results suggest that more intensive practices should be implemented for better product specification management.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.3 no.1
• /
• pp.47-57
• /
• 2000

This paper contains the design specification and detail design for a seaborne towing winch system. We analyze operating condition of the system and decide the design specification for the towing winch system, and also perform a detail design for the subsystem such as hydraulic winch system, control equipment and power supplier at the full scale development. The performance of designed towing winch is established by load tests and sea trial tests.