• The KIPS Transactions:PartA
• /
• v.19A no.2
• /
• pp.101-112
• /
• 2012

In recently years, distributed real-time software has performed important roles in various areas. Real-time applications should be performed with satisfying strict constraints on response time. Usually real-time applications are developed on the real-time supporting middleware such as TMO(Time-triggered, Message-triggered Object), CORBA/RT, and RTAI. However, it is not easy to develop applications using them since these real-time middleware are unfamiliar to programmers. In this paper, we propose an automatic code generator for real-time application based on TMO in order to reduce development costs. For increasing or reflecting the characteristics of TMO into the design model, SpM and SvM methods are added into the class diagram, which have time constraints as their properties. And behaviors of them are represented as separated regions on state machine diagram in different abstract level. These diagrams are inputted into TMO-based code automatic generator, which generates details of the TMO class. Our approach has advantages for decreasing effort and time for making real time software by automatically generating TMO codes without detailed knowledge of TMO.

• Journal of the Institute of Convergence Signal Processing
• /
• v.8 no.2
• /
• pp.106-112
• /
• 2007

This paper proposes a hybrid architecture algorithm for fast computation of DCT and DFT via recursive factorization. Recursive factorization of DCT-II and DFT transform matrix leads to a similar architectural structure so that common architectural base may be used by simply adding a switching device. Linking between two transforms was derived based on matrix recursion formula. Hybrid acrchitectural design for DCT and DFT matrix decomposition were derived using the generation matrix and the trigonometric identities and relations. Data flow diagram for high-speed architecture of Cooley-Tukey type was drawn to accommodate DCT/DFT hybrid architecture. From this data flow diagram computational complexity is comparable to that of the fast DCT algorithms for moderate size of N. Further investigation is needed for multi-mode operation use of FFT architecture in other orthogonal transform computation.

• The KIPS Transactions:PartD
• /
• v.11D no.3
• /
• pp.649-658
• /
• 2004

An object-oriented system is organized by a set of interacting objects and the system behavior is represented by the cooperating interaction bet ween objects. The characteristics of object-oriented software. such as inheritance and polymorphism, increase the difficulty of the object-oriented software testing. At running time of a program, one call from a member function can bind to other member functions because of the dynamic characteristics such as concurrence, dynamic binding and interaction. Therefore, there need the research about considering the characteristics of object-oriented software and concurrently testing the interaction between objects. In this paper, we propose the techniques as follows. First, we construct a flattened state chart diagram by considering the inheritance and polymorphism. Next, we model the system with CPN(Colored Petri Net) that usually is applying the system modeling and simulation. Last, we propose a test case generation techniques for testing the interaction between objects in object-oriented software by applying a Design/CPN tool.

• Aerospace Engineering and Technology
• /
• v.1 no.1
• /
• pp.177-187
• /
• 2002

Some kinds of precision optical systems for spaceborne high resolution cameras were designed at preliminary design level and an optical design for a hyperspectral imager was performed for its development model. A Cassegrain-based catadioptric system and an unobscured reflective triplet system are illustrated in detail for spaceborne high resolution electro optical cameras which have performance of 5m resolution at an altitude of 685km and the design are evaluated in its spot-diagram and MTF to prove they have good performance enough to implement the requirements for realistic satellite payload taking the fabrication conditions and the on-orbit operation into consideration. For the development of hyperspectral imager as a next-generation payload, an optical system has been designed and elaborated. It can be divided into two parts, a catoptric telescope forming an off-axis 2 mirror type and a dispersive spectrometer which comprises collimator, grating and reimaging lens cell. From its optical design to the system characteristics are shown with the MTF performance reaching 25% approximately.

• Journal of the Korean Society of Systems Engineering
• /
• v.15 no.1
• /
• pp.1-8
• /
• 2019

Reverse engineering involves examining a system or component so as to comprehend its structure, functionality, and operation. Creation of a system model in reverse engineering can serve several purposes: test generation, change impact analysis, and the creation of a new or modified system. When attempting to reverse engineering a system, often the most readily accessible information is the system description, which does not readily lend itself to use in Model Based System Engineering (MBSE). Therefore, it is necessary to be able to transform this description into a diagram, which clearly depicts the behavior of the system as well as the interaction between components. This study demonstrates how sequence diagrams can be extracted from the systems description. Using MBSE software, the sequence diagrams for the Engineered Safety Features Component Control System (ESF-CCS) of the Nuclear Power Plant are created. Sequence diagrams are chosen because they are a means of representing the systems behavior and the interaction between components. In addition, from these diagrams, the system's functional requirements can be elicited. These diagrams then serve as the baseline of the reverse engineering process and multiple system views are subsequently be created from them, thus speeding up the development process. In addition, the use of MBSE ensures that any additional information obtained from auxiliary sources can then be input into the system model, ensuring data consistency.

• Journal of Aerospace System Engineering
• /
• v.18 no.3
• /
• pp.1-7
• /
• 2024

The utilization of Unmanned Aerial Vehicles (UAVs) is expanding in various industries such as logistics, manufacturing, and transportation. However, to operate a large number of UAVs, it is imperative to first plan a secure and efficient self-configuring communication network for UAVs. In this study, we proposed a method for planning a secure and efficient UAV self-configuring communication network using Voronoi diagrams in the following three steps: 1) generating Voronoi diagrams using obstacles, 2) selecting obstacles to consider for path generation, and 3) planning the optimal path and outputting the path. The real-time feasibility of using the proposed method for planning optimal communication paths for a realistic number of UAVs was experimentally validated.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.15 no.7
• /
• pp.4536-4544
• /
• 2014

This paper proposes a development tool to efficiently develop node software for various operating system platforms in a sensor network. The proposed tool consisted of several modules, such as writing graphical model diagram, PIM and PSM design, code generation, and deployment file generation. Through the proposed tool, the users can graphically draw a sensor network model and design the PIM and PSM of the node software by setting the values of the predefined attributes. The source code of the node software is generated automatically from the PSM using the code templates of the target platform. The deployment files for installing node software on each node are generated automatically. The proposed tool helps the users to develop node software easily for a range of target platforms, even though they do not have details of the low-level information for a sensor network.

• Journal of Sericultural and Entomological Science
• /
• v.17 no.1
• /
• pp.47-53
• /
• 1975

This experiment was carried out to obtain a marked larvae in sex-limited inheritance, using F$_1$ hybrid Bo ok X Chun san introduced from Japan. Sequence of backcrossing has been done through the earlier generation with a recessive character of plain marked larvae. 1. It is noted that genotypic segregation of sex-limited larval marking was observed in F$_4$ generation; female possesses larval marking and male shows a plain marking. 2. Larval marking heredity follows a diagram of segregation with an expected genotype such as ♀ ： (W$.$＋p)/Z$.$P/P and ♂ ： Z/Z$.$P/P. 3. It is observed that dissociation was occurred to produce female with a genotype of W/Z$.$P/P in segregation ana selection. 4. Abnormal ratio of sexuality is observed in the course of segregation and segregation and analysis of it is continuously under way. 5, It is observed that the difference of qualitative characteristics between female and male obtained from the original variety shows the same tendency as the normal marked variety.

• Journal of Internet Computing and Services
• /
• v.12 no.6
• /
• pp.161-170
• /
• 2011

Despite some practical confusion over the variations in the diagram which may be drawn differently depending upon the CASE, the statechart of UML has been widely used to show the dynamic behaviour of the systems. Prior research has employed either simple switch-case statement or the state design pattern to generate source code from the statechart, which may result in varying source codes. This paper made an attempt to formally define the statechart and generate source codes from it. Firstly we cleaned up the XMI which was generated from different CASEs. This XMI has been translated to the EHA to identify automata contained in it. Then the elements of the statechart metamodel were mapped to the java programs. We also verified the quality of source codes by measuring functionality and maintainability. The case employed in this study was the air conditioner. The reason was that the case includes various states and transitions of interest. It was found that XMI was well extracted by removing some legacy codes in the CASE and the source codes were then successfully generated with the concurrency and hierarchy of the statechart. Further research is required to validate it practical significance with a larger case.

• Journal of the Society of Naval Architects of Korea
• /
• v.56 no.5
• /
• pp.457-463
• /
• 2019

Damage control is a very important preliminary and primary activity to improve the survivability of naval ships by preventing spread of damage, and various types of onboard damage control training are conducted regularly on naval ships. The scenarios for these trainings should be well organized to improve the training efficiency. However, at present, it takes much time and effort to generate the training scenarios and there is a problem that the procedures and contents of the scenarios vary widely depending on the persons who generate, without the established methods and standards. In this paper, an efficient generation method of damage control onboard training scenarios has been established, especially for flood and fire o n naval ships. Also a computer program has been developed based on the established method. The results showed that this method and computer program reduce the time and effort to generate these scenarios, and it is hoped that the method be used as a ROK Navy Standard.