Skip to main content

Arduface: An Embedded System Analysis Tool

  • Conference paper
  • 6331 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 8862))

Abstract

An embedded system combines many hardware and software components. The more hardware and software components are used in an embedded system, the more complicated relationships occur. In order to understand the embedded system appropriately, it is necessary to have high-level expertise in both hardware and software components. However, not all the developers are expert in these two components. This research aims to resolve hardware and software components mapping problem in the embedded systems. The software model graph and the hardware model graph were extracted from source code and device configuration respectively. Using a customised graph matching technique, our method automatically identifies the code block corresponding to any hardware components selected. Our experimental results show that our method exhibits high precision for most hardware components, but low recall in general. We discuss the reason and suggest possible extensions.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Lee, E.A.: What’s ahead for embedded software? Computer 33(9), 18–26 (2000)

    Article  Google Scholar 

  2. Jamieson, P.: Arduino for teaching embedded systems. Are computer scientists and engineering educators missing the boat? In: Proc. FECS, pp. 289–294 (2001)

    Google Scholar 

  3. Bengoetxea, E.: Inexact graph matching using estimation of distribution algorithms. Ecole Nationale Supérieure des Télécommunications, Paris (2002)

    Google Scholar 

  4. Bunke, H.: Error-tolerant graph matching: A formal framework and algorithms. In: Amin, A., Pudil, P., Dori, D. (eds.) SPR/SSPR 1998. LNCS, vol. 1451, pp. 1–14. Springer, Heidelberg (1998)

    Google Scholar 

  5. Bunke, H.: Graph matching: Theoretical foundations, algorithms, and applications. In: Proc. Vision Interface, pp. 82–88 (2000)

    Google Scholar 

  6. Bunke, H.: Error correcting graph matching: On the influence of the underlying cost function. IEEE Transactions on Pattern Analysis and Machine Intelligence 21(9), 917–922 (1999)

    Article  Google Scholar 

  7. Tyng-Luh, L., Geiger, D.: Approximate tree matching and shape similarity. In: The Proceedings of the Seventh IEEE International Conference on Computer Vision, vol. 1, pp. 456–462 (1999)

    Google Scholar 

  8. Conte, D., Foggia, P., Sansone, C., Vento, M.: Thirty years of graph matching in pattern recognition. International Journal of Pattern Recognition and Artificial Intelligence 18(03), 265–298 (2004)

    Article  Google Scholar 

  9. Nam, T.-J., Lee, W.: Integrating hardware and software: augmented reality based prototyping method for digital products. In: CHI 2003 Extended Abstracts on Human Factors in Computing Systems, pp. 956–957. ACM (2003)

    Google Scholar 

  10. Adams, J.K., Thomas, D.E.: The design of mixed hardware/software systems. In: Proceedings of the 33rd Annual Design Automation Conference, pp. 515–520. ACM (1996)

    Google Scholar 

  11. De Michell, G., Gupta, R.K.: Hardware/software co-design. Proceedings of the IEEE 85(3), 349–365 (1997)

    Article  Google Scholar 

  12. Li, Y., Callahan, T., Darnell, E., Harr, R., Kurkure, U., Stockwood, J.: Hardware-software co-design of embedded reconfigurable architectures. In: Proceedings of the 37th Annual Design Automation Conference, pp. 507–512. ACM (2000)

    Google Scholar 

  13. Slomka, F., Dorfel, M., Munzenberger, R., Hofmann, R.: Hardware/software codesign and rapid prototyping of embedded systems. IEEE Design & Test of Computers 17(2), 28–38 (2000)

    Article  Google Scholar 

  14. Gajski, D.D., Vahid, F., Narayan, S.: A system-design methodology: Executable-specification refinement. In: Proceedings of the European Design and Test Conference, EDAC, The European Conference on Design Automation. ETC European Test Conference. EUROASIC, The European Event in ASIC Design, pp. 458-463. IEEE (1994)

    Google Scholar 

  15. Kato, Y.: Splish: A Visual Programming Environment for Arduino to Accelerate Physical Computing Experiences. In: 2010 Eighth International Conference on Creating Connecting and Collaborating through Computing (C5), pp. 3–10 (2010)

    Google Scholar 

  16. Kato, T., Miyauchi, T., Osumi, Y., Yamauchi, H., Nishikado, H., Miyake, T., Kobayashi, S.: A CDFG generating method from C program for LSI design. In: IEEE Asia Pacific Conference on Circuits and Systems, APCCAS 2008, pp. 936–939 (2008)

    Google Scholar 

  17. Allen, F.E., Cocke, J.: A program data flow analysis procedure. Communications of the ACM 19(3), 137 (1976)

    Article  MATH  Google Scholar 

  18. Siddiqi, K., Shokoufandeh, A., Dickinson, S.J., Zucker, S.W.: Shock graphs and shape matching. International Journal of Computer Vision 35(1), 13–32 (1999)

    Article  Google Scholar 

  19. Bunke, H., Shearer, K.: A graph distance metric based on the maximal common subgraph. Pattern Recognition Letters 19(3), 255–259 (1998)

    Article  MATH  Google Scholar 

  20. Whitney, H.: Congruent Graphs and the Connectivity of Graphs. American Journal of Mathematics 54(1), 150–168 (1932)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Xue, W., Chung, H., Han, S.C., Kim, Y., Kang, B.H. (2014). Arduface: An Embedded System Analysis Tool. In: Pham, DN., Park, SB. (eds) PRICAI 2014: Trends in Artificial Intelligence. PRICAI 2014. Lecture Notes in Computer Science(), vol 8862. Springer, Cham. https://doi.org/10.1007/978-3-319-13560-1_38

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-13560-1_38

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-13559-5

  • Online ISBN: 978-3-319-13560-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics