Systematic Verification of Operational Flight Program through Reverse Engineering

  • Dong-Ah Lee
  • Jong-Hoon Lee
  • Junbeom Yoo
  • Doo-Hyun Kim
Part of the Communications in Computer and Information Science book series (CCIS, volume 257)


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.


Operational Flight Program Verification Reverse Engineering Testing 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Kim, D.H., Nodir, K., Chang, C.H., Kim, J.G.: HELISCOPE Project: Research Goal and Survey on Related Technologies. In: The Proceeding of 12th IEEE International Symposium on Object /Component / Service-Oriented Real-Time Distributed Computing (ISORC), Tokyo, pp. 112–118 (2009)Google Scholar
  2. 2.
    Kim, S.-G., et al.: Design and Implementation of an Operational Flight Program for an Unmanned Helicopter FCC Based on the TMO Scheme. In: Lee, S., Narasimhan, P. (eds.) SEUS 2009. LNCS, vol. 5860, pp. 1–11. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  3. 3.
    Berard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, P.: Systems and Software Verification: Model-Checking Techniques and Tools. Springer, Heidelberg (2001)CrossRefMATHGoogle Scholar
  4. 4.
    Lee, D.-A., Yoo, J., Kim, D.: Formal Verification of Process Communications in Operational Flight Program for a Small-Scale Unmanned Helicopter. In: The 6th International Conference on Intelligent Unmanned Systems (ICIUS 2010), Bali, Indonesia, pp. 91–96 (2010)Google Scholar
  5. 5.
    Lee, D.-A., Sung, S., Yoo, J., Kim, D.-H.: Formal Modeling and Verification of Operational Flight Program in a Small-Scale Unmanned Helicopter. Journal of Aerospace Engineering (accepted, 2011)Google Scholar
  6. 6.
    Chikofsky, E.J., Cross, J.H.: II: Reverse engineering and design recovery: a taxonomy. IEEE Software 7(1), 13–17 (1990)CrossRefGoogle Scholar
  7. 7.
    Pezze, M., Young, M.: Software testing and analysis: process, principles, and techniques. Wiley (2008)Google Scholar
  8. 8.
    Kim, K.H., Kopetz, H.: A Real-Time Object Model RTO.k and an Experimental Investigation of Its Potentials. In: 18th IEEE Computer Software & Applications Conference, Los Alamitos, pp. 392–402 (1994)Google Scholar
  9. 9.
    Stavroulakis, P., Stamp, M.: Handbook of Information and Communication Security. Springer, Heidelberg (2010)CrossRefMATHGoogle Scholar
  10. 10.
    Martin, J., McClure, C.: Diagramming Techniques for Analysts and Programmers. Prentice-Hall, Englewood Cliffs (1985)Google Scholar
  11. 11.
    Yourdon, E.: Constantine, Structured Design. Prentice-Hall, Englewood (1979)MATHGoogle Scholar
  12. 12.
    Zhu, H., Hall, P., May, J.: Software Unit Test Coverage and Adequacy. ACM Computing Surveys 29, 366–427 (1997)CrossRefGoogle Scholar
  13. 13.
    Yourdon, E.: Modern structured analysis. Yourdon Press (1989)Google Scholar
  14. 14.
  15. 15.
    QNX Software Systems,
  16. 16.
    gcov—a Test Coverage Program,

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Dong-Ah Lee
    • 1
  • Jong-Hoon Lee
    • 1
  • Junbeom Yoo
    • 1
  • Doo-Hyun Kim
    • 1
  1. 1.College of Information and CommunicationKonkuk UniversitySeoulKorea

Personalised recommendations