• Journal of KIISE:Computer Systems and Theory
• /
• v.35 no.9_10
• /
• pp.485-496
• /
• 2008

As the complexity of SoC (System-on-Chip) design increases dramatically. traditional system performance analysis and verification methods based on RTL (Register Transfer Level) are no more valid for increasing time-to-market pressure. Therefore a new design methodology is desperately required for system verification in early design stages. and hardware software (HW-SW) cosimulation at TLM (Transaction Level Modeling) level has been researched widely for solving this problem. However, most of HW-SW cosimulators support few restricted ion levels only, which makes it difficult to integrate HW-SW cosimulators with different ion levels. To overcome this difficulty, this paper proposes a multipurpose framework for HW SW cosimulation to provide systematic SoC design flow starting from software application design. It supports various design techniques flexibly for each design step, and various HW-SW cosimulators. Since a platform design is possible independently of ion levels and description languages, it allows us to generate simulation models with various ion levels. We verified the proposed framework to model a commercial SoC platform based on an ARM9 processor. It was also proved that this framework could be used for the performance optimization of an MJPEG example up to 44% successfully.

• Journal of Digital Convergence
• /
• v.13 no.12
• /
• pp.319-324
• /
• 2015

This paper proposes an integrated management system for products of game software development. Those products generated over software life-cycle are generally huge in numbers, various in kinds and interconnected in relationships among them. Especially they are highly complex and tightly coupled each other because they are used to build another world which is composed of multi-modal data such as graphics, sound, logics and so on. Therefore it is critical to manage development products in an integrated manner to guarantee the quality of software. The proposed system is designed to provide project/requirement/configuration/traceability management capabilities and interfacing to CASE standards. To achieve the objective, it is based on data warehouse technologies which provide central repositories of heterogeneous data, multi-aspect reporting&analysis capabilities, traceability, verification, etc.

• Journal of Satellite, Information and Communications
• /
• v.6 no.1
• /
• pp.50-56
• /
• 2011

During the development of flight software, the processor emulator and satellite simulator are essential tools for software development and verification. SWT/KARI developed the software-based spacecraft simulator based on TSIM-ERC32 processor emulator from Aeroflex Gaisler. But when developing flight software using TSIM-ERC32, there are much limitation for understanding of exact behavior of ERC32 processor, and it is impossible to change or modify the emulator core to develop the satellite simulator. To reslove this problem, this paper presents the development of new cycle-true ERC32 emulator as laysim-erc32 and describes the software development and debugging method on VxWorks/RTEMS RTOS.

• The KIPS Transactions:PartC
• /
• v.18C no.2
• /
• pp.103-110
• /
• 2011

Although a mobile Internet telephony service becomes popular with the rapid propagation of smart phones, its service quality management system has not been prepared enough yet. For successful settlement and deployment of the mobile Internet telephony service in future, a strict service quality management is required. The service quality management using a specific measurement equipment has limitations that real-time monitoring is impossible. In this paper, therefore, we propose a proactive service quality management system for the mobile Internet telephony service and develop a software for its implementation. The developed software is verified by comparing the measurement results from the developed software to those from the softwares commonly used, and it is proved that the developed software is quite reliable.

• Asian Journal of Atmospheric Environment
• /
• v.11 no.4
• /
• pp.330-343
• /
• 2017

Climate change is an important issue, with many researches examining not only future climatic conditions, but also the interaction of climate and air quality. In this study, a new version of the emissions processing software tool - Python-based PRocessing Operator for Climate and Emission Scenarios (PROCES) - was developed to support climate and atmospheric chemistry modeling studies. PROCES was designed to cover global and regional scale modeling domains, which correspond to GEOS-Chem and CMAQ/CAMx models, respectively. This tool comprises of one main system and two units of external software. One of the external software units for this processing system was developed using the GIS commercial program, which was used to create spatial allocation profiles as an auxiliary database. The SMOKE-Asia emissions modeling system was linked to the main system as an external software, to create model-ready emissions for regional scale air quality modeling. The main system was coded in Python version 2.7, which includes several functions allowing general emissions processing steps, such as emissions interpolation, spatial allocation and chemical speciation, to create model-ready emissions and auxiliary inputs of SMOKE-Asia, as well as user-friendly functions related to emissions analysis, such as verification and visualization. Due to its flexible software architecture, PROCES can be applied to any pregridded emission data, as well as regional inventories. The application results of our new tool for global and regional (East Asia) scale modeling domain under RCP scenario for the years 1995-2006, 2015-2025, and 2040-2055 was quantitatively in good agreement with the reference data of RCPs.

