마이크로컨트롤러 환경에서 타깃 바이너리 파일 분석을 통한 최대 스택 메모리 사용량 예측 기법 = Maximum Stack Memory Usage Estimation Through Target Binary File Analysis in Microcontroller Environment

다국어 초록 (Multilingual Abstract)

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.

참고문헌 (Reference)

1 박대진, "핫스팟 접근영역 인식에 기반한 바이너리 코드역전 기법을 사용한 저전력 IoT MCU 코드메모리 인터페이스 구조 연구" 대한임베디드공학회 11 (11): 97-105, 2016

2 "https://misra.org.uk/"

3 "http://www.edn.com/design/automotive/4423428/Toyota-s-killer-firmware--Bad-design-and-it s-consequences"

4 "http://refspecs.linuxbase.org/elf/elf.pdf"

5 "http://infocenter.arm.com/help/topic/com.arm.do c.100166_0001_00_en/arm_cortexm4_processor_tr m_100166_0001_00_en.pdf"

6 "http://catless.ncl.ac.uk/Risks/16.93.html#subj"

7 G. Grancioli, "Tracing Interrupts in Embedded software" 44 (44): 137-146, 2009

8 D. Brylow, "Static Checking of Interrupt-driven Software" 47-56, 2001

9 J. Regehr, "Random Testing of Interrupt-driven Software" 290-298, 2005

10 D. Bucur, "On Software Verification for Sensor Nodes" 84 (84): 1693-1707, 2011

11 J. Regehr, "HOIST: A System for Automatically Deriving Static Analyzers for Embedded Systems" 32 (32): 133-143, 2004

12 K. Mehlhorn, "Engineering DFS-based Graph Algorithm"