A formal approach for specification and verification of fault injection process

2009 ◽  
Author(s):  
Fayçal Bessayah ◽  
Ana Cavalli ◽  
Eliane Martins
Keyword(s):  
Fault Injection ◽  
Formal Approach ◽  
Injection Process ◽  
Specification And Verification

Research on Gray-Box Testing Methods for Software Fault Injection

2014 ◽  
Vol 543-547 ◽  
pp. 3360-3363
Author(s):  
Xiao Qi Xing ◽  
Bin Liu ◽  
Dong Yi Ling
Keyword(s):  
Fault Injection ◽  
Injection Technique ◽  
Test Coverage ◽  
System Function ◽  
Testing Methods ◽  
Testing Technique ◽  
Injection Process ◽  
Process Framework ◽  
Software Fault ◽  
Function Module

Because of various advantages of software, implemented system function is more and more through software. In order to ensure the system is running, the verification of fault-oriented processing function module need software fault injected techniques to support. The traditional software fault injection technique method mainly studies the injection achievement of various fault modes. In order to achieve better test coverage, it is necessary to analyze software fault related needs and structure. Therefore, this paper combined gray box testing methods and software fault injection technique, it is proposed gray-box testing technique oriented to software fault injection, and give fault injection process framework.

scholarly journals Fault Injection Emulation for Systems in FPGAs: Tools, Techniques and Methodology, a Tutorial

Sensors ◽  
2021 ◽  
Vol 21 (4) ◽  
pp. 1392
Author(s):  
Óscar Ruano ◽  
Francisco García-Herrero ◽  
Luis Alberto Aranda ◽  
Alfonso Sánchez-Macián ◽  
Laura Rodriguez ◽  
...  
Keyword(s):  
Communication Systems ◽  
Finite Impulse Response ◽  
Fault Injection ◽  
Soft Error ◽  
Error Correction Codes ◽  
Classical Communication ◽  
Injection Process ◽  
Error Mitigation ◽  
Field Programmable ◽  
Modular Redundancy

Communication systems that work in jeopardized environments such as space are affected by soft errors that can cause malfunctions in the behavior of the circuits such as, for example, single event upsets (SEUs) or multiple bit upsets (MBUs). In order to avoid this erroneous functioning, this kind of systems are usually protected using redundant logic such as triple modular redundancy (TMR) or error correction codes (ECCs). After the implementation of the protected modules, the communication modules must be tested to assess the achieved reliability. These tests could be driven into accelerator facilities through ionization processes or they can be performed using fault injection tools based on software simulation such as the SEUs simulation tool (SST), or based on field-programmable gate array (FPGA) emulation like the one described in this work. In this paper, a tutorial for the setup of a fault injection emulation platform based on the Xilinx soft error mitigation (SEM) intellectual property (IP) controller is depicted step by step, showing a complete cycle. To illustrate this procedure, an online repository with a complete project and a step-by-step guide is provided, using as device under test a classical communication component such as a finite impulse response (FIR) filter. Finally, the integration of the automatic configuration memory error-injection (ACME) tool to speed up the fault injection process is explained in detail at the end of the paper.

Reconfiguration of Autonomous Robotics

2015 ◽  
Vol 3 (1) ◽  
pp. 41-58
Author(s):  
Yujian Fu ◽  
Steven Drager
Keyword(s):  
Natural Transformation ◽  
Formal Model ◽  
Research Work ◽  
Dynamic Reconfiguration ◽  
Dynamic Adaptation ◽  
Autonomous Robotics ◽  
Enabling Technology ◽  
Formal Approach ◽  
Heterogeneous Objects ◽  
Specification And Verification

Autonomous robotics systems (ARSs) consist of multiple heterogeneous objects and intelligent inferences that are expected to take appropriate actions even in unforeseen circumstances. Dynamic reconfiguration of ARSs is a key enabling technology and plays a major role in the future cyber-enabled battle field. This research work, focused on the development of a formal approach to the specification and verification of reconfigurability of ARSs. Two typical problems w.r.t. the dynamic adaptation and reconfiguration of ARSs were identified and studied. The first problem is how to formally represent the ARSs and describe the reconfigurable behavior precisely so that the ARSs can adapt to the new changes. The second problem focuses on how to analyze and verify the formal model of the reconfiguration and ensure the correctness of the system during reconfiguration. Considering behavior preserving in the reconfiguration model, a net reconfigurations based on the natural transformation is introduced.

Towards Systematization

1977 ◽  
Vol 16 (03) ◽  
pp. 125-130 ◽  
Author(s):  
P. L. Reichertz
Keyword(s):  
Clinical Medicine ◽  
Medical Science ◽  
User Involvement ◽  
Empirical Science ◽  
Target System ◽  
General Strategy ◽  
System Construction ◽  
Formal Approach ◽  
Methodology Development ◽  
Planning Development

Data processing has become an important tool in theoretical and clinical medicine. The main categories of applications are : information analysis, (bio)signal processing and the field of information logistics (information systems).The problems encountered lie in the discrepancy of the basic methods of a formal approach to an empirical science, the complexity of the target system and the system ecology, i.e. the involvement of the user and the system environment during system construction and utilization.Possible solutions to these problems are the application of system techniques, inductive planning, development of medical methodology, development of methods and techniques for user involvement and assessment of motivation and education and educational planning.The necessary general strategy in the development in medical informatics is seen in the continuing systematization of the theoretical and practical approach. It is estimated that this will eventually contribute to the systematization of medical science and practice.

THE CHALLENGES OF TEACHING FOREIGN LANGUAGES TO STUDENTS WITH SPECIAL EDUCATIONAL NEEDS

2020 ◽  
pp. 115-122
Author(s):  
Elena N. Gur'yanova ◽  
Keyword(s):  
Learned Helplessness ◽  
Educational Needs ◽  
Point Of View ◽  
Teaching Staff ◽  
Technical Equipment ◽  
Special Educational Needs ◽  
Right To Education ◽  
Formal Approach ◽  
Program Compliance ◽  
Special Health

A modern university answering the challenges of the society does not remain aloof to introduce certain inclusive practices. Currently, the legislation of the Russian Federation clearly distinguishes between the concepts of “Disability”, “Special health opportunities “and” Special educational needs”. However, there is a demand to combine all three terms into one, that is “Special educational needs”. The author considers this substitution to be unlawful. The article attempts to analyze each term from the point of view of prospects for each group of students to get higher education, taking into account the peculiarities of their psychophysical development. In addition, the author reviews some difficulties (insufficient technical equipment of the classrooms, learned helplessness of students, lack of knowledge about various nosological groups of disabled people, etc.) and ways to overcome these and other problems such as development of an adapted educational program, compliance with the principles of health conservation, psychological readiness of the teaching staff to work with such students. The author draws the conclusion that only training of teachers and the creation of a special educational space, the inadmissibility of a formal approach to the integration of students with special educational needs can contribute to the successful provision of their right to education.

Sign in / Sign up

Export Citation Format

Share Document