scholarly journals Improved Efficiency of Object Code Verification Using Statically Abstracted Object Code

2020 ◽  
Vol 2020 ◽  
pp. 1-19
Author(s):  
N. Shaukat ◽  
S. Shuja ◽  
S. K. Srinivasan ◽  
S. Jabeen
Keyword(s):  
Embedded System ◽  
Transition System ◽  
Object Code ◽  
Code Size ◽  
Large Size ◽  
Current State ◽  
The Common ◽  
The Embedded System ◽  
Verification Process ◽  
Manual Verification

One of the major challenges in the formal verification of embedded system software is the complexity and substantially large size of the implementation. The problem becomes crucial when the embedded system is a complex medical device that is executing convoluted algorithms. In refinement-based verification, both specification and implementation are expressed as transition systems. Each behavior of the implementation transition system is matched to the specification transition system with the help of a refinement map. The refinement map can only project those values from the implementation which are responsible for labeling the current state of the system. When the refinement map is applied at the object code level, numerous instructions map to a single state in the specification transition system called stuttering instructions. We use the concept of Static Stuttering Abstraction (SSA) that filters the common multiple segments of stuttering instructions and replaces each segment with a merger. SSA algorithm reduces the implementation state space in embedded software, subsequently decreasing the efforts involved in manual verification with WEB refinement. The algorithm is formally proven for correctness. SSA is implemented on the pacemaker object code to evaluate the effectiveness of abstracted code in verification process. The results helped to establish the fact that, despite code size reduction, the bugs and errors can still be found. We implemented the SSA technique on two different platforms and it has been proven to be consistent in decreasing the code size significantly and hence the complexity of the implementation transition system. The results illustrate that there is considerable reduction in time and effort required for the verification of a complex software control, i.e., pacemaker when statically stuttering abstracted code is employed.

Design of Virtual Oscilloscope Based on S3C2410

2011 ◽  
Vol 189-193 ◽  
pp. 227-230
Author(s):  
Shu Lin Shi ◽  
Guo Rui Pi
Keyword(s):  
Embedded System ◽  
Real Time ◽  
High Speed ◽  
Data Exchange ◽  
Control Logic ◽  
Real Time Processing ◽  
High Speed Data ◽  
The Common ◽  
The Embedded System ◽  
The Cost

: This topic has designed a kind of virtual oscilloscope based on the embedded technical. On the hardware the S3C2410+IDT7204 structure were used, on the software real-time operating system uC/OS-II were used in the design of embedded virtual oscilloscope. ARM9 microprocessor's high speed handling ability are fully used, as well as FIFO in the read-write control logic, the superiority in high speed data exchange aspect, realizes the double channel synchronization profile demonstration. the multi-task run and the real-time processing were realized by using on the uC/OS-II operating system's in ARM9 microprocessor transplant. This oscilloscope has the cost lowly, to be possible to as the common oscilloscope, also to be possible to as an intelligent module the merit which used in the embedded system.

scholarly journals Contributions to Management Strategies in the NE Atlantic Regarding the Life History and Population Structure of a Key Deep-Sea Fish (Mora moro)

Biology ◽  
2021 ◽  
Vol 10 (6) ◽  
pp. 522
Author(s):  
Régis Santos ◽  
Wendell Medeiros-Leal ◽  
Osman Crespo ◽  
Ana Novoa-Pabon ◽  
Mário Pinho
Keyword(s):  
Population Structure ◽  
Life History ◽  
Deep Sea ◽  
Management Strategies ◽  
Size Composition ◽  
Large Size ◽  
The Common ◽  
Fishing Impacts ◽  
Sea Fish

With the commercial fishery expansion to deeper waters, some vulnerable deep-sea species have been increasingly captured. To reduce the fishing impacts on these species, exploitation and management must be based on detailed and precise information about their biology. The common mora Mora moro has become the main deep-sea species caught by longliners in the Northeast Atlantic at depths between 600 and 1200 m. In the Azores, landings have more than doubled from the early 2000s to recent years. Despite its growing importance, its life history and population structure are poorly understood, and the current stock status has not been assessed. To better determine its distribution, biology, and long-term changes in abundance and size composition, this study analyzed a fishery-dependent and survey time series from the Azores. M. moro was found on mud and rock bottoms at depths below 300 m. A larger–deeper trend was observed, and females were larger and more abundant than males. The reproductive season took place from August to February. Abundance indices and mean sizes in the catch were marked by changes in fishing fleet operational behavior. M. moro is considered vulnerable to overfishing because it exhibits a long life span, a large size, slow growth, and a low natural mortality.

scholarly journals Multiple Narrowband Interferences Characterization, Detection and Mitigation Using Simplified Welch Algorithm and Notch Filtering

2021 ◽  
Vol 11 (3) ◽  
pp. 1331
Author(s):  
Mohammad Hossein Same ◽  
Gabriel Gleeton ◽  
Gabriel Gandubert ◽  
Preslav Ivanov ◽  
Rene Jr Landry
Keyword(s):  
Power Spectrum ◽  
Embedded System ◽  
Radio Frequency ◽  
Satellite Communication ◽  
Signal To Noise Ratio ◽  
Center Frequency ◽  
Infinite Impulse Response ◽  
Frequency Variation ◽  
Welch Method ◽  
The Embedded System

