한국정보처리학회:학술대회논문집 (Proceedings of the Korea Information Processing Society Conference)

한국정보처리학회 (Korea Information Processing Society)
권호 표지
DOI QR코드

DOI QR Code

A Function Network Analyzer for Efficient Analysis of Automotive Operating System

  • Yu, Lu Zheng (Dept. Of Computer Science and Engineering Kyungpook National University) ;
  • Choi, Yunja (Dept. Of Computer Science and Engineering Kyungpook National University)
  • 발행 : 2013.05.10
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

This work developed a code analysis & extraction tool named Function Network Analyzer (FNA) to reduce the cost of software safety analysis. FNA analyzes functions and variables which a given function depends on, and extracts subset of code that can be compiled of automotive operating system, final resulting a well-ordered code sequence that can be compiled for model checking technique. And the experimental result illustrates that FNA can get 100% accurate rate and over 96% reduction rate by testing API functions from trampoline system.

키워드