skip to main content
research-article

System-level approach to the design of a smart distributed surveillance system using systemj

Published:01 January 2013Publication History
Skip Abstract Section

Abstract

Distributed surveillance systems represent a class of sensor networks used for object location and tracking, road traffic monitoring, security, and other purposes. They are very complex to describe, design, and run. Because of their sensitivity, they need to be carefully designed and validated. We present a system-level approach to modeling and designing such systems using a new system-level programming language, SystemJ, which enables designers to describe computational and communication parts of such applications in a highly abstract manner. The designed system can be modeled and validated even before deployment and in that way contribute to the overall reliability and trustworthiness of such systems. As an additional tool, the design environment for specification of the surveillance system topology, physical and communication properties, selected sensors and their interconnectivity with the computing resources was developed. This tool enables easy composition of multiple sensors and their respective controllers, capturing changes of configuration of the system and underlying communication, and automatic generation of the formal description of the surveillance system. This description is then used for the generation of executable code and/or the templates for detailed SystemJ application-specific code, as well as for generation of the operator GUI in a surveillance system.

References

  1. Abreu, B., Botelho, L., Cavallaro, A., Douxchamps, D., Ebrahimi, T., Figueiredo, P., Macq, B., Mory, B., Nunes, L., Orri, J., Trigueiros, M. J., and Violante, A. 2000. Video-based multi-agent traffic surveillance system. In Proceedings of the IEEE Intelligent Vehicles Symposium (IV'00). 457--462.Google ScholarGoogle Scholar
  2. Appiah, K. 2009. Autonomous real-time surveillance system with distributed IP cameras. In Proceedings of the 3rd ACM/IEEE International Conference on Distributed Smart Cameras.Google ScholarGoogle ScholarCross RefCross Ref
  3. Bellotto, N., Sommerlade, E., Benfold, B., Bibby, C., Reid, I., Roth, D., Fernandez, C., Van Gool, L., and Gonzalez, J. 2009. A distributed camera system for multi-resolution surveillance. In Proceedings of the 3rd ACM/IEEE International Conference on Distributed Smart Cameras.Google ScholarGoogle Scholar
  4. Boussinot, F. and Simone, R. D. 1991. The Esterel language. Proc. IEEE 79, 9, 1293--1304, 1991.Google ScholarGoogle ScholarCross RefCross Ref
  5. Detmold, H., Hengel, A., Dick, A., Falkner, K., Munro, D. S., and Morrison, R. 2008. Middleware for distributed video surveillance. IEEE Distrib.Syst. Online 9, 2, 1. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. Fleck, S., Busch, F., Biber, P., and Straßer, W. 2006. W. 3D surveillance - a distributed network of smart cameras for real-time tracking and its visualization in 3D. In Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition (CVPR'06). 118. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. Gruian, F., Roop, P. S., Salcic, Z., and Radojevic, I. 2006. The SystemJ approach to system-level design. In Proceedings of the Conference on Formal Methods and Models for Co-Design. 149--158.Google ScholarGoogle Scholar
  8. Gupta, R., Pande, S., Psarris, K., and Sarkar, V. 1999. Compilation techniques for parallel systems. Parallel Computers 25, 13-14, 1741--1783. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. Hoare, C. A. R. 2004. Communicating Sequential Processes. Prentice Hall. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. Heyrma, B., Paindavoine, M., Schmit, R., Letellier, L., and Collette, T. 2005. Smart camera design for intensive embedded computing. Real-Time Imag. 11, 4, 282--289. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. Kapoor, H. K. 2007. Modelling latency-insensitive systems in CSP. In Proceedings of the 7th International Conference on Application of Concurrency To System Design. IEEE Computer Society, 231--232. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. Kornecki, A. J. 2008. Middleware for distributed video surveillance. IEEE Distrib. Syst. Online 9, 2, 1.Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. Lee. E. A. 2006. The problem with threads. Computer 39, 5, 33--42, May. 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. Malik, A. 2010. Principia Lingua SystemJ. PhD Thesis, University of Auckland, NZ.Google ScholarGoogle Scholar
  15. Malik, A., Salcic, Z., and Roop, P. S. 2009. SystemJ compilation using the tandem virtual machine approach. ACM Tran. Design Autom Electron. Syst. 14, 3, 1--37. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. Malik, A., Salcic, Z., Roop, P. S., and Girault, A. 2010. SystemJ: A GALS language for system level design. Comput. Lang. Syst. Structures 36, 4, 317--344. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. Malik, A., Girault, A., and Salcic, Z. 2010. The DSystemJ programming language for dynamic GALS systems: It's semantics, compilation, implementation, and run-time system. Tech. rep. 7346, INRIA.Google ScholarGoogle Scholar
  18. Micheloni, C., Foresti, C. G., and Snidaro, L. 2005. A network of cooperative cameras for visual surveillance. Proc. IEE Vision, Image Signal Process. 152, 2, 205--212.Google ScholarGoogle ScholarCross RefCross Ref
  19. Quartisch, M., Kreuzthaler, M., Rinner, B., Bischof, H., and Strobl, B. 2007. Autonomous Multi-camera Tracking on Embedded Smart Cameras. EURASIP J. Embedd. Syst., 10. Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. Remagnino, P., Orwell, J., Greenhill, D., Jones, G. A., and Marchesotti, L. 2001. An agent society for scene interpretation. In Multimedia Video Based Surveillance Systems: Requirements, Issues and Solutions, Kluwer Academic, Boston, MA, 108--117.Google ScholarGoogle Scholar
  21. Ridge, T. 2009. Verifying distributed systems: the operational approach. SIGPLAN Notices 44, 1, 429--440. Google ScholarGoogle ScholarDigital LibraryDigital Library
  22. Rowe, A., Rosenberg, C., and Nourbakhsh, I. 2005. A second generation low cost embedded color vision system. In Proceedings of the IEEE Embedded Computer Vision Workshop (ECVW '05) in conjunction with the IEEE Conference on Computer Vision and Pattern Recognition (CVPR'05). Vol. 3, 136. Qt-4.5 Google ScholarGoogle ScholarDigital LibraryDigital Library
  23. Schriebl, W. 2009. A pervasive Smart Camera Network architecture applied for multi-camera object classification. In Proceedings of the 3rd ACM/IEEE International Conference on Distributed Smart Cameras.Google ScholarGoogle ScholarCross RefCross Ref
  24. Shukla, S. K., Talpin, J. P., Edwards, S. A., and Gupta, R. K. 2003. High level modeling and validation methodologies for embedded systems: Bridging the productivity gap. In Proceedings of the 16th International Conference on VLSI Design. 9. Google ScholarGoogle ScholarDigital LibraryDigital Library
  25. Velipasalar, S., Schlessman, J., Chen, C.-Y., Wolf, W., and Singh, J. P. 2006. SCCS: A scalable clustered camera system for multiple object tracking communicating via message passing interface. In Proceedings of the IEEE International Conference on Multimedia and Expo. 277--280.Google ScholarGoogle Scholar
  26. Wolf, W., Ozer, B., and Lv, T. 2002. Smart cameras as embedded systems. Computer 35, 9, 48--53. Google ScholarGoogle ScholarDigital LibraryDigital Library
  27. Yu, N., Kim, K. C., and Salcic, Z. 2004. A new motion estimation algorithm for mobile real-time video and its FPGA implementation. In Proceedings of TENCON. 21--24.Google ScholarGoogle Scholar

Index Terms

  1. System-level approach to the design of a smart distributed surveillance system using systemj

    Recommendations

    Comments

    Login options

    Check if you have access through your login credentials or your institution to get full access on this article.

    Sign in

    Full Access

    PDF Format

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader
    About Cookies On This Site

    We use cookies to ensure that we give you the best experience on our website.

    Learn more

    Got it!