By increasing the demand for radio frequency (RF) and access of hackers and spoofers to low price hardware and software defined radios (SDR), radio frequency interference (RFI) became a more frequent and serious problem. In order to increase the security of satellite communication (Satcom) and guarantee the quality of service (QoS) of end users, it is crucial to detect the RFI in the desired bandwidth and protect the receiver with a proper mitigation mechanism. Digital narrowband signals are so sensitive into the interference and because of their special power spectrum shape, it is hard to detect and eliminate the RFI from their bandwidth. Thus, a proper detector requires a high precision and smooth estimation of input signal power spectral density (PSD). By utilizing the presented power spectrum by the simplified Welch method, this article proposes a solid and effective algorithm that can find all necessary interference parameters in the frequency domain while targeting practical implantation for the embedded system with minimum complexity. The proposed detector can detect several multi narrowband interferences and estimate their center frequency, bandwidth, power, start, and end of each interference individually. To remove multiple interferences, a chain of several infinite impulse response (IIR) notch filters with multiplexers is proposed. To minimize damage to the original signal, the bandwidth of each notch is adjusted in a way that maximizes the received signal to noise ratio (SNR) by the receiver. Multiple carrier wave interferences (MCWI) is utilized as a jamming attack to the Digital Video Broadcasting-Satellite-Second Generation (DVB-S2) receiver and performance of a new detector and mitigation system is investigated and validated in both simulation and practical tests. Based on the obtained results, the proposed detector can detect a weak power interference down to −25 dB and track a hopping frequency interference with center frequency variation speed up to 3 kHz. Bit error ratio (BER) performance shows 3 dB improvement by utilizing new adaptive mitigation scenario compared to non-adaptive one. Finally, the protected DVB-S2 can receive the data with SNR close to the normal situation while it is under the attack of the MCWI jammer.

scholarly journals An Overview of Biodiesel Production via Calcium Oxide Based Catalysts: Current State and Perspective

Energies ◽  
2021 ◽  
Vol 14 (13) ◽  
pp. 3950
Author(s):  
Hoora Mazaheri ◽  
Hwai Chyuan Ong ◽  
Zeynab Amini ◽  
Haji Hassan Masjuki ◽  
M. Mofijur ◽  
...  
Keyword(s):  
Heterogeneous Catalysis ◽  
Calcium Oxide ◽  
Heterogeneous Catalysts ◽  
Low Cost ◽  
Biodiesel Production ◽  
Catalyst Synthesis ◽  
Process Improvements ◽  
Current State ◽  
The Common ◽  
Activity Mechanism

Biodiesel is a clean, renewable, liquid fuel that can be used in existing diesel engines without modification as pure or blend. Transesterification (the primary process for biodiesel generation) via heterogeneous catalysis using low-cost waste feedstocks for catalyst synthesis improves the economics of biodiesel production. Heterogeneous catalysts are preferred for the industrial generation of biodiesel due to their robustness and low costs due to the easy separation and relatively higher reusability. Calcium oxides found in abundance in nature, e.g., in seashells and eggshells, are promising candidates for the synthesis of heterogeneous catalysts. However, process improvements are required to design productive calcium oxide-based catalysts at an industrial scale. The current work presents an overview of the biodiesel production advancements using calcium oxide-based catalysts (e.g., pure, supported, and mixed with metal oxides). The review discusses different factors involved in the synthesis of calcium oxide-based catalysts, and the effect of reaction parameters on the biodiesel yield of calcium oxide-based catalysis are studied. Further, the common reactor designs used for the heterogeneous catalysis using calcium oxide-based catalysts are explained. Moreover, the catalytic activity mechanism, challenges and prospects of the application of calcium oxide-based catalysts in biodiesel generation are discussed. The study of calcium oxide-based catalyst should continue to be evaluated for the potential of their application in the commercial sector as they remain the pivotal goal of these studies.

scholarly journals The Design of a 2D Graphics Accelerator for Embedded Systems

Electronics ◽  
2021 ◽  
Vol 10 (4) ◽  
pp. 469
Author(s):  
Hyun Woo Oh ◽  
Ji Kwang Kim ◽  
Gwan Beom Hwang ◽  
Seung Eun Lee
Keyword(s):  
Embedded Systems ◽  
Embedded System ◽  
Real Time ◽  
Line Drawing ◽  
Cmos Process ◽  
Embedded Processor ◽  
Processor Core ◽  
Field Programmable ◽  
The Embedded System ◽  
Graphics Processing

