System-level approach to the design of a smart distributed surveillance system using systemj
- 1 December 2012
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Embedded Computing Systems
- Vol. 11 (4), 1-24
- https://doi.org/10.1145/2362336.2362344
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.Keywords
This publication has 18 references indexed in Scilit:
- Autonomous real-time surveillance system with distributed IP camerasPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2009
- SystemJ compilation using the tandem virtual machine approachACM Transactions on Design Automation of Electronic Systems, 2009
- Computing Curricula for the 21st CenturyIEEE Distributed Systems Online, 2008
- Middleware for Distributed Video SurveillanceIEEE Distributed Systems Online, 2008
- Modelling Latency-Insensitive Systems in CSPSeventh International Conference on Application of Concurrency To System Design (ACSD 2007), 2007
- 3D Surveillance A Distributed Network of Smart Cameras for Real-Time Tracking and its Visualization in 3DPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2006
- The Problem with ThreadsComputer, 2006
- Smart camera design for intensive embedded computingReal-Time Imaging, 2005
- Compilation techniques for parallel systemsParallel Computing, 1999
- The ESTEREL languageProceedings of the IEEE, 1991