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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
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)
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)
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)
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)
Chikofsky, E.J., Cross, J.H.: II: Reverse engineering and design recovery: a taxonomy. IEEE Software 7(1), 13–17 (1990)
Pezze, M., Young, M.: Software testing and analysis: process, principles, and techniques. Wiley (2008)
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)
Stavroulakis, P., Stamp, M.: Handbook of Information and Communication Security. Springer, Heidelberg (2010)
Martin, J., McClure, C.: Diagramming Techniques for Analysts and Programmers. Prentice-Hall, Englewood Cliffs (1985)
Yourdon, E.: Constantine, Structured Design. Prentice-Hall, Englewood (1979)
Zhu, H., Hall, P., May, J.: Software Unit Test Coverage and Adequacy. ACM Computing Surveys 29, 366–427 (1997)
Yourdon, E.: Modern structured analysis. Yourdon Press (1989)
QNX Software Systems, http://www.qnx.com
gcov—a Test Coverage Program, http://gcc.gnu.org/onlinedocs/gcc/Gcov.html
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lee, DA., Lee, JH., Yoo, J., Kim, DH. (2011). Systematic Verification of Operational Flight Program through Reverse Engineering. In: Kim, Th., et al. Software Engineering, Business Continuity, and Education. ASEA 2011. Communications in Computer and Information Science, vol 257. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-27207-3_29
Download citation
DOI: https://doi.org/10.1007/978-3-642-27207-3_29
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-27206-6
Online ISBN: 978-3-642-27207-3
eBook Packages: Computer ScienceComputer Science (R0)