{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:15:25Z","timestamp":1763468125317,"version":"3.41.0"},"reference-count":26,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2012,12,1]],"date-time":"2012-12-01T00:00:00Z","timestamp":1354320000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2012,12]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.1145\/2362336.2362344","type":"journal-article","created":{"date-parts":[[2013,1,11]],"date-time":"2013-01-11T15:42:48Z","timestamp":1357918968000},"page":"1-24","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["System-level approach to the design of a smart distributed surveillance system using systemj"],"prefix":"10.1145","volume":"11","author":[{"given":"Avinash","family":"Malik","sequence":"first","affiliation":[{"name":"INRIA Grenoble, Rh\u00f4ne-Alpes, France"}]},{"given":"Zoran","family":"Salcic","sequence":"additional","affiliation":[{"name":"University of Auckland, New Zealand"}]},{"given":"Christopher","family":"Chong","sequence":"additional","affiliation":[{"name":"University of Auckland, New Zealand"}]},{"given":"Salman","family":"Javed","sequence":"additional","affiliation":[{"name":"University of Auckland, New Zealand"}]}],"member":"320","published-online":{"date-parts":[[2013,1]]},"reference":[{"volume-title":"Proceedings of the IEEE Intelligent Vehicles Symposium (IV'00)","author":"Abreu B.","key":"e_1_2_1_1_1","unstructured":"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. 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."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDSC.2009.5289387"},{"volume-title":"Proceedings of the 3rd ACM\/IEEE International Conference on Distributed Smart Cameras.","author":"Bellotto N.","key":"e_1_2_1_3_1","unstructured":"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. 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."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97299"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDSO.2008.7"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPRW.2006.6"},{"volume-title":"Proceedings of the Conference on Formal Methods and Models for Co-Design. 149--158","author":"Gruian F.","key":"e_1_2_1_7_1","unstructured":"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 . 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."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-8191(99)00086-1"},{"volume-title":"Communicating Sequential Processes","author":"Hoare C. A. R.","key":"e_1_2_1_9_1","unstructured":"Hoare , C. A. R. 2004. Communicating Sequential Processes . Prentice Hall . Hoare, C. A. R. 2004. Communicating Sequential Processes. Prentice Hall."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.rti.2005.04.006"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2007.54"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDSO.2008.5"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.180"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1529255.1529256"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cl.2010.01.001"},{"key":"e_1_2_1_17_1","unstructured":"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.  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."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1049\/ip-vis:20041256"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1155\/2007\/92827"},{"key":"e_1_2_1_20_1","doi-asserted-by":"crossref","unstructured":"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.  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.","DOI":"10.1007\/978-1-4615-4327-5_10"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1594834.1480934"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2005.396"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDSC.2009.5289377"},{"volume-title":"Proceedings of the 16th International Conference on VLSI Design. 9.","author":"Shukla S. K.","key":"e_1_2_1_24_1","unstructured":"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. 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."},{"volume-title":"Proceedings of the IEEE International Conference on Multimedia and Expo. 277--280","author":"Velipasalar S.","key":"e_1_2_1_25_1","unstructured":"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 . 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."},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2002.1033027"},{"volume-title":"Proceedings of TENCON. 21--24","author":"Yu N.","key":"e_1_2_1_27_1","unstructured":"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 . 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."}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2362336.2362344","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2362336.2362344","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:14:16Z","timestamp":1750277656000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2362336.2362344"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12]]},"references-count":26,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,12]]}},"alternative-id":["10.1145\/2362336.2362344"],"URL":"https:\/\/doi.org\/10.1145\/2362336.2362344","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"type":"print","value":"1539-9087"},{"type":"electronic","value":"1558-3465"}],"subject":[],"published":{"date-parts":[[2012,12]]},"assertion":[{"value":"2010-02-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2011-04-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2013-01-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}