• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.28 no.3
• /
• pp.605-615
• /
• 2018

Due to the rapid growth of the Internet of Things market, the use of the C/C++ language, which is the most widely used language in embedded systems, is also increasing. To improve the quality of code in the C/C++ language and reduce development costs, it is better to use static analysis, a software verification technique that can be performed in the first half of the software development life cycle. Many programs use static analysis to verify software safety and many static analysis tools are being used and studied. In this paper, we use Clang static analysis tool to check security weakness detection performance of verified test code. In addition, we compared the static analysis results of the test codes applied with the source obfuscation techniques, layout obfuscation, data obfuscation, and control flow obfuscation techniques, and the static analysis results of the original test codes, Analyze the detection ability impact of the Clang static analysis tool.

• Journal of the Korea Society of Computer and Information
• /
• v.19 no.4
• /
• pp.35-41
• /
• 2014

In this paper, we proposed the implementation of software-based 2D BitBLT engine on the pSOS operating system and the operation of the BitBLT engine on patient monitoring device was verified. To verify the proposed method on the patient monitoring device, we designed prototype PCB board, and verified the operation. We designed the motherboard by using ARM9-based CPU. Because hardware-based BitBLT module was replaced with software-based one, CPU load problem was weighted. To solve this problem, w changed 400Mhz processor instead of 200Mhz processor. We implemented 2D BitBLT kernel module as a device driver which is one of the key elements of a graphics controller GUI in patient monitoring device.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.39 no.7
• /
• pp.46-56
• /
• 2002

In this paper, we describe a hardware-software co-verification methodology and environment in developing a mobile station modem chip for cdma2000 1x which is one of the 3rd generation mobile communication standards. By constructing an efficient co-verification environment for a register-transfer-level hardware model and a physical-layer software model combining a channel link simulator and a versatile test-bench, we can drastically reduce both time and cost for developing a complex three-million-gate class system integrated circuit.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.21 no.10
• /
• pp.1999-2007
• /
• 2017

In this paper, we implement a multi-band network selection (MNS) system based on Linux operating system which determines the optimal communication link for given network conditions among the available LTE, very high frequency (VHF), and high frequency (HF). The implemented software consists of a network interface, an MNS server, and a user GUI. We perform indoor test to verify the function of the implemented MNS system using two sets of MNS system. To this end, two types of VHF communication links that follow ITU-R M.1842-1 Annex 1 and Annex 4 are emulated in software. In addition, the HF transmission (reception) port of one MNS is directly connected to the HF reception (transmission) port of another MNS. We demonstrate through indoor tests that the implemented MNS system can support seamless maritime communication service in spite of artificial disconnection or re-connection of LTE, VHFs, and HF. The implemented MNS system is applicable to various maritime communication services including e-navigation.

• Journal of KIISE:Software and Applications
• /
• v.34 no.5
• /
• pp.419-430
• /
• 2007

It is very important to track whether software is properly developed according to requirements. This study suggests a method to track requirements by using a tracking table. In this study, the tracking table indicates why such requirements are included by detailing the content of requests for proposals and proposals. The table also facilitates verification of the consistency between outputs and the integrity by having ID codes of each requirement mapped to each output. Furthermore, as this study was conducted, it was found that some factors were required to be added or supplemented to the outputs at the requirement gathering stage of MaRMI-Ⅲ v.4.0 methodology. Thus, this study seeks to present this additional result along with the enhanced tracking table. By verifying outputs, the tracking table presented in this study will help to reduce all kinds of risks and problems that may occur in software development due to the lack of management of requirements. In addition, the output of the requirement-gathering stage of MaRMI-Ⅲ v.4.0 methodology will be improved/supplemented according to the creation of tracking tables; this will increment the applicability of the MaRMI-III methodology.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.9
• /
• pp.2403-2413
• /
• 1999

There is a strong need to develop a software cost estimation model on economic value perspective. The objective of this research is to improve current software cost estimation method on economic value perspective. We reviewed domestic and foreign researches and practices on software cost estimation with function point method, and derived promising alternative models. Pilot simulation was performed with real project data, and the probable best model was chosen. We collected data from 39 Korean companies, and assesed statistical significance of the model with those data. Empirical data shows that more practical model has better prediction accuracy. That is, the number of input and output modules, the number of tables, and the number of algorithms are chosen to be best set of functions. There exists strong correlation between the calculated function points and project effort. And, the revised set of technical complexity factors and evaluation guidelines show practical usefulness. We suggest that the above result be incorporated in a new improved guideline for software cost estimation. By adopting the results of this research to the guideline, we expect that technology innovation will be expedited, and that overall productivity of software industry will be increased.

• Journal of Platform Technology
• /
• v.8 no.4
• /
• pp.47-58
• /
• 2020

DO-330 Software Tool Qualification Considerations is a guideline for development of tools used to develop/verify software and hardware installed on aircraft. And among several processes, the verification process is very crucial as it occupies a large proportion for DO-330. Especially, in order to qualify tool with high safety level, test objectives must be performed with independence, accordingly, more time, cost, and manpower are required than other objectives. In addition, even if the test cases or test procedures are well defined, the higher the complexity of the test the higher probability of human error occurs. In this paper, we propose Script-based Test Automation Agent software structure for efficient DO-330 verification process of A661UAGEN tool developed by Hanwha Systems. Compared to the test performed manually by the test engineer, testing time of the Script-based Test Automation Agent is reduced by 87.5% and testing productivity is increased by 43.75%.

• Journal of Aerospace System Engineering
• /
• v.15 no.1
• /
• pp.19-31
• /
• 2021

Recently, the development of UAV application system using augmented reality (AR) has received much attention. In general, the design and implementation of UAV application system are verified with SILS techniques before actual flight experiments. However, existing SILS environment cannot be used to verify the application system based on AR and UAV because it does not include key features related to AR. To overcome this problem, we proposed an SILS platform that could be effectively used for the development of application systems based on AR and UAV. Simulation results on accuracy, efficiency, and scalability show that the proposed platform could be effectively utilized for the development of AR and UAV based-application systems.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.17 no.4
• /
• pp.74-84
• /
• 2016

Open Source Software (OSS) is a new paradigm for software development. The system is based on the notion of giving software (including sources) away for free, and making money on services, customizing and maintenance. For these reasons, many software companies have considered adopting and using OSS in Software R&D. A variety of factors may influence the use of decision making of OSS. The objective of this study was to explore the significant factors affecting the use decision of OSS and the job performance of OSS usage in software R&D. A research model was suggested based on the TOE Framework and Information Systems Success Model. These findings show that technical benefits of OSS have significant effects on OSS use. The technical benefits of OSS, and organization context, in turn, have significant effects on the use of OSS. On the other hand, the technical risks of OSS and the environment context have no effects on OSS use. In addition, OSS use and user satisfaction have significant effects on the individual job performance. This research contributes towards advancing the theoretical understanding of the OSS Benefits and Performance in Software Development.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.20 no.9
• /
• pp.1710-1716
• /
• 2016

In general, software upgrade technique is needed to add new features or fix bug of software on a network devices. However, the problem is that the software must be upgraded after the termination of networking service to replace new package. An ISSU(In-Service Software Upgrade) technique is used to solve such the problem. ISSU is a technology to upgrade the software without interrupting the network service or an offline network equipment. In this paper, to provide a seamless networking service, we design and implement an architecture to apply ISSU technique to a network operating system. In this paper, we use high-availability feature in N2OS which has been developed by ETRI. In addition, in order to verify that the implemented ISSU function is operation properly, we proceed to test using a test environment based on a virtual machine.