• IEMEK Journal of Embedded Systems and Applications
• /
• v.12 no.3
• /
• pp.159-167
• /
• 2017

Software safety is a key issue in embedded system of automotive and aviation industries. Various software testing approaches have been proposed to achieve software safety like ISO26262 Part 6 in automotive environment. In spite of one of the classic and basic approaches, stack memory is hard to estimating exactly because of uncertainty of target code generated by compiler and complex nested interrupt. In this paper, we propose an approach of analyzing the maximum stack usage statically from target binary code rather than the source code that also allows nested interrupts for determining the exact stack memory size. In our approach, determining maximum stack usage is divided into three steps: data extraction from ELF file, construction of call graph, and consideration of nested interrupt configurations for determining required stack size from the ISR (Interrupt Service Routine). Experimental results of the estimation of the maximum stack usage shows proposed approach is helpful for optimizing stack memory size and checking the stability of the program in the embedded system that especially supports nested interrupts.

• Journal of applied mathematics & informatics
• /
• v.14 no.1_2
• /
• pp.461-471
• /
• 2004

In recent years, large volumes of data are transferred between a computer system and various subsystems through digital logic circuits and interconnected wires. And there always exist potential errors when data are transferred due to electrical noise, device malfunction, or even timing errors. In general, parity checking circuits are usually employed for detection of single-bit errors. However, it is not sufficient to enhance system reliability and availability for efficient error detection. It is necessary to detect and further correct errors up to a certain level within the affordable cost. In this paper, we report a generation of 3-distance code using the characteristic matrix of a PBCA.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.11 no.4
• /
• pp.81-87
• /
• 2015

Recently, with the development of the ICT environment, the use of the software is growing rapidly. And the number of the web server software used with a variety of users is also growing. However, There are also various damage cases increased due to a software security vulnerability as software usage is increasing. Especially web shell hacking which abuses software vulnerabilities accounts for a very high percentage. These web server environment damage can induce primary damage such like homepage modification for malware spreading and secondary damage such like privacy. Source code weaknesses checking system is needed during software development stage and operation stage in real-time to prevent software vulnerabilities. Also the system which can detect and determine web shell from checked code in real time is needed. Therefore, in this paper, we propose the system improving security for web server by detecting web shell attacks which are invisible to existing detection method such as Firewall, IDS/IPS, Web Firewall, Anti-Virus, etc. while satisfying existing secure coding guidelines from development stage to operation stage.

• Electronics and Telecommunications Trends
• /
• v.32 no.6
• /
• pp.105-115
• /
• 2017

This paper describes a project - based quality management model that identifies development technologies and codes while at the same time verifying the ability to implement processes that are essential in R & D projects. In order to verify the process implemented in the R & D project implementation, there are review, checking points, and evaluating methods the process performance levels for five processes such as defining requirements which is the beginning stage of system development, testing process which is the completion stage of system development, and project management and peer review process for project management and support in the proposed project-based quality management model. For development technology and code validation, the model included the documented test cases for each requirement by the developer in the requirements definition stage, debugging and testing in the design and implementation stages, static analysis and open source licence verification procedure, and system environment. After applying the model in SW development R&D project for evaluating the process performance, and verifying the development technology and the code, the developers responded that the improvement in the development technique and the code, and upgrade of process performance level for project are more than 10%.

• Journal of the Korea Safety Management & Science
• /
• v.13 no.1
• /
• pp.183-188
• /
• 2011

Management of maintenance parts in the aircraft have difficulty because of high cost of part, necessity of separate managements, and very many kinds of parts. The serial number of parts was used in maintenance process and then the results was depended on worker's ability. Also the workers used printed work order and manual at every time in maintenance processes. In this study, we analyzed the maintenance process and the information that occurs in the material warehouse and hangar for large airline company to solve the problems about inventory and visualization. Based on above analysis we developed the maintenance process with integrated by information technologies such as QR code and tablet PC. We expect the reduced errors resulting from visually checking and decreased work hours and maintenance cost and will finally develop the smart work.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2008.05a
• /
• pp.505-508
• /
• 2008

Electrocardiogram (ECG) and blood pressure (BP) are main vital signs which are the standards in most medical settings in assessing the most basic body functions. Multi parameters are desired in providing more information for health professionals in order to detect or monitor medical problems of patients more precisely. This study urges us to develop a robust wireless healthcare monitoring system which has multiple physiological signs measurements on real time that applicable to various environments which integrates wireless sensor network technology and code division multiple access (CDMA) network with extended feature of locally standalone diagnosis algorithms that implemented in tell phone. ECG signal and BP parameter of the patients are routinely be monitored, processed and analyzed in details at cell phone locally to produce useful medical information to ease patients for tracking and future reference purposes. Any suspected or unknown patterns of signals will be immediately forwarded to hospital server using cell phone for doctors' evaluation. This feature enables the patients always recognize the importance of self-health checking so that the preventive actions can be taken earlier through this analytic information provided by this monitoring system because "Prevention is better than Cure".

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2001.11a
• /
• pp.453-458
• /
• 2001

악의의 침입자로부터 시스템을 보호하기 위한 첫 번째 단계는 시스템의 취약점을 분석하는 일이다. 기존의 시스템 취약점 분석 방법은 주로 네트워크 기반 취약점 점검 도구에 의존해 왔다. 하지만, 네트워크 기반 취약점 점검 도구는 대상 시스템의 제한된 정보만을 이용하여 취약점을 점검하기 때문에 시스템의 모든 취약점에 대한 검사가 불가능하다는 단점이 있다. 호스트 기반 취약점 점검 도구를 사용하면 시스템 내부의 모든 정보를 이용할 수 있지만, 시스템의 OS 종류나 버전에 따라 각기 다른 호스트 기반 취약점 점검 도구를 개발해야 한다는 단점이 있다. 또한, 호스트 기반 취약점 점검 도구들은 많은 호스트들을 동시에 점검하기 힘들다는 점이 문제로 지적되고 있다. 본 논문에서는 호스트 기반 취약점 점검 도구를 에이전트로 구현하여 대상 시스템에 설치하고, 하나의 관리 프로그램에서 여러 에이전트들을 관리함으로써 동시에 많은 호스트의 취약점들을 관리할 수 있는 모델인 ISMAEL을 제시한다. 또한 ISMAEL은 OS에 맞는 여러 호스트 기반 취약점 점검 도구들을 개발해야 하는 문제를 해결하기 위해 OS에 독립인 부분만을 뽑아내고, 그 외 OS에 종속된 부분은 Library 형태로 제공하여, OS에 독립인 부분에서 이 Library를 참조하여 특정 취약점 점검 코드를 자동 생성하고 이를 실행하여 취약성 여부를 판단할 수 있는 구조를 채택하고 있다.

• The Transactions of the Korea Information Processing Society
• /
• v.13 no.9
• /
• pp.437-443
• /
• 2024

Adhering to coding style guidelines is crucial for both companies and developers as it improves code readability and reduces the costs associated with testing and maintenance. However, teaching coding style in programming courses poses challenges. Setting up an environment for learning coding styles is hard, and there are no predefined coding style rules for beginners. From the learners' perspective, since adherence to coding styles does not affect their grades, they do not feel a strong need to learn them. This paper introduces a coding style checking system for an online evaluation system. The proposed system is implemented to check and evaluate coding styles in C, Java, and Python. Additionally, we applied 234 out of the 1,023 rules provided by the language-specific tools, which is 23.08%, allowing for the application of coding style rules according to the course progression. Moreover, we motivated learners to improve their coding style by adding quality scores to their basic scores. After introducing the coding style education system, the number of students scoring over 25 points on their initial submissions increased by 149.47%, from 18 students in the first week to 44 students in the sixth week. Learners used the coding style checking system to learn how to apply coding style rules and subsequently implemented their code in adherence to the specified coding styles.

• The Journal of the Korea Contents Association
• /
• v.14 no.12
• /
• pp.545-554
• /
• 2014

In this paper, we propose online Chinese character learning machine with a depth camera, where a system presents a Chinese character on a screen and a user is supposed to draw the presented Chinese character by his or her hand gesture. We develop the hand tracking method and suggest the adjusted chain code to represent constituent strokes of a Chinese character. For hand tracking, a fingertip is detected and verified. The adjusted chain code is designed to contain the information on order and relative length of each constituent stroke as well as the information on the directional variation of sample points. Such information is very efficient for a real-time match process and checking incorrectly drawn parts of a stroke.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.49 no.8
• /
• pp.1-11
• /
• 2012

The multi-code spread spectrum communication system, which spreads data bit stream by multiplexing orthogonal codes, can transmit data in high rate. However it needs the high-cost good linear amplifier because of the multi-level output signal. In order to overcome this drawback several systems making the amplitude of output signal constant with Walsh codes have been proposed. Recently constant amplitude pre-coded multi-code spread spectrum systems using extended m-sequence have been proposed. In this paper we consider an extended m-sequence based constant amplitude multi-code spread spectrum system with code set partitioning. By grouping the orthogonal codes into 4 subsets, not only is the computational complexity of the transceiver reduced but BER performance also improves. It has been shown that parity checking on four detected codes at the receiver can correct code detection error and result in BER performance enhancement. In this paper we propose a improved parity check receiver. We carried out computer simulation to verify feasibility of the proposed algorithm.