Annual Conference of KIPS (한국정보처리학회:학술대회논문집)

  • 2013.05a
  • /
  • Pages.972-975
  • /
  • 2013
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
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)
  • Published : 2013.05.10
Download PDF
⟨ Previous Next ⟩

Abstract

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.

Keywords