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.
- 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 Scholar
- 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 Scholar
Cross Ref
- 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 Scholar
- Boussinot, F. and Simone, R. D. 1991. The Esterel language. Proc. IEEE 79, 9, 1293--1304, 1991.Google Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- Gupta, R., Pande, S., Psarris, K., and Sarkar, V. 1999. Compilation techniques for parallel systems. Parallel Computers 25, 13-14, 1741--1783. Google Scholar
Digital Library
- Hoare, C. A. R. 2004. Communicating Sequential Processes. Prentice Hall. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- Kornecki, A. J. 2008. Middleware for distributed video surveillance. IEEE Distrib. Syst. Online 9, 2, 1.Google Scholar
Digital Library
- Lee. E. A. 2006. The problem with threads. Computer 39, 5, 33--42, May. 2006. Google Scholar
Digital Library
- Malik, A. 2010. Principia Lingua SystemJ. PhD Thesis, University of Auckland, NZ.Google Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
- Ridge, T. 2009. Verifying distributed systems: the operational approach. SIGPLAN Notices 44, 1, 429--440. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
- Wolf, W., Ozer, B., and Lv, T. 2002. Smart cameras as embedded systems. Computer 35, 9, 48--53. Google Scholar
Digital Library
- 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 Scholar
Index Terms
System-level approach to the design of a smart distributed surveillance system using systemj
Recommendations
SystemJ compilation using the tandem virtual machine approach
SystemJ is a language based on the Globally Asynchronous Locally Synchronous (GALS) paradigm. A SystemJ program is a collection of GALS nodes, also called clock domains, and each clock domain is a synchronous program that extends the Java language. ...
System-level co-simulation of integrated avionics using polychrony
SAC '11: Proceedings of the 2011 ACM Symposium on Applied ComputingThe design of embedded systems from multiple views and heterogeneous models is ubiquitous in avionics as, in particular, different high-level modeling standards are adopted for specifying the structure, hardware and software components of a system. The ...
Design of a fence surveillance system based on wireless sensor networks
Autonomics '08: Proceedings of the 2nd International Conference on Autonomic Computing and Communication SystemsIn this paper, we present a real application system based on wireless sensor network (WSN) for fence surveillance which is implemented on our development platform for WSN, called ANTS (An evolvable Network of Tiny Sensors). Our system, called the WFS ...






Comments