Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 2 of 2
Full-Text Articles in Physical Sciences and Mathematics
Design And Verification Environment For High-Performance Video-Based Embedded Systems, Michael Mefenza Nentedem
Design And Verification Environment For High-Performance Video-Based Embedded Systems, Michael Mefenza Nentedem
Graduate Theses and Dissertations
In this dissertation, a method and a tool to enable design and verification of computation demanding embedded vision-based systems is presented. 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 the lower abstraction level. The result is a framework that encapsulates the computer vision library OpenCV at the highest level, integrates Accelera's System-C/TLM with UVM and QEMU-OS …
Synthesis Of Real-Time Cloud Applications For Internet Of Things, Slawomir Bak, Radoslaw Czarnecki, Stanislaw Deniziak
Synthesis Of Real-Time Cloud Applications For Internet Of Things, Slawomir Bak, Radoslaw Czarnecki, Stanislaw Deniziak
Turkish Journal of Electrical Engineering and Computer Sciences
This paper presents the methodology for the synthesis of real-time applications working in the ``Internet of Things'' environment. We propose the client-server architecture, where embedded systems act as smart clients and the Internet application is a server of the system. The architecture of the application conforms to the cloud computing model. Since centralized systems are prone to bottlenecks caused by accumulation of transmissions or computations, we propose the distributed architecture of the server and the methodology that constructs this architecture using Internet resources supported by a cloud provider. We assume that the function of the server is specified as a …