Recently, advances in technology have enabled embedded systems to be adopted for a variety of applications. Some of these applications require real-time 2D graphics processing running on limited design specifications such as low power consumption and a small area. In order to satisfy such conditions, including a specific 2D graphics accelerator in the embedded system is an effective method. This method reduces the workload of the processor in the embedded system by exploiting the accelerator. The accelerator assists the system to perform 2D graphics processing in real-time. Therefore, a variety of applications that require 2D graphics processing can be implemented with an embedded processor. In this paper, we present a 2D graphics accelerator for tiny embedded systems. The accelerator includes an optimized line-drawing operation based on Bresenham’s algorithm. The optimized operation enables the accelerator to deal with various kinds of 2D graphics processing and to perform the line-drawing instead of the system processor. Moreover, the accelerator also distributes the workload of the processor core by removing the need for the core to access the frame buffer memory. We measure the performance of the accelerator by implementing the processor, including the accelerator, on a field-programmable gate array (FPGA), and ascertaining the possibility of realization by synthesizing using the 180 nm CMOS process.

Reform of embedded system experiment course based on engineering education accreditation

2020 ◽  
pp. 002072092091815
Author(s):  
Yong Luo ◽  
Shuai-Bing Qin ◽  
Dong-Shu Wang
Keyword(s):  
Education Reform ◽  
Embedded System ◽  
Engineering Education ◽  
Assessment Method ◽  
Teaching Model ◽  
Electronic Information ◽  
Course Content ◽  
Practical Operation ◽  
System Experiment ◽  
The Embedded System

With the continuous development of engineering education accreditation in China, its concept has had a profound impact on the reform of various majors in higher education. Using the idea of engineering education accreditation, this paper discusses the main problems in the implementation of embedded experimental courses of electronic information majors and proposes related education reform programs. Taking the embedded system experiment course of the automation major and embedded system major of Zhengzhou University as examples, the course has carried out research on the aspects of teaching model, experimental course content, scientific assessment method, etc., and proposed corresponding improvement methods to achieve better effect. The practical operation result has proved that the embedded system experiment course of the automation major and embedded system major improved the students’ ability and met the requirements of professional accreditation.

Structure of an Embedded System Software Platform for Plate Recognition System Based on Applied Mechanics

2012 ◽  
Vol 460 ◽  
pp. 266-270
Author(s):  
Xing Wu Sun ◽  
Yu Chen ◽  
Ai Fei Wang
Keyword(s):  
Embedded System ◽  
Recognition System ◽  
Cmos Camera ◽  
Camera System ◽  
New Thought ◽  
Development Platform ◽  
Embedded Linux System ◽  
Acquisition Device ◽  
The Embedded System ◽  
And Control

According to the shortcomings of large volume and high cost about the plate recognition system, an embedded plate recognition system is developed based on the ARM11 processor at lower costs. Taking the embedded Linux system as the software development platform, the system uses graphical user interface to operate and control the machine. Using CMOS camera system as image acquisition device, the system adopts HSV algorithm to realize the image classification on the platform of the embedded plate recognition system. The experimental results show that the embedded system runs stably, can realize the plate classification by color, and has the advantages of small size, low power consumption, convenience for using and so on. The embedded system provides a new thought for plate recognition.

Design and Implementation of Contour Tracing Image Recognition System

2014 ◽  
Vol 543-547 ◽  
pp. 2209-2212
Author(s):  
Chun Hua Xiong ◽  
You Jie Zhou ◽  
Gao Jun An ◽  
Chang Bo Lu
Keyword(s):  
Embedded System ◽  
Image Recognition ◽  
Integrated Design ◽  
Recognition System ◽  
Image System ◽  
Intelligent Monitoring ◽  
Contour Tracing ◽  
The Embedded System ◽  
Imaging Sensor ◽  
Very High

Based on the existing contour tracing image recognition technology, combining the embedded system technology and the computer storage control technology, the author makes an integrated design, adopts the image processing chip, USB controller, the imaging sensor and other hardware circuits and develops an intelligent image system. The system can make real-time monitoring the size and change of millimeter-sized irregular target objects. Its applicable value in the fields such as intelligent monitoring of oil equipment, medical imaging and criminal investigation is very high.

Design and Implementation of Spurs Detection System Based on OpenCV

2011 ◽  
Vol 345 ◽  
pp. 217-222
Author(s):  
Peng He ◽  
Lian Peng Wang ◽  
Na Wang ◽  
Gang Xu
Keyword(s):  
Computed Tomography ◽  
Embedded System ◽  
Detection System ◽  
Experimental Results ◽  
Design And Implementation ◽  
Function Expansion ◽  
The Embedded System ◽  
Improved Function ◽  
Small Bone ◽  
Improved Algorithm

In order to better solve the problem of detection of small bone spurs with convenient and accurate way, a portable spur detection system is designed. This system, in view of spur reproducibility characteristic, is characterized by the application for a kind of the improved algorithm based on the OpenCV. And it was successfully transplanted into the embedded system. The experimental results indicated that this system might precisely examine the small spur with difficulty discovery by naked eyes used fully by two images of computed tomography which done in different periods. The spur detection system needs to be further improved function to realize more applications. In fact, function expansion based on the system is easy to realize.

Sign in / Sign up

Export Citation Format

Share Document