• Journal of Information Processing Systems
• /
• 제13권1호
• /
• pp.26-39
• /
• 2017

The need for embedded devices to be able to exchange information with each other and with data centers is essential for the advent of the Internet of Things (IoT). Several existing communication protocols are designed for small devices including the message-queue telemetry transport (MQTT) protocol or the constrained application protocol (CoAP). However, most of the existing implementations are convenient for computers or smart phones but do not consider the strict constraints and limitations with regard resource usage, portability and configuration. In this paper, we report on an industrial research and development project which focuses on the design, implementation, testing and deployment of a MQTT module. The goal of this project is to develop this module for platforms having minimal RAM, flash code memory and processing power. This software module should be fully compliant with the MQTT protocol specification, portable, and inter-operable with other software stacks. In this paper, we present our approach based on abstraction layers to the design of the MQTT module and we discuss the compliance of the implementation with the requirements set including the MISRA static analysis requirements.

• 대한임베디드공학회논문지
• /
• 제16권6호
• /
• pp.241-246
• /
• 2021

In this paper, we developed the evaluation system for the active noise control so that the algorithms can be easily evaluated in real-time on the system. We implemented the active noise controller based on a single-chip with only additional op-amps for signal conditioning because the TMS320C280049 MCU includes almost all necessary peripherals for the active noise controller. Due to the difficulty in testing algorithms on embedded-type hardware unlike in computer simulation, we also developed GUI-based evaluation software which makes it simple to test algorithms on the hardware. Using the GUI software, we can optimize the parameters of the algorithms with ease in a specific noise environment because the parameters can be adjusted in real-time when the algorithm is running on the hardware.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 2003년도 춘계학술발표대회 요약집
• /
• pp.85-85
• /
• 2003

• 정보과학회지
• /
• 제31권5호
• /
• pp.63-72
• /
• 2013

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 2004년도 춘계공동학술대회 논문집
• /
• pp.603-606
• /
• 2004

Automatic test case generation for testing an embedded software is considered. Existing tools for test case generation such as finite state machine or mutant test usually adopt top down approach and depend upon graphical transition and decision table, which makes it difficult to find out where the bugs exist. Also it is hard to describe the special features of embedded systems such as concurrent execution of individual components. Most of embedded systems interacts with the real world, receiving signals through sensors or switches and sending output signals to actuators that somehow manipulate the environment. Embedded software controls the entire system based on the logics such as interpreting the sensor inputs and making the actuators to start or stop their intended operation. This study proposes an automatic test case generation procedure that tests the system starting from the control logics of sensors, switches and actuators and then their concurrent execution controls, and finally the entire system operation. Such a stepwise approach makes it easy to generate test cases to tell where the bugs of embedded software exist.

• 대한임베디드공학회논문지
• /
• 제12권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.

• 대한건축학회논문집:구조계
• /
• 제34권12호
• /
• pp.35-40
• /
• 2018

In this study, experimental research was carried out to evaluate the seismic performance of reinforced concrete exterior beam-column joint regions using hybrid retrofitting with AFRP sheets and embedded CFRP reinforcements in existing reinforced concrete building. Therefore it was constructed and tested three specimens retrofitting the beam-column joint regions using such retrofitting materials. Specimens, designed by retrofitting the beam-column joint regions of existing reinforced concrete structure, were showed the stable failure mode and increase of load-carrying capacity due to the effect of crack control at the times of initial loading and confinement of retrofitting materials during testing. Specimens RBCJ-SRA3 designed by the retrofitting of AFRP sheets and embedded CFRP reinforcements in reinforced exterior beam-column joint regions were increased its maximum load carrying capacity by 1.86 times and its energy dissipation capacity by 1.65 times in comparison with standard specimen RBCJ for a displacement ductility of 5.

• 한국정보통신학회논문지
• /
• 제24권12호
• /
• pp.1612-1617
• /
• 2020

최근 재난 안전 기술 분야에 인공지능 기술을 적극적으로 받아들여 재해율을 감소시키고자 하는 연구가 확산되고 있다. 특히 재난 현장에서 구조 활동을 효과적으로 수행하기 위해서는 요구조자를 신속하게 탐색하는 것이 중요하지만 재난 환경의 특성상 요구조자를 탐색하는 것이 어렵다. 본 논문에서는 요구조자 탐색을 위한 소방관용 스마트 헬멧에서 동작 가능한 인공지능 시스템을 개발하고자 한다. 이를 위해 최적의 SoC를 선정하고 이를 임베디드 시스템으로 개발하였으며 범용적인 인공지능 S/W를 시험 동작함으로써 향후 스마트 헬멧 연구를 위한 임베디드 시스템이 인공지능 S/W 운용 플랫폼으로 적합함을 검증하였다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제6권9호
• /
• pp.419-428
• /
• 2017

임베디드 시스템에서는 모듈간의 상호작용으로 데이터를 주고 받는다. 이때 오류가 포함된 리소스 데이터를 전달하면 시스템의 실행 오류를 유발할 수 있다. 상호작용에 활용되는 리소스들은 모듈간의 의존관계를 만들며 의존관계에 있는 모듈의 변화가 다른 모듈의 기능에 영향을 미치게 된다. 몇몇 임베디드 시스템 조사 자료에 따르면 모듈간의 상호작용 오류가 심각한 소프트웨어 실패의 원인이 되기도 한다. 상호작용 테스팅 단계에서는 이러한 상호작용 오류를 검출하여 시스템 실패의 위험을 낮추고자 한다. 모듈간의 상호작용은 직접 또는 간접적으로 일어난다. 직접적인 상호작용은 모듈의 직접 호출을 통해 이루어지며, 간접 상호작용은 직접호출 이외에 리소스 데이터의 의존성을 통해 나타난다. 이 연구에서는 직접 상호작용에 의한 오류 검출 방식에서는 발견되지 않는 간접 상호작용과 연관된 오류를 검출하고자 한다. 먼저 상호작용 패턴을 분석하여 상호작용 모델을 생성하고 이를 기반으로 상호작용 오류를 검출하는 테스트 케이스 디자인 방법을 제안한다. 마지막으로 결함 주입 기법을 이용하여 제안된 방법의 효용성 및 실효성을 분석한다.

• 대한전자공학회논문지SD
• /
• 제39권8호
• /
• pp.24-33
• /
• 2002

혼성 신호 회로의 설계에 있어 저비용의 고효율 테스트 효율을 보장하기 위해 테스트의 노력은 계속되어 왔다. 특히 테스트를 고려한 BIST(built-in-self-test)설계 방법으로 발전해가고 있는 추세인데, 회로상에서 전체적인 테스트 용이도와 분석에 있어 보다 향상된 방법으로 접근할 수 있고 이러한 시스템에 대해 분석하는데 수월하게 할 수도 있다. 이 논문에서는 효과적인 테스트를 위한 방법을 위해 DC전압과 전압 위상에 대한 BIST를 구현하는 것을 제안하였다. 즉 정상적인 회로와 고장회로에서의 동작에서 전압과 위상의 차이를 검출하는 회로를 하드웨어상으로 구성함으로써 비용과 시간 등을 효과적으로 줄이는 방법을 제안하였다. 실험 결과에서는 기존의 BIST와 비교하여 향상된 것을 나타낸다.