Communicating sequential processes
Communicating sequential processes
Compilation techniques for parallel systems
Parallel Computing - Special Anniversary issue
Smart Cameras as Embedded Systems
Computer
High Level Modeling and Validation Methodologies for Embedded Systems: Bridging the Productivity Gap
VLSID '03 Proceedings of the 16th International Conference on VLSI Design
A Second Generation Low Cost Embedded Color Vision System
CVPR '05 Proceedings of the 2005 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR'05) - Workshops - Volume 03
Computer
Smart camera design for intensive embedded computing
Real-Time Imaging
CVPRW '06 Proceedings of the 2006 Conference on Computer Vision and Pattern Recognition Workshop
Modelling Latency-Insensitive Systems in CSP
ACSD '07 Proceedings of the Seventh International Conference on Application of Concurrency to System Design
Autonomous multicamera tracking on embedded smart cameras
EURASIP Journal on Embedded Systems
Middleware for Distributed Video Surveillance
IEEE Distributed Systems Online
Verifying distributed systems: the operational approach
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
SystemJ compilation using the tandem virtual machine approach
ACM Transactions on Design Automation of Electronic Systems (TODAES)
SystemJ: A GALS language for system level design
Computer Languages, Systems and Structures
| Hi-index | 0.00 |
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.