Title
Systematic Verification of Operational Flight Program through Reverse Engineering.
Abstract
Software reverse engineering is an engineering process analyzing a system for specific purposes such as identifying interrelationship between system components or reorganizing the system structure. The HELISCOPE project aims to develop an unmanned helicopter and its on-flight embedded computing system for navigation and real-time transmission of motion video using wireless communication schemes. The OFP (Operational Flight Program) in HELISCOPE project keeps only informal and non-standardized documents and has made us difficult to analyze and test it thoroughly. This paper introduces a verification plan through reverse engineering to get over the difficulties, and we share an experimentation about a small portion of the plan to the HELISCOPE OFP.
Year
DOI
Venue
2011
10.1007/978-3-642-27207-3_29
Communications in Computer and Information Science
Keywords
Field
DocType
Operational Flight Program,Verification,Reverse Engineering,Testing
Wireless,System structure,Software engineering,Systems engineering,Reverse engineering,Engineering design process,Engineering
Conference
Volume
ISSN
Citations 
257
1865-0929
1
PageRank 
References 
Authors
0.36
5
4
Name
Order
Citations
PageRank
Dong-Ah Lee132.77
Jong-Hoon Lee27611.85
Junbeom Yoo314319.86
Doo-Hyun Kim415533.21