Test Generation for Embedded Executables via Concolic Execution in a Real Environment

Background: The designed circuits are tested for faults detection in fabrication to determine which devices are defective. The design verification is performed to ensure that the circuit performs the required functions after manufacturing. Design verification is regarded as a test form in both sequential and combinational circuits. The analysis of sequential circuits test is more difficult than in the combinational circuit test. However, algorithms can be used to test any type of sequential circuit regardless of its composition. An important sequential circuit is the finite impulse response (FIR) filters that are widely used in digital signal processing applications. Objective: This paper presented a new design under test (DUT) algorithm for 4-and 8-tap FIR filters. Also, the FIR filter and the proposed DUT algorithm is implemented using field programmable gate arrays (FPGA). Method: The proposed test generation algorithm is implemented in VHDL using Xilinx ISE V14.5 design suite and verified by simulation. The test generation algorithm used FIR filtering redundant faults to obtain a set of target faults for DUT. The fault simulation is used in DUT to assess the benefit of test pattern in fault coverage. Results: The proposed technique provides average reductions of 20 % and 38.8 % in time delay with 57.39 % and 75 % reductions in power consumption and 28.89 % and 28.89 % slices reductions for 4- and 8-tap FIR filter, respectively compared to similar techniques. Conclusions: The results of implementation proved that a high speed and low power consumption design can be achieved. Further, the speed of the proposed architecture is faster than that of existing techniques.

Download Full-text

Encoding the certainty of boolean variables to improve the guidance for search-based test generation

Proceedings of the Genetic and Evolutionary Computation Conference ◽

10.1145/3449639.3459339 ◽

2021 ◽

Author(s):

Sebastian Vogl ◽

Sebastian Schweikl ◽

Gordon Fraser

Keyword(s):

Test Generation

Download Full-text

Fuzzy domain and meta-heuristic algorithm-based collision avoidance control for ships: Experimental validation in virtual and real environment

Ocean Engineering ◽

10.1016/j.oceaneng.2020.108502 ◽

2021 ◽

Vol 220 ◽

pp. 108502

Author(s):

Remzi Fiskin ◽

Oguz Atik ◽

Hakki Kisi ◽

Efendi Nasibov ◽

Tor Arne Johansen

Keyword(s):

Collision Avoidance ◽

Heuristic Algorithm ◽

Experimental Validation ◽

Real Environment ◽

Collision Avoidance Control ◽

Avoidance Control

Download Full-text

Load Measurement of the Cervical Vertebra C7 and the Head of Passengers of a Car While Driving Across Uneven Terrain

Sensors ◽

10.3390/s21113849 ◽

2021 ◽

Vol 21 (11) ◽

pp. 3849

Author(s):

Martin Svoboda ◽

Milan Chalupa ◽

Karel Jelen ◽

František Lopot ◽

Petr Kubový ◽

...

Keyword(s):

Cervical Vertebrae ◽

Vertical Direction ◽

Cervical Vertebra ◽

Parietal Bone ◽

The Body ◽

Human Organism ◽

Dynamic Effects ◽

The Road ◽

Real Environment ◽

On The Road

The article deals with the measurement of dynamic effects that are transmitted to the driver (passenger) when driving in a car over obstacles. The measurements were performed in a real environment on a defined track at different driving speeds and different distributions of obstacles on the road. The reaction of the human organism, respectively the load of the cervical vertebrae and the heads of the driver and passenger, was measured. Experimental measurements were performed for different variants of driving conditions on a 28-year-old and healthy man. The measurement’s main objective was to determine the acceleration values of the seats in the vehicle in the vertical movement of parts of the vehicle cabin and to determine the dynamic effects that are transmitted to the driver and passenger in a car when driving over obstacles. The measurements were performed in a real environment on a defined track at various driving speeds and diverse distributions of obstacles on the road. The acceleration values on the vehicle’s axles and the structure of the driver’s and front passenger’s seats, under the buttocks, at the top of the head (Vertex Parietal Bone) and the C7 cervical vertebra (Vertebra Cervicales), were measured. The result of the experiment was to determine the maximum magnitudes of acceleration in the vertical direction on the body of the driver and the passenger of the vehicle when passing a passenger vehicle over obstacles. The analysis of the experiment’s results is the basis for determining the future direction of the research.

Download Full-text