ASP-Based Encoding Model of Architecture Synthesis for Smart Cameras in Distributed Networks
Article No.: 27, Pages 1 - 28
Abstract
A synthesis approach based on Answer Set Programming (ASP) for heterogeneous system-on-chips to be used in distributed camera networks is presented. In such networks, the tight resource limitations represent a major challenge for application development. Starting with a high-level description of applications, the physical constraints of the target devices, and the specification of network configuration, our goal is to produce optimal computing infrastructures made of a combination of hardware and software components for each node of the network. Optimization aims at maximizing speed while minimizing chip area and power consumption. Additionally, by performing the architecture synthesis simultaneously for all cameras in the network, we are able to minimize the overall utilization of communication resources and consequently reduce power consumption. Because of its reconfiguration capabilities, a Field Programmable Gate Array (FPGA) has been chosen as the target device, which enhances the exploration of several design alternatives. We present several realistic network scenarios to evaluate and validate the proposed synthesis approach.
References
[1]
Hamid Aghajan and Andrea Cavallaro. 2009. Multi-Camera Networks. Elsevier.
[2]
Trevor Ainsworth. 2002. Buyer beware. Secur. Oz. 19, 18--26.
[3]
Jacob Anders, Michael Mefenza, Christophe Bobda, Franck Yonga, Aklah Zeyad, and Kevin Gunn. 2013. A hardware/software prototyping system for driving assistance investigations. J. Real-Time Image Process. 1--11.
[4]
Davide Bertozzi and Antoine Jalabert. 2005. NoC synthesis flow for customized domain specific multiprocessor systems-on-chip. IEEE Trans. Parallel Distrib. Syst. 16, 2, 113--129.
[5]
Francesco Calimeri, Giovambattista Ianni, and Francesco Ricca. 2012. The third open answer set programming competition. http://arxiv.org/abs/1206.3111v1
[6]
Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Francesco Ricca, and Torsten Schaub. 2013. ASP-CORE-2 input language format. https://www.mat.unical.it/aspcomp2013/files/ASP-CORE-2.01c.pdf.
[7]
Elvin Coban, Ferhan Ture, and Esra Erdem. 2008. Comparing ASP, CP, ILP on two challenging applications: Wire routing and haplotype inference. http://www.academia.edu/2791105/Comparing_ASP_CP_ILP_on_two_challenging_applications_wire_routing_and_haplotype_inference.
[8]
Bernhard Dieber, Christian Micheloni, and Bernhard Rinner. 2011. Resource-aware coverage and task assignment in visual sensor networks. IEEE Trans. Circ. Syst. Video Technol. 21, 10, 1424--1437.
[9]
Basant Kumar Dwivedi, Anshul Kumar, and M. Balakrishnan. 2004. Automatic synthesis of system on chip multiprocessor architectures for process networks. In Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS'04). 60--65.
[10]
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub. 2014. Clingo = ASP + control: Preliminary report. http://arxiv.org/abs/1405.3694v
[11]
Martin Gebser, Roland Kaminski, and Torsten Schaub. 2011a. ASPCUD: A Linux package configuration tool based on answer set programming. In Proceedings of the 2nd International Workshop on Logics for Component Configuration (LoCoCo'11). 12--25.
[12]
Martin Gebser, Torsten Schaub, Sven Thiele, and Philippe Veber. 2011b. Detecting inconsistencies in large biological networks with answer set programming. Theory Pract. Logic Program. 11, 2--3, 323--360.
[13]
Michael Gelfond and Vladimir Lifschitz. 1991. Classical negation in logic programs and disjunctive databases. New Generat. Comput. 9, 365--386.
[14]
Giovanni Grasso, Salvatore Iiritano, Nicola Leone, Vincenzino Lio, Francesco Ricca, and Francesco Scalise. 2010. An ASP-based system for team-building in the Gioia-Tauro seaport. In Proceedings of the 12th International Conference on Practical Aspects of Declarative Languages (PADL'10). 40--42.
[15]
Ekhine Irurozki, Borja Calvo, and Jose A. Lozano. 2011. A preprocessing procedure for haplotype inference by pure parsimony. IEEE/ACM Trans. Comput. Biol. Bioinf. 8, 1183--1195.
[16]
Harold Ishebabi and Christophe Bobda. 2009. Automated architecture synthesis for adaptive multiprocessors on chip systems. J. Microprocess. Microsyst. 33, 1, 63--71.
[17]
Harold Ishebabi, Philipp Mahr, Christophe Bobda, Martin Gebser, and Torsten Schaub. 2009a. Answer set versus integer linear programming for automatic synthesis of multiprocessor systems from real-time parallel programs. Int. J. Reconfig. Comput. 2009, 1--6.
[18]
Harold Ishebabi, Philipp Mahr, Christophe Bobda, Martin Gebser, and Torsten Schaub. 2009b. Application of ASP for automatic synthesis of flexible multiprocessor systems from parallel programs. In Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'09). Springer, 598--603.
[19]
Chakrabarty Krishnendu, Iyengar Sitharama, Qi Hairong, and Cho Eungchun. 2002. Grid coverage for surveillance and target location in distributed sensor networks. IEEE Trans. Comput. 51, 12, 1448--1453.
[20]
Vladimir Lifschitz. 2002. Answer set programming and plan generation. Artif. Intell. 138, 2002.
[21]
Vladimir Lifschitz. 2008. What is answer set programming? In Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI'08). 1594--1597.
[22]
Michael Mefenza, Franck Yonga, and Christophe Bobda. 2013. RazorCam: A prototyping environment for video communication. In Proceedings of the International Workshop on Mobile Computing Systems and Applications (HotMobile'13).
[23]
Brett H. Meyer and Donald E. Thomas. 2007. Rethinking automated synthesis of MPSoC architectures. In Proceedings of the IEEE International Parallel and Distributed Processing Symposium (IPDPS'07). 1--6.
[24]
Felix Mühlbauer, Michael Großhans, and Christophe Bobda. 2011. Rapid prototyping of opencv image processing applications using ASP. In Proceedings of the 22nd International Symposium on Rapid System Prototyping (RSP'11). 16--22.
[25]
Srinivasan Murali, Luca Benini, and Giovanni De Micheli. 2007. An application-specific design methodology for on-chip crossbar generation. IEEE Trans. Comput.-Aid. Des. Integr. Circ. Syst. 26, 7, 1283--1296.
[26]
Ilkka Niemel, Patrik Simons, and Timo Soininen. 1999. Stable model semantics of weight constraint rules. In Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'99). Lecture Notes in Artificial Intelligence, vol. 1730, Springer, 317--331.
[27]
Monica Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, and Matthew Barry. 2000. An a-prolog decision support system for the space shuttle. In Proceedings of the 3rd International Symposium on Practical Aspects of Declarative Languages (PADL'01). Springer, 169--183.
[28]
Yahya Osais, Marc St-Hilaire, and Richard Yu Fei. 2008. The minimum cost sensor placement problem for directional wireless sensor networks. In Proceedings of the 68th IEEE Vehicular Technology Conference (VTC'08). 1--5.
[29]
Shiv Prakash and Alice C. Parker. 1992. Synthesis of application-specific heterogeneous multiprocessor systems. Proc. J. Parallel Distrib. Comput. 16, 338--351.
[30]
Bernhard Rinner, Bernhard Dieber, Lukas Esterle, Peter R. Lewis, and Xin Yao. 2012. Resource-aware configuration in smart camera networks. In Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops (CVPRW'12). 58--65.
[31]
Charlie Savage. 2007. US doles out millions for street cameras, local efforts raise privacy alarms. The Boston Globe, August. http://www.boston.com/news/nation/articles/2007/08/12/us_doles_out_millions_for_street_cameras/?page=full.
[32]
Edward Shen and Richard Hornsey. 2011. Local image quality metric for a distributed smart camera network with overlapping FoVs. In Proceedings of the 5th ACM/IEEE International Conference on Distributed Smart Cameras (ICDSC'11). 1--6.
[33]
Tommi Syrjnen. 2002. Lparse 1.0 user's manual. http://www.tcs.hut.fi/Software/smodels/lparse.ps.gz.
[34]
Kugan Vivekanandarajah and Santhosh K. Pilakkat. 2008. Task mapping in heterogeneous MPSoCs for system level design. In Proceedings of the 13th IEEE international Conference on Engineering of Complex Computer System (ICECCS'08). 56--65.
Index Terms
- ASP-Based Encoding Model of Architecture Synthesis for Smart Cameras in Distributed Networks
Recommendations
High-level synthesis of on-chip multiprocessor architectures based on answer set programming
AbstractWe present a system-level synthesis approach for heterogeneous multi-processor on chip, based on Answer Set Programming(ASP). Starting with a high-level description of an application, its timing constraints and the physical constraints ...
Highlights- This paper presents a systemlevel synthesis methodology based on Answer Set Programming (ASP) for heterogeneous multiprocessor on chip.
Combinational logic synthesis for LUT based field programmable gate arrays
The increasing popularity of the field programmable gate-array (FPGA) technology has generated a great deal of interest in the algorithmic study and tool development for FPGA-specific design automation problems. The most widely used FPGAs are LUT based ...
SystemCoDesigner—an automatic ESL synthesis approach by design space exploration and behavioral synthesis for streaming applications
With increasing design complexity, the gap from ESL (Electronic System Level) design to RTL synthesis becomes more and more crucial to many industrial projects. Although several behavioral synthesis tools exist to automatically generate synthesizable ...
Comments
Information & Contributors
Information
Published In
February 2015
404 pages
Copyright © 2015 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Publisher
Association for Computing Machinery
New York, NY, United States
Journal Family
Publication History
Published: 02 March 2015
Accepted: 01 December 2014
Revised: 01 December 2014
Received: 01 February 2014
Published in TODAES Volume 20, Issue 2
Check for updates
Author Tags
Qualifiers
- Research-article
- Research
- Refereed
Funding Sources
- National Science Foundation
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 140Total Downloads
- Downloads (Last 12 months)2
- Downloads (Last 6 weeks)0
Reflects downloads up to 18 Feb 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in