• Journal of the Institute of Convergence Signal Processing
• /
• v.10 no.4
• /
• pp.274-279
• /
• 2009

The flow of a universal system-level design methodology consists of system specification, system-level hardware/software partitioning, co-design, co-verification using virtual or physical prototype, and system integration. In this paper, verification environments based-on SystemVerilog and SystemC, one is native-code co-verification environment which makes prompt functional verification possible and another is SystemVerilog layered testbench which makes clock-level verification possible, are implemented. In native-code co-verification, HW and SW parts of SoC are respectively designed with SystemVerilog and SystemC after HW/SW partitioning using SystemC, then the functional interaction between HW and SW parts is carried out as one simulation process. SystemVerilog layered testbench is a verification environment including corner case test of DUT through the randomly generated test-vector. We adopt SystemC to design a component of verification environment which has multiple inheritance, and we combine SystemC design unit with the SystemVerilog layered testbench using SystemVerilog DPI and ModelSim macro. As multiple inheritance is useful for creating class types that combine the properties of two or more class types, the design of verification environment adopting SystemC in this paper can increase the code reusability.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.45 no.4
• /
• pp.9-21
• /
• 2008

In this paper, we propose a GNSS-based RF receiver, A high precision localization architecture, and a high sensitivity localization architecture in order to solve the satellite navigation system's problem mentioned above. The GNSS-based RF receiver model should have the structure to simultaneously receive both the conventional GPS and navigation information data of future-usable Galileo. As a result, it is constructed as the multi-band which can receive at the same time Ll band (1575.42MHz) of GPS and El band (1575.42MHz), E5A band (1207.1MHz), and E4B band (1176.45MHz) of Galileo This high precision localization architecture proposes a delay lock loop with the structure of Early_early code, Early_late code, Prompt code, Late_early code, and Late_late code other than Early code, Prompt code, and Late code which a previous delay lock loop structure has. As we suggest the delay lock loop structure of 1/4chips spacing, we successfully deal with the synchronization problem with the C/A code derived from inaccuracy of the signal received from the satellite navigation system. The synchronization problem with the C/A code causes an acquisition delay time problem of the vehicle navigation system and leads to performance reduction of the receiver. In addition, as this high sensitivity localization architecture is designed as an asymmetry structure using 20 correlators, maximizes reception amplification factor, and minimizes noise, it improves a reception rate. Satellite navigation system repeatedly transmits the same C/A code 20 times. Consequently, we propose a structure which can use all of the same C/A code. Since this has an adaptive structure and can limit(offer) the number of the correlator according to the nearby environment, it can reduce unnecessary delay time of the system. With the use of this structure, we can lower the acquisition delay time and guarantee the continuity of tracking.

• The Transactions of the Korea Information Processing Society
• /
• v.1 no.3
• /
• pp.299-310
• /
• 1994

Re-engineering tools can substantially increase software maintenance productivity and the quality of maintenance work. Re-engineering usually involves changing the form(e.g.changining objects names and definitions, restructuring process logic) of a program. In this paper, we describe the design and implementation of InMaC＋＋ that is a software tool oriented towards maintenance of C＋＋ object oriented programs. With InMaC＋＋, programms can be displayed and edited in two forms : as the code and as the diagram InMaC＋＋ also contains transformations in both directions, i,e. from code to diagram and from diagram to skeletons of code. Hence, it is suitable for re-engineering and maintenance of existing code. Specially designed browsers implement the graphical interface. InMaC＋＋ contains a database that is based on a simple but effective data model of InMaC＋＋ programs. The model contains only four object classes and three relations, which makes the tool small, and easy to implement and use. A simple query language allows browsing through the database.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.33 no.3
• /
• pp.527-535
• /
• 2023

To develop experts capable of responding to cyber security incidents, numerous institutions have established cyber training facilities to cultivate security professionals equipped with effective defense strategies. However, these challenges such as limited resources, scenario-based content development, and cost constraints. To address these issues, this paper proposes a virtual infrastructure variation generation framework. It provides customized, diverse IT infrastructure environments for each organization, allowing cyber defense trainers to accumulate a wide range of experiences. By leveraging Infrastructure-as-Code (IaC) containers and employing Word2Vec, a natural language processing model, mutable code elements are extracted and trained, enabling the generation of new code and presenting novel container environments.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.5
• /
• pp.1559-1569
• /
• 2000

CHILL96 is recommended as development language for telecommunication systems by ITU-T. In this paper, we describe the design and implementation of CHILL96 compiler using C++ intermediate code. Translation rules from CHILL96 to C++ are designed for code generation. The CHILL96 compiler is composed of four parts such s syntax analyzer, visibility checker, semantic analyzer and code generator, and each part has very close relationship with symbol table and abstract syntax tree. Performance evaluation has been performed for feasibility study. After performance evaluation, we conclude the CHILL96 compiler using C++ intermediate sho good performance compared with other CHILL compilers. In addition to high performance and portability, the CHILL96 compiler using C++ intermediate code helps application developers to maintain and enhance telecommunications software by translating CHILL96 program to C++ program.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.32 no.3C
• /
• pp.195-204
• /
• 2007

The cyclic redundancy check(CRC) code used to decide retransmission request in hybrid automatic repeat request(HRAQ) system can also be used to stop iterative decoding of turbo code if it is used as an error correcting code(ECC) of HARQ system. Thus a scheme to use CRC code for both iteration stop and repeat request in the HARQ system with turbo code based on the standard of cdma 2000 system is proposed in this paper. At first, the optimum CRC code which has the minimum length without performance degradation due to undetected errors is found. And the most appropriate turbo encoder structure is also suggested. As results, it is shown that at least 32-bit CRC code should be used and a turbo code with 3 constituent encoders is considered to be the most appropriate one.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.04a
• /
• pp.918-921
• /
• 2010

본 연구에서는 Simulink Model(이하 Model)을 C Code 로 변환시켜주는 자동 코드 생성기, SimAutoCodeGenerator 를 제안하였다. Model 의 테스트케이스를 생성하기 위한 작업에서 반복적인 프로그램의 실행을 통한 테스터와의 다양한 피드백이 필요하다. 이때, Simulink는 이런 작업을 하는 데 있어서 적절한 정보를 제공하기 어려울 뿐만 아니라 테스트 케이스를 생성하는데 필요한, 실행 시 특정 시점으로 돌아가는 기능을 수행하기 위해서는 프로그램을 정지한 후 다시 실행해야하는 문제점을 가지고 있다. 본 연구에서는 이와같은 단점을 보완하기 위하여 Model 을 C 코드로 변환하였다. 생성된 C 코드는 Model 과의 일치성을 증명한 후 자동 테스트케이스 생성을 위한 프로그램에 쓰이게 될 것이다. 먼저 C 코드의 생성 메커니즘을 알아보고 생성된 C 코드와 Model 의 일치성을 증명하였다.

• Journal of the Korean Society of Fisheries and Ocean Technology
• /
• v.45 no.4
• /
• pp.201-210
• /
• 2009

Cast fishing gear needs some time for fishing progress, and catches and their composition by submerged time can change by several cause. Therefore, it is very importance to study fishing capacity of fishing gear by submerged time. This study is to investigate catches and their composition of shrimp trap, that is used in the coastal of the East Sea, and to find the fittest lifting time of trap. Experimental term are September 2006 and August 2007, the location is the coastal of Oho, Goseong, Gangwondo, Korea and one hundred trap is used at each casting and lifting of gear. For convenience of description, survey of 2006 and 2007 are dented as experimental code 1 and 2, and submerged time 21hr, 43hr and 66hr are dented as code A, B and C. The result of obtained from the above approach are summarized as follows: Many Northern shrimps(Pandalus eous), dominated 96.36%, are only catched in experimental code A, and in code B and C, some of coonstripe shrimp(Pandalus hypsinotus) and few morotoge shrimp(Pandalopsis japonica) are catched. CPUE of code 1A, 1B and 1C per trap were 21.67g, 29.51g and 28.48g, and those of code 2A, 2B and 2C per trap were 25.44g, 32.93g and 33.36g. Therefore, 24.66% of catch increased according as submerged time passes from 1 day to 2 days, and almost no change of catch was to be -1.1%. Carapace length of code 1A, 1B and 1C were 23.77mm, 25.00mm and 25.57mm, and those of code 2A, 2B and 2C per trap were 23.83mm, 24.95mm and 25.45mm. Thus, the more submerged time is, the less catch of small fish is and the more catch of large fish is. Consequently, fit lifting time of shrimp trap is after 2 days, and if considered trouble of fishing gear and condition of catch, the fittest lifting time is the third successive day of casting date.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.17 no.8
• /
• pp.133-139
• /
• 2016

In order to obtain a reasonable value for the thermal load to use in designs, a bridge specimen of a full-size steel box girder (bridge) was manufactured. The temperature data were measured at 21 points in the bridge specimen and 19 points in the steel box bridge. The steel box bridge specimen was installed in a similar direction to a nearby real one. The maximum effective temperatures in the bridge specimen and bridge were calculated for air temperatures in the range of $24^{\circ}C{\sim}38^{\circ}C$. The maximum effective temperature of the bridge specimen and bridge showed correlations of approximately 93.2% and 87.4%, respectively, compared with the Euro code. The maximum effective temperature calculated in this study was very close to the Euro code and the maximum temperature of the Highway Bridge Design Criteria. When the effective temperature obtained in the study is combined with the highest temperature calculated from the Contour map for each region, the design criteria for the thermal load in domestic bridge design, taking into consideration the characteristics of each region, can be established.

• Journal of Radiation Protection and Research
• /
• v.29 no.1
• /
• pp.41-48
• /
• 2004

A safety assessment code, called SAGE (Safety Assessment Groundwater Evaluation), has been developed to describe post-closure radionuclide releases and potential radiological doses for low- and intermediate-level radioactive waste (LILW) disposal in an engineered vault facility in Korea. The conceptual model implemented in the code is focused on the release of radionuclide from a gradually degrading engineered barrier system to an underlying unsaturated zone, thence to a saturated groundwater zone. The radionuclide transport equations are solved by spatially discretizing the disposal system into a series of compartments. Mass transfer between compartments is by diffusion/dispersion and advection. In all compartments, radionuclides ate decayed either as a single-member chain or as multi-member chains. The biosphere is represented as a set of steady-state, radionuclide-specific pathway dose conversion factors that are multiplied by the appropriate release rate from the far field for each pathway. The code has the capability to treat input parameters either deterministically or probabilistically. Parameter input is achieved through a user-friendly Graphical User Interface. An application is presented, which is compared against safety assessment results from the other computer codes, to benchmark the reliability of system-level conceptual modeling of the code.