The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
This paper explains the design of low cost multi-channel Data Acquisition (DAQ) hardware based on serial communication. The paper puts forward an overall scheme of the system involving the hardware and software design. The hardware design is based on microcontroller (AT89C51) and uses key ADC chip (ADC0808) to realize the acquisition of multichannel analog signals and software design is the implementation...
Hardware has become an increasingly attractive target for attackers, yet we still largely lack tools that enable us to analyze large designs for security flaws. Information flow tracking (IFT) models provide an approach to verifying a hardware design's adherence to security properties related to isolation and reachability.
Attacks targeting software on embedded systems are becoming increasingly prevalent. Remote attestation is a mechanism that allows establishing trust in embedded devices. However, existing attestation schemes are either static and cannot detect control-flow attacks, or require instrumentation of software incurring high performance overheads. To overcome these limitations, we present LO-FAT, the first...
This work presents a minimally-intrusive, high-performance, post-silicon validation framework for validating memory consistency in multi-core systems. Our framework generates constrained-random tests that are instrumented with observability-enhancing code for memory consistency verification. For each test, we generate a set of compact signatures reflecting the memory-ordering patterns observed over...
Digital musical instruments (DMIs) make up a class of devices in which gestural control and sound production are physically decoupled, but digitally mapped. This work discusses aspects of DMI design by focusing on the complexity of the design space and the importance of prototyping cycles. The authors' research questions cover how to provide an initial path for generating DMI ideas and how to reduce...
High-Level Synthesis (HLS) has emerged as a leading technology to reduce the design time and complexity that is associated with reconfigurable systems. In order to maintain the productivity promised by HLS, it is important that the designer can debug the system in the context of the high-level code. Currently, software simulations offer a quick and familiar method to target logic and syntax bugs,...
Soft processors are one way to raise the computational abstraction of FPGAs while keeping the advantages of reconfigurable hardware, such as adaptability, deterministic performance and high performance/watt. Software developers can quickly build, test and deploy applications using familiar tools while still leveraging important optimizations such as application-specific custom instructions. However,...
Foot pressure measurement is necessary for classifying disorders of the foot and designing insole for individual person. This present work uses optical sensor (webcam) to capture the foot-pressure image. Image processing on Raspberry Pi with OpenCV library is applied to process image and color coding corresponding to foot pressure. The hardware system uses the transparent acrylic plate and uses the...
Spatial errors (e.g., buffer overflows) continue to be one of the dominant threats to software reliability and security in C/C++ programs. Presently, the software industry typically enforces spatial memory safety by instrumentation. Due to high overheads incurred in bounds checking at runtime, many program inputs cannot be exercised, causing some input-specific spatial errors to go undetected in today's...
This paper describes a powertrain test-bed platform for Plug-In Hybrid Electric Vehicles (PHEVs) that can be used to evaluate energy management strategies. The hardware-in-the-loop (HIL) simulation platform comprises two parts: 1) the simulation of the vehicle's electric powertrain, 2) the monitoring and control of the vehicle through the use of an ad hoc data administration and communication system...
For the requisite of verifying the MIKME advanced microphone during serial production, an automated test system for hardware testing was developed. The system, that comprises a specially designed test fixture — bed-of-nails, the PXI instrumentation and a LabVIEW application, is presented in the paper with all of its features related to the MIKME product. The proposed solution is up to 20 times faster,...
This paper introduces a new kind of data hub that is used for evaluation experiments of electrical devices. The hubs not only bridge the real-time data flow between on-site experimental equipment to central servers, but also solve the problem of data normalization. The design of the hub also considers the security issues and data protection in power grid internal network. According to the result of...
A brief review of Protected Execution Mode (PEM) for user-space applications featured in Elbrus architecture is described first. Then, AddressSanitizer, a well-known utility by Google Inc, is considered as an example of a pure software technique of memory control. Comparative analysis of these solutions is given with performance flaws, applicability and boundary violation detection quality.
A huge number of connected objects are expected to be deployed over the coming years in various areas of everyday life. Many of these objects are energy-constrained and depend on a battery. Thus, energy is a critical resource that limits a large scale deployment, and greatly complicates the development of the embedded software on these objects. Hence, the ability to measure and finely profile the...
MOOC or Massive Open Online Course are a virtual training form present in the current educational landscape. Several authors raise doubts about whether these software products offer quality training, being necessary to establish instruments that certify their characteristics or guide how to approach optimization to ensure success and consolidation of this type of e-learning. This project proposes...
The common DPU platform for ESA JUICE mission instruments is a hardware and software platform developed by Cobham Gaisler for the scientific instrument payloads of the European Space Agency Jupiter Icy Moons spacecraft. The hardware is based around the GR712RC dual-core LEON3-FT processor with GRSPW2 SpaceWire interfaces. To accompany the JUICE instrument hardware, a flight quality SpaceWire software...
This article describes the construction of a five spacecraft flight simulator based on an air bearing system, which was designed and instrumented in university of Isfahan laboratory to evaluate and to perform research in the field of Attitude Determination and Control Systems for spacecraft. This simulator is modeled in Autodesk-Inventor software package to design the simulator component precisely...
Memory access tracing is aprogram analysis technique with many different applications, ranging from architectural simulation to (on-line) data placement optimization and security enforcement. In this article we propose a memory access tracing approach based on static x86 binary instrumentation. Unlike non-selective schemes, whichinstrument all the memory access instructions, our proposal selectively...
In this paper an automated, software-based and easy to customize test tool for Hardware in the Loop (HIL) measurements is proposed. This system is originally designed for the test of a thermal power station control system. Due to its modular approach it may also be customized for a wide range of applications. The developed tool is independent of the Operating System (OS) or the used hardware platform...
The end of Dennard Scaling has necessitated research into the adoption of specialized architectures for offloading specific code regions in applications. Recent works in accelerator architectures have chosen diverse workloads and even diverse code regions (within the same workload) to highlight the efficacy of specific accelerator architectures. However this makes it challenging to evaluate the power/performance...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.