• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06b
• /
• pp.200-203
• /
• 2011

다수의 모듈로 구성된 반응형 시스템을 개발하기 위해 외부의 입력 및 모듈간의 상호작용을 분석하는 것은 중요하고 어려운 문제이며, 반응형 시스템이 요구 사항을 올바르게 만족하는지를 확인하기 위해서는 많은 시간과 비용이 소모가 된다. 본 논문에서는 요구 사항을 LSC(Live Sequence Chart)를 이용해 시나리오 기반 명세 모델을 만들고 Synthesis를 통해 요구 사항을 모두 올바르게 만족하는 시스템 모델을 자동으로 생성한다. 궁극적으로 올바른 시스템 모델로부터 의미적으로 동일한 코드로 변환하는 과정을 보이는 것으로 시나리오 기반 명세 모델로부터 반응형 시스템을 개발하는 방법을 제안한다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.25 no.9A
• /
• pp.1377-1386
• /
• 2000

As all delays resulting from the signaling network directly affect the response time of network management activity, all control informations have to be transported most efficiently. It is very important to know the performance of the signaling system not only because of smooth network operation but also because of efficient engineering of signaling networks. In this paper, we analyzed mean queueing delay of signaling link for ISUP signaling messages in common channel signaling system by using M[X]/G/1 and M[X]/D/1 batch arrival queueing system. This is because we modeled arrival process of the signaling messages as batch arrival process considering that many kinds of signaling messages are generated at short intervals when a call requests a connection. Analysis was carried out considering different call processing scenario based on ITU-T specification. We also described the numerical results from the different types of queueing models.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.41 no.11
• /
• pp.1639-1644
• /
• 2016

In this paper, we consider the performance improvement that can be obtained with interference alignment (IA) technique applied to 802.11ac based multi-BSS WiFi service. To this end, we developed a system simulator consisting of a link-level PHY simulator, based on 802.11ac specification, and multi-BSS proportional-fair scheduler. Specifically, assuming perfect channel side information and synchronization of signals from multiple APs, we used a SLNR based interference alignment algorithm proposed in [13] and compared its performance with that of multiuser beamforming based time-sharing system. The performance was evaluated in terms of average throughput per BSS and 5% worst user throughput. The results show that 70 to 100% throughput gain can be obtained in this ideal scenario.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.23 no.12
• /
• pp.1700-1709
• /
• 2019

Recently, many researches have been under way to develop systems (services) to support the safety navigation of ships, and in these studies, common difficulties have been encountered in assessing the usefulness and effectiveness of the developed system. To solve these problems, we propose the DEVS-based ship navigation modeling and simulation technique. Following the preceding study, we analyze the COLREG rules and reflected to officer and helmsman agent models for decision making. Also we propose estimation and interpolation techniques to adopt the motion characteristics of the actual vessel to simulation. In addition, we implement the navigation simulation system to reflect the designed proposed methods, and we present five-scenarios to verify the developed simulation system. And we conduct simulations according to each scenario and the results were reconstructed. The simulation results confirm that the components modelled in each scenario enable to operate according to the navigation relationships.

• Journal of IKEEE
• /
• v.19 no.2
• /
• pp.186-192
• /
• 2015

This paper proposes an automatic generation technology of test case based on API in source code for software's quality improvement. The proposed technology is comprised of four processes which are analyzing source code by using the Doxygen open source tool, defining API specification by using analyzed results, creating test design, generating a test case by adapting Pairwise test technology. Analyzing source code by using the Doxygen open source tool is the phase in which API information in source code such as the API name, input parameter and return parameter are extracted. Defined API specification by using analyzed results is the phase where API informations, which is needed to generate test case, are defined as a form of database by SQLite database on the basis of extracted API information. Creating test design is the phase in which the scenario is designed in order to be composed as database by defining threshold of input and return parameters and setting limitations based on the defined API. Generating a test case by adapting Pairwise test technique is the phase where real test cases are created and changed into database by adapting Pairwise technique on the base of test design information. To evaluate the efficiency of proposed technology, the research was conducted by begin compared to specification based test case creation. The result shows wider test coverage which means the more cases were created in the similar duration of time. The reduction of manpower and time for developing products is expected by changing the process of quality improving in software developing from man-powered handwork system into automatic test case generation based on API of source code.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.14 no.5
• /
• pp.2186-2203
• /
• 2020

Security administrators of companies and organizations need to come up with proper countermeasures against cyber-attacks considering infrastructures and security policies in their possession. In order to develop and verify such countermeasures, the administrators should be able to reenact both cyber-attacks and defenses. Simulations can be useful for the reenactment by overcoming its limitations including high risk and cost. If the administrators are able to design various scenarios of cyber-attacks and to develop simulation models from their viewpoints, they can simulate desired situations and observe the results more easily. It is challenging to simulate cyber-security issues, because there is lack of theoretical basis for modeling a wide range of the security field as well as pre-defined basic components used to model cyber-attacks. In this paper, we propose a modeling method for cyber-security simulations by developing a basic component and a composite model, called Abstracted Cyber-Security Unit Model (ACSUM) and Abstracted Cyber-security SIMulation model (ACSIM), respectively. The proposed models are based on DEVS(Discrete Event systems Specification) formalism, a modeling theory for discrete event simulations. We develop attack scenarios by sequencing attack behaviors using ACSUMs and then model ACSIMs by combining and abstracting the ACSUMs from a security perspective. The concepts of ACSUM and ACSIM enable the security administrators to simulate numerous cyber-security issues from their viewpoints. As a case study, we model a worm scenario using ACSUM and simulate three types of simulation models based on ACSIM from a different security perspective.

• Journal of Climate Change Research
• /
• v.5 no.4
• /
• pp.301-311
• /
• 2014

In this study, we estimated the amount of fuel used fishing boats of individual based on the results of survey of the activity data such as operations and activities specification of fishing boats in Korea. Based on the classification system of the domestic fishing boat, and to estimate average fuel consumption and the greenhouse gas emissions, showed emission factors per fishing boat. This was suggested to be able to apply the registration data area in the future, and estimates the emissions of greenhouse gases. Based on these results, it tries to provide the basic data that can be used when you want to create a local government measures to reduce scenario in the future.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.9 no.10
• /
• pp.4002-4014
• /
• 2015

ITU-R M.1842-1, as a well-known specification dedicated to maritime mobile applications, has standardized wireless transmission protocols according to the particular characteristics of a maritime communications scenario. A time division multiple access (TDMA) frame structure, along with modulation schemes to achieve a high data rate, has been described clearly in ITU-R M.1842-1. However, several specification items are still under "to be decided" status, which brings ambiguity to research works. In addition, the current version of ITU-R M.1842-1 is focused mainly on maritime transmissions in open-sea areas, where the cyclic prefix (CP) is set to zero and only 16-QAM is used in the multi-carrier (MC) system. System performance might be dramatically degraded in coastline areas due to the inter-symbol interference (ISI) caused by selective fading. This is because there is a higher probability that the signal will be reflected by obstacles in coastline areas. In this paper, we introduce the transmission resource block (TRB) dedicated to ITU-R M.1842-1 for a ship ad-hoc network (SANET), where the pilot pattern of TRB is based on the terrestrial trunked radio (TETRA). After that, we evaluated SANET performance under the maritime channel model in a coastline area. In order to avoid noise amplification and to overcome the ISI caused by selective fading, several strategies are suggested and compared in the channel estimation and equalization procedures, where the link-level simulation results finally validate our proposals.

• Journal of the Korea Society for Simulation
• /
• v.33 no.3
• /
• pp.51-63
• /
• 2024

This study aims to develop a simulator for modeling engagements between fighters and missiles in Beyond Visual Range (BVR) air combat scenarios using DEVS (Discrete Event System specification) formalism. The simulator is modeled to implement sustained formation strategies in 1-versus-many situations, and we applied the model to real scenario two case studies. The two case studies assume a virtual missile neutralization equipment. The first case study analyzes the effectiveness of the missile neutralization equipment based on formations. The second case study analyzes the effectiveness of the missile neutralization equipment in relation to the evasion maneuvering tactic of the formation leader fighter. Through these studies, it is demonstrated that the model can realistically simulate scenarios and be beneficial the development of evasion strategies and tactics.

• Journal of Korean Institute of Industrial Engineers
• /
• v.28 no.3
• /
• pp.302-318
• /
• 2002

As facing the challenges from many competitors, the Office of Korea Postal Service has issued the fundamental plan of business renovation which includes the master plan of the information systems. In this paper we discuss the design of a to-be information system for postal service, which will be provided for the completion of the master plan. After briefly discussing the issues on developing information system and the current situation, we provide the design concept and the framework of the to-be system based on the bench marking and gap analysis with advanced systems. The to-be system consists of eight subsystems which can be grouped into three categories; intelligent systems, operational systems, and platforms. We develop detailed specification of each subsystem and provide an operational scenario. We also explain how the to-be system compatibly fits into an integrated information system, which will include the postal, banking, and management functions, to perform its ultimate role for the efficient postal service.