Efficient specification-assisted error localization

ERROR LOCALIZATION DIAGNOSTIC MODEL OPTIMIZATION IN DIGITAL STATE MACHINES NETWORKS

CAD/EDA, MODELING AND SIMULATION IN MODERN ELECTRONICS: COLLECTION OF SCIENTIFIC PAPERS OF THE III INTERNATIONAL SCIENTIFIC AND PRACTICAL CONFERENCE ◽

10.30987/conferencearticle_5e028212131127.16516091 ◽

2019 ◽

Author(s):

Irina Bystrova ◽

E. Danil'chuk ◽

Boris Podkopaev

Keyword(s):

Single Component ◽

Diagnostic Model ◽

State Machines ◽

Model Optimization ◽

Error Localization ◽

Diagnostic Models

The problem of constructing a diagnostic model for a network S consisting of a number of digital automata is considered, provided that the diagnostic models of all network components are known. It is assumed that these models are given by systems of logical equations, and the errors to be detected are localized in any but a single component of the network.

Download Full-text

Automated Design Error Localization in RTL Designs

IEEE Design and Test ◽

10.1109/mdat.2013.2271420 ◽

2014 ◽

Vol 31 (1) ◽

pp. 83-92 ◽

Cited By ~ 5

Author(s):

Maksim Jenihhin ◽

Anton Tsepurov ◽

Valentin Tihhomirov ◽

Jaan Raik ◽

Hanno Hantson ◽

...

Keyword(s):

Automated Design ◽

Design Error ◽

Error Localization

Download Full-text

Error localization performance analysis of quantized DFT codes

Proceedings of the IEEE Information Theory Workshop ◽

10.1109/itw.2002.1115455 ◽

2003 ◽

Cited By ~ 1

Author(s):

G. Rath ◽

C. Guillemot

Keyword(s):

Performance Analysis ◽

Error Localization ◽

Localization Performance

Download Full-text

Counterexample-Based Error Localization of Behavior Models

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-642-20398-5_17 ◽

2011 ◽

pp. 222-236 ◽

Cited By ~ 4

Author(s):

Tsutomu Kumazawa ◽

Tetsuo Tamai

Keyword(s):

Error Localization ◽

Behavior Models

Download Full-text

Automated source-level error localization in hardware designs

IEEE Design & Test of Computers ◽

10.1109/mdt.2006.5 ◽

2006 ◽

Vol 23 (1) ◽

pp. 8-19 ◽

Cited By ~ 31

Author(s):

B. Peischl ◽

F. Wotawa

Keyword(s):

Error Localization ◽

Source Level ◽

Hardware Designs

Download Full-text

The Complex Approach of the C-lightVer System to the Automated Error Localization in C-Programs

Automatic Control and Computer Sciences ◽

10.3103/s0146411620070093 ◽

2020 ◽

Vol 54 (7) ◽

pp. 728-739

Author(s):

D. A. Kondratyev ◽

A. V. Promsky

Keyword(s):

C Programs ◽

Error Localization ◽

Complex Approach

Download Full-text

Reliable Mode Shape Expansion Method for Error Localisation and Model Updating

Volume 1B: 16th Biennial Conference on Mechanical Vibration and Noise ◽

10.1115/detc97/vib-4145 ◽

1997 ◽

Author(s):

Philippe Collignon ◽

Jean-Claude Golinval

Keyword(s):

Cantilever Beam ◽

Mode Shape ◽

Constitutive Equations ◽

Structural Model ◽

Model Updating ◽

Failure Detection ◽

Expansion Method ◽

Relative Performance ◽

Mode Shapes ◽

Error Localization

Abstract Failure detection and model updating using structural model are based on the comparison of an appropriate indicator of the discrepancy between experimental and analytical results. The reliability of the expansion of measured mode shapes is very important for the process of error localization and model updating. Two mode shape expansion techniques are examined in this paper : the well known dynamic expansion (DE) method and a method based on the minimisation of errors on constitutive equations (MECE). A new expansion method based on some improvements of the previous techniques is proposed to obtain results that are more reliable for error localisation and for model updating. The relative performance of the different expansion methods is demonstrated on the example of a cantilever beam.

Download Full-text