• Aerospace Engineering and Technology
• /
• v.10 no.2
• /
• pp.105-113
• /
• 2011

During the development of flight software, the processor emulator and satellite simulator are essential tools for software development and verification, which can be substituted for the actual hardware. LEO satellites being developed by KARI recently use the MCM-ERC32SC processor for on-board computer (OBC). For the flight software (FSW) development and testing, the software-based spacecraft simulator was developed using TSIM-ERC32 processor emulator from Aeroflex Gaisler. It is needed to get rid of the constraints and dependencies of TSIM-ERC32 processor emulator and to obtain high performance processor emulator to develop full satellite simulator. This paper presents the development of the ERC32 emulator based on open source dynamic translator, QEMU, as the first step. And it describes the software development and testing/debugging on the developed emulator.

• The Journal of Korean Association of Computer Education
• /
• v.21 no.6
• /
• pp.15-26
• /
• 2018

This study aims to examine whether software education has effects on improving creative competency. To this end, the study designed software education lessons to strengthen creative competency for 15 weeks and developed assessment tools. Based on the designed lessons, the 15-week lessons were provided for university students, including a pre-test in the first week and a post-test in the 15th week. The result showed that there was a significant difference in the effects of the lessons, with the mean value of creative competency 0.31 point higher and p-value of 0.002 in the post-test than in the pre-test. The sub-factors of creative competency, including flexibility, originality, openness, and creative implementing skills showed significant differences with p-value all lower than 0.05.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.47 no.4
• /
• pp.289-299
• /
• 2019

Attitude control modeling and simulation (M&S) can be extensively applied in overall development process, from simple algorithm design to on-board software verification. This paper introduces CMG-based attitude control M&S software, which consists of 6-DOF modeling (CMG and space environments modeling), and attitude control algorithm. The M&S software is divided into three modules, from an inner CMG motor control module to an outer earth observation mission module. While an application of this developed software is currently limited to the initial-phase attitude controller development, its application area can be extended to the later-phases by considering sophisticated model information in future.

• Journal of Internet Computing and Services
• /
• v.17 no.2
• /
• pp.39-47
• /
• 2016

In software R&D artifacts including documents and program code are produced. There are two kinds of software R&D artifacts: Research artifacts and development artifacts. Research artifacts include software R&D planning document, annual report, final report, research note and so on. Software development artifacts include software requirements, software design description, testing plan, test report, and program code. It is important to verify the documents and to test code to check the direction of the R&D. Moreover, we should check relationships as such completeness and consistency between research and development artifacts. The verification and testing help project manager and researchers understand what they do during software projects. Therefore, in this study, we present a process to verify documents and program in software R & D. In the process we check documents produced in software R&D and test program code. We describe the process by using Essence elements including alpha, activity, and competency. We present a case study to show the effectiveness of the process.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.22 no.2
• /
• pp.85-91
• /
• 2021

The DAPA (Defense Acquisition Program Administration) has been operating the DQ mark certification since 2012 to certify the superior technology and quality of munitions. On the other hand, the current DQ mark certification can not directly provide DQ mark certification to software because it is impossible to verify the quality of software alone. Therefore, this study analyzed domestic/overseas software quality evaluation/certification standards to find a way to verify the quality of software in the DQ mark certification. Among them, the method of applying the GS certification according to the international standard ISO/IEC 25000 series to the DQ mark certification was suggested as an improvement plan, and DQ mark certification verified the quality of software and provided certification. An attempt was made to expand the certification scope of DQ mark certification. This paper proposes that the DQ mark can be given to the system software by introducing GS certification to the DQ mark certification. To this end, an improved procedure for omitting the factory audit and verification by submitting a GS certificate for product evaluation is proposed. This is expected to increase defense exports using the granted DQ mark and improve the quality of defense software products through GS certification.