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.
Surrounding autonomous embedded devices are in a constant expansion. The advent and the rise of Internet of Things (IoT) enable these objects to take a giant step forward, especially regarding their large scale deployment in real-world applications of the everyday life. A significant part of these objects are battery-powered and energy-dependent. Thus, energy is a critical resource which greatly complicates...
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...
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...
The increasing complexity of embedded operating systems is pushing their design to System-Level, leading to the convergence between software and hardware. In such scenario, it is highly desirable to verify system properties formally, regardless of whether their components are going to be implemented in software or hardware. In this paper, we introduce an approach to verify functional correctness and...
Maintenance of embedded software systems is faced with multiple challenges, including the exploration and analysis of the actual system's runtime behavior. As a fundamental technique, tracing can be used to capture data about runtime behavior as a whole, and represents one of the few methods to observe and record data about embedded systems within their production environments. In this paper we present...
In this paper, we advocate the idea of a runtime verification unit that complements the standard concept of a watchdog unit commonly employed on a microcontroller. Such a unit provides ways to trigger counter-measures by more expressive conditions than typical watchdog conditions, such as propositions stated in temporal logics. We show a possible application of this unit in a case study where we apply...
The following paper presents solutions to execute the hands-on training and introduce students to the measurement and control systems. Embedded systems are of a great importance to the contemporary computer science and electronics, so they must be present in the program of studies. The application of two modern hardware platforms is presented for both didactic and engineering tasks. They are National...
Estimating the worst-case execution time (WCET) of real-time embedded systems is compulsory for the verification of their correct functioning. Traditionally, the WCET of a program is estimated assuming availability of the program's binary which is disassembled to reconstruct the program, and in some cases its source code to derive useful high-level execution information. However, in certain scenarios...
In this work we describe the first real world case study for the self-healing eDNA (electronic DNA) architecture by implementing the control and data processing of a Fourier Transform Spectrometer (FTS) on an eDNA prototype. For this purpose the eDNA prototype has been ported from a Xilinx Virtex 5 FPGA to an embedded system consisting of a PowerPC and a Xilinx Virtex 5 FPGA. The FTS instrument features...
The theory of automatic detection is mainly described in this paper. The researching of the system based on Photoelectric technology and STM32F103 embedded systems: takeing advantage of effective combining between photoelectric detected unit and micro machine to realize developing the optical, mechanical and electronic integration of hand-held urine analyzer system and designing hardware and software...
A new kind of logging device was designed based on Nios II technology. The device make use of Nios II processor which was embedded in FPGA to achieve depth processing, tension, magnetic marks acquisition, Manchester code through custom components. The logging system based on Nios II technology has some features such as simple hardware structure, stable and reliable performance; it could be realized...
Considering the disadvantages of conventional dynamic strain measurement system such as large outlines, inconvenient usage and liable to various interferences, A new dynamic strain measurement system is designed based on the modern embedded computer technology and strain measurement technology, which is the integration of signal conditioning, data acquiring and data issuing. This measurement system...
In this paper, an USB host in the embedded system is designed and realized. Using LPC2387 microprocessor as main control chip, this system can send the data to an U flash disk by its on-chip USB controller. Depended on the ZLG/FS(Zhou LiGong's File System), the USB host-control driver, core driver and application program can be completed, and the files of U disk can be read and wrote by the USB host...
Modern embedded systems such as mobile phones or electronic control units from the automotive domain include a bulk of highly complex and highly interacting functions. Due to several reasons-flexibility and cost effectiveness may be the most important ones-a large and permanently growing part of these functions is implemented in software. This comes along with the demand for more and more processing...
Embedded software in the field of traffic management and control systems has an increasing demand on availability. Typically in case of a failure, hardware circuit watchdogs reset the whole system targeting the goal, that after some acceptable time the system is up and the applications are running correctly again. Also software-based monitoring solutions implementing standard patterns like the Watchdog...
Embedded software testing is a complex and difficult task. During the testing process, testing tasks often require additional hardware devices to assist. This paper, in the perspective of software solution, presents a supporting tool for testing embedded software. This tool can automatically generate test cases and test drivers, and supports unit test and coverage test which are based cross testing...
Illumination Recorder based on MSP430 MCU consists of hardware and software. The embedded processor MSP430F149, ferroelectric memory FM31256, high-gain amplifier OP777 and silicon LED 2DU6 complete of data collection and storage; five buttons and LCD graphic displays the completion of parameter setting, mode conversion and the date and time adjustment and display; using CH375B chip completes of communication...
For the practical application of synchronous acquisition of digital signals on many kinds of circuit boards, this paper, based on NI-TCLK (Trigger clock) synchronization technology, the modular hardware as the circuit board based on PXI (PCI extensions for Instrumentation) bus, as well as the modular software as NI-LABVIEW, a multi-module synchronic data acquisition system is developed. Accordingly,...
Most of embedded multiprocessor platforms are ideal for running diverse operating systems and implementing different applications. Inter-processor communication interface makes it possible for an embedded multi-processor system to easily support multiple subsystems parallel processing. This paper propose a kind of OS-level communication interface implementing method based-on HPI in the Complementary...
Virtual technology of measurement instrument is a significant technology in the field of information technology application. Taking the embedded microprocessor as the core CPU, this paper adopts the modularization design method and proposes a new system structure of handled virtual instrument combined with hardware circuit design technology, embedded operating system program technology and driver...
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.