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

Transactions on Embedded Computing Systems

Volumn 11, Issue 4, 2012, Pages

  Malik, Avinash ^a   Salcic, Zoran ^b   Chong, Christopher ^b   Javed, Salman ^b  

^a INRIA RHÔNE ALPES   (France)

^b UNIVERSITY OF AUCKLAND   (New Zealand)

Author keywords

Concurrency; Distributed system; GALS; System level design; SystemJ

Indexed keywords

CONCURRENCY; DISTRIBUTED SYSTEMS; GALS; SYSTEM LEVEL DESIGN; SYSTEMJ;

COMMUNICATION; NETWORK SECURITY; SECURITY SYSTEMS; SENSOR NETWORKS;

DESIGN;

EID: 84872478592     PISSN: 15399087     EISSN: 15583465     Source Type: Journal    
DOI: 10.1145/2362336.2362344     Document Type: Article

References (27)

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.
2. rd ACM/IEEE International Conference on Distributed Smart Cameras.
3. rd ACM/IEEE International Conference on Distributed Smart Cameras.
4. BOUSSINOT, F. AND SIMONE, R. D. 1991. The Esterel language. Proc. IEEE 79, 9, 1293-1304, 1991.
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.
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.
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.
8. GUPTA, R., PANDE, S., PSARRIS, K., AND SARKAR, V. 1999. Compilation techniques for parallel systems. Parallel Computers 25, 13-14, 1741-1783.
9. HOARE, C. A. R. 2004. Communicating Sequential Processes. Prentice Hall.
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.
11. th International Conference on Application of Concurrency To System Design. IEEE Computer Society, 231-232.
12. KORNECKI, A. J. 2008. Middleware for distributed video surveillance. IEEE Distrib. Syst. Online 9, 2, 1.
13. LEE. E. A. 2006. The problem with threads. Computer 39, 5, 33-42, May. 2006.
14. MALIK, A. 2010. Principia Lingua SystemJ. PhD Thesis, University of Auckland, NZ.
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.
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.
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.
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.
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.
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.
21. RIDGE, T. 2009. Verifying distributed systems: the operational approach. SIGPLAN Notices 44, 1, 429-440.
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.55
23. rd ACM/IEEE International Conference on Distributed Smart Cameras.
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.
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.
26. WOLF, W., OZER, B., AND LV, T. 2002. Smart cameras as embedded systems. Computer 35, 9, 48-53.
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.