Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Platforms and Architectures for Distributed Smart Cameras Kapitel lesen Erstes Kapitel lesen

2014 | OriginalPaper | Buchkapitel

4. Design and Verification Environment for High-Performance Video-Based Embedded Systems

verfasst von : Michael Mefenza, Franck Yonga, Christophe Bobda

Erschienen in: Distributed Embedded Smart Cameras

Verlag: Springer New York

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

In this chapter, we propose a design and verification environment for computational demanding and secure embedded vision-based systems. Starting with an executable specification in OpenCV, we provide subsequent refinements and verification down to a system-on-chip prototype into an FPGA-based smart camera. At each level of abstraction, properties of image processing applications are used along with structure composition to provide a generic architecture that can be automatically verified and mapped to a lower abstraction level, the last of which being the FPGA. The result of this design flow is a framework that encapsulates the computer vision library OpenCV at the highest level, integrates Accelera’s SystemC/TLM with the Universal Verification Methodology (UVM) and QEMU-OS for virtual prototyping, verification, and low-level mapping.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Reconfigurable Architectures for Distributed Smart Cameras
Nächstes Kapitel Distributed Mobile Computer Vision: Advances, Challenges and Applications
Literatur
1.
Assertion-Based Verification. Springer, US. doi:
2.
3.
4.
5.
Aghajan H, Cavallaro A (2009) Multi-camera networks: principles and applications. Academic Press, Waltham
6.
7.
Appiah K, Hunter A, Kluge T, Aiken P, Dickinson P (2009) FPGA-based anomalous trajectory detection using SOFM. In: Proceedings of the 5th international workshop on reconfigurable computing: architectures, tools and applications, ARC’09, pp 243–254. Springer, Berlin. doi:10.​1007/​978-3-642-00641-8_​24
8.
Bramberger M, Doblander A, Maier A, Rinner B, Schwabach H (2006) Distributed embedded smart cameras for surveillance applications. IEEE Comput Soc 39:68–75CrossRef
9.
Chen P, Ahammad P, Boyer C, Huang SI, Lin L, Lobaton E, Meingast M, Oh S, Wang S, Yan P, Yang AY, Yeo C, Chang LC, Tygar D, Sastry SS (2008) Citric: a low-bandwidth wireless camera network platform. In: Second ACM/IEEE international conference on distributed smart cameras, pp 1–10
10.
11.
Kim J, Sukkarieh S (2004) Slam aided GPS/INS navigation in GPS denied and unknown environments. In: The 2004 international symposium on GNSS/GPS, Sydney, pp 6–8
12.
13.
Lin F, Lum KY, Chen B, Lee T, Development of a vision-based ground target detection and tracking system for a small unmanned helicopter. Sci China Ser F. Inf Sci 52(11):2201–2215. doi:10.​1007/​s11432-009-0187-5
14.
Mefenza M, Yonga F, Bobda C (2013) Razorcam: an embedded platform for image processing. In: ASEE midwest conference
15.
Mefenza M, Yonga F, Bobda C (2013) ACM hotmobile 2013 poster: Razorcam: a prototyping environment for video communication. SIGMOBILE Mob Comput Commun Rev 17(3):13–14. doi:10.​1145/​2542095.​2542103
16.
Meingast M, Geyer C, Sastry S (2004) Vision based terrain recovery for landing unmanned aerial vehicles. In: 43rd IEEE conference on decision and control (CDC), 2004, vol. 2, pp 1670–1675. doi:10.​1109/​CDC.​2004.​1430284.
17.
18.
Park J, Lee B, Lim K, Kim J, Kim S, Kwang-Hyun-Baek (2008) Co-simulation of SystemC TLM with RTL HDL for surveillance camera system verification. In: 15th IEEE international conference on electronics, circuits and systems, 2008 (ICECS 2008), pp 474–477. doi:10.​1109/​ICECS.​2008.​4674893
19.
Rinner B, Winkler T, Schriebl W, Quaritsch M, Wolf W (2008) The evolution from single to pervasive smart cameras. In: Second ACM/IEEE international conference on distributed smart cameras, 2008 (ICDSC 2008), pp 1–10. doi:10.​1109/​ICDSC.​2008.​4635674
20.
Rose A, Swan S, Pierce J, Fernandez J (2005) Transaction level modeling in SystemC. Open SystemC Initiative 1(1.297)
21.
Saha S (2007) Design methodology for embedded computer vision systems. PhD thesis
22.
Samsom H, Franssen F, Catthoor F, De Man H (1995) System level verification of video and image processing specifications. In: Proceedings of the 8th international symposium on system synthesis, 1995, pp 144–149. doi:10.​1109/​ISSS.​1995.​520626
23.
Schlessman J, Chen CY, Wolf W, Ozer B, Fujino K, Itoh K (2006) Hardware/software co-design of an fpga-based embedded tracking system. In: Conference on computer vision and pattern recognition workshop, 2006 (CVPRW’06), pp 123–123. doi:10.​1109/​CVPRW.​2006.​92
24.
Trost A, Zemva A (2012) Verification structures for design of video processing circuits. In: MIPRO, 2012 proceedings of the 35th international convention, pp 222–227
25.
Metadaten
Titel
Design and Verification Environment for High-Performance Video-Based Embedded Systems
verfasst von
Michael Mefenza
Franck Yonga
Christophe Bobda
Copyright-Jahr
2014
Verlag
Springer New York
Buch
Distributed Embedded Smart Cameras

Print ISBN: 978-1-4614-7704-4

Electronic ISBN: 978-1-4614-7705-1

Copyright-Jahr: 2014

DOI
https://doi.org/10.1007/978-1-4614-7705-1_4

Neuer Inhalt

    Bildnachweise