• The Journal of Information Technology and Database
• /
• v.5 no.1
• /
• pp.51-67
• /
• 1998

There exist a number of information systems planning(ISP) methodologies. As the level of market competition gets intensified, firms are more likely to engage in organizational transformations such as BPR and CPI(continuous process improvement). Because this new requirement should be incorporated into ISP methodology, the number of ISP methodologies available will be continually increasing. However, we could not find a framework for understanding and classifying these divergent methodologies. So, we here present a framework for classifying ISP methodology classes. With this framework, we categorize different classes of ISP methodologies and identify their limitations in terms of missing elements and links. And we move on to present new technical innovations and other methodological advances that, if properly integrated with ISP methodologies, would help us derive an IT infrastructure plan more effectively. Furthermore, in search of software tools or aids supporting the application of ISP methodologies, we identify requirements of ISP-supporting software tools and evaluate functions of existing software tools, then suggesting a future direction to that end.

• KIPS Transactions on Software and Data Engineering
• /
• v.1 no.2
• /
• pp.81-90
• /
• 2012

Open Source Softwares(OSS) are increasingly deployed in several domains, many educational organization have tried to deploy the OSS LMS(Learning Management System). For deploying OSS LMS, customization for specific environment is critical requirement. In this paper, we implemented the supporting environment to integrate the Moodle and school information system for user and course management. It is the most important customization requirement for introducing the Moodle to school. Also, we implemented supporting environment for the most important requirement so that we verified the usability of our guideline. We applied our environment to verify the efficiency of customization process.

• 시스템엔지니어링워크숍
• /
• s.6
• /
• pp.76-80
• /
• 2005

• Korean Journal of Computational Design and Engineering
• /
• v.9 no.4
• /
• pp.387-396
• /
• 2004

In order to keep and increase a competitive potential, industrial enterprises have to reduce their costs for product development as well as shorten lead time in product development processes. Moreover they have to respond to market factors and conditions such as increasing demands for functionality and individuality of products, short product life cycles, high pressure on prices and time to market. The improved functional requirement in connection with high time and cost pressure lead to high risk in product development. Technological fine improvements in connection with high time and cost pressure lead to high development risk. To cope with these challenges many enterprises have to collaborate globally. The collaborative engineering in product development is aimed to create distributed collaborative corporations and to facilitate the management of design conflicts. This paper provides a methodology for analyzing collaborative design process as well as the tools and the framework to support collaborative product development. The methodology can identify the interdependences among design tasks and teams. The tools and framework are implemented to facilitate the management of product development process.

• Review of KIISC
• /
• v.26 no.6
• /
• pp.42-50
• /
• 2016

Critical infrastructure (CI) such as the electrical grid, transportation systems and water resource systems are controlled by Industrial Control and SCADA (Supervisory Control and Data Acquisition) networks. During the last few years, cyber attackers have increasingly targeted such CI systems. This is of great concern because successful attacks have wide ranging impact and can cause widespread destruction and loss of life. As a result, there is a critical requirement to develop enhanced algorithms and tools to detect cyber threats for SCADA networks. Such tools have key differences with the tools utilized to detect cyber threats in regular IT networks. This paper discusses key factors which differentiate network security for SCADA networks versus regular IT networks. The paper also presents various approaches used for SCADA security and some of the advancements in the area.

• Aerospace Engineering and Technology
• /
• v.3 no.2
• /
• pp.238-247
• /
• 2004

Realtime Simulation and HILS are essential tools for modern aircraft control system design and development. But developing the HILS has been a big and complex task to meet the realtime simulation requirement. So these days there have been efforts to minimize these task. New advanced concept and design tools are being developed. In this paper, these new advanced concept and design tools were used to develop the realtime simulation and HILS environment for rotorcraft. The H/W 문 S/W requirement and system configuration for the developing system will be described on the paper.

• Journal of Communications and Networks
• /
• v.18 no.5
• /
• pp.744-761
• /
• 2016

For about the past decade and a half research efforts into cognitive radio networks (CRNs) have increased dramatically. This is because CRN is recognized as a technology that has the potential to squeeze the most out of the existing spectrum and hence virtually increase the effective capacity of a wireless communication system. The resulting increased capacity is still a limited resource and its optimal allocation is a critical requirement in order to realize its full benefits. Allocating these additional resources to the secondary users (SUs) in a CRN is an extremely challenging task and integer programming based optimization tools have to be employed to achieve the goals which include, among several aspects, increasing SUs throughput without interfering with the activities of primary users. The theory of the optimization tools that can be used for resource allocations (RA) in CRN have been well established in the literature; convex programming is one of them, in fact the major one. However when it comes to application and implementation, it is noticed that the practical problems do not fit exactly into the format of well established tools and researchers have to apply approximations of different forms to assist in the process. In this survey paper, the optimization tools that have been applied to RA in CRNs are reviewed. In some instances the limitations of techniques used are pointed out and creative tools developed by researchers to solve the problems are identified. Some ideas of tools to be considered by researchers are suggested, and direction for future research in this area in order to improve on the existing tools are presented.

• Proceedings of the KSR Conference
• /
• 2007.05a
• /
• pp.1000-1007
• /
• 2007

Recently, many critical control systems are developed using formal methods. When software applied to such systems is developed, the employment of formal methods in the software requirements specification and verification will provide increased assurance for such applications. Earlier error of overlooked requirement specification can be detected using formal specification method. Also the testing and full verification to examine all reachable states using model checking to undertake formal verification are able to be completed. In the comparison of other formal specification methods, we choose the Z formal language for applying to the train control system. Using Z is able to realize higher correctness in the requirement specification, and we propose the Statemate of the best solution in formal verification tools for the system modeling and verification. The Statemate makes it possible to prove thoroughly the system execution from the simple graphical modeling of the complicated train control system. Then we can expect that the model-based formal method combining Z with Statemate will be utilized widely for the railway systems due to various strong points.

• Proceedings of the KSR Conference
• /
• 2009.05a
• /
• pp.2005-2009
• /
• 2009

Urban transit consists of signaling system, railway systems, power facilities systems, information and communication system and the other complicated facilities. There are many new technologies to analysis the requirement of for information and communication system. The more system is complicate, the more system design error occur frequently in development of information and communication system. Now, we need to reduce the error by analysis the behavior of the requirements of it. Thus in this paper, we suggest the way to analysis the behavior of the requirements by using the computer aided design tools.

• Journal of Electrical Engineering and Technology
• /
• v.4 no.1
• /
• pp.87-92
• /
• 2009

Many critical control systems are developed using formal methods. When software applied to such systems is developed, the employment of formal methods in the software requirements specification and verification will provide increased assurance for such applications. Earlier errors of overlooked requirement specification can be detected using the formal specification method. Also, the testing and full verification to examine all reachable states using model checking to undertake formal verification are able to be completed. In this paper, we proposed an eclectic approach to incorporate Z(Zed) formal language and 'Statemate MAGNUM', formal method tools using Statechart. Also we applied the proposed method to train control systems for the formal requirement specification and analyzed the specification results.