SYNTHESIS OF PROPERTY MONITORS FOR ONLINE FAULT DETECTION

2007 ◽  
Vol 16 (06) ◽  
pp. 943-960 ◽  
Author(s):  
K. MORIN-ALLORY ◽  
E. GASCARD ◽  
D. BORRIONE
Keyword(s):  
Fault Detection ◽  
Embedded Systems ◽  
Building Blocks ◽  
Original Method ◽  
Digital System ◽  
Temporal Properties ◽  
Digital Components ◽  
Digital Module

An original method for generating components that capture the occurrence of events is proposed, and logical and temporal properties of hardware/software embedded systems are monitored. The properties are written in PSL, under the form of assertions in declarative form. The method includes the construction of a library of primitive digital components for the PSL temporal and sequence operators. These building blocks are interconnected to construct complex properties, resulting in a synthesizable digital module that can be properly linked to the digital system under scrutiny.

scholarly journals Fault Detection Variants of the CloudBus Protocol for IoT Distributed Embedded Systems

2017 ◽  
Vol 17 (2) ◽  
pp. 3-10 ◽  
Author(s):  
A. BARKALOV ◽  
L. TITARENKO ◽  
G. ANDRZEJEWSKI ◽  
K. KRZYWICKI ◽  
M. KOLOPIENCZYK
Keyword(s):  
Fault Detection ◽  
Embedded Systems ◽  
Distributed Embedded Systems

Sensor Network For Monitoring And Fault Detection In Drip Irrigation Systems Based On Embedded Systems

2019 ◽  
Vol 18 (02) ◽  
pp. 383-391
Author(s):  
Flavio Andres Capraro Fuentes ◽  
Santiago Ramon Tosetti ◽  
Pedro Lucio Campillo
Keyword(s):  
Fault Detection ◽  
Embedded Systems ◽  
Sensor Network ◽  
Drip Irrigation ◽  
Irrigation Systems

scholarly journals Low-Voltage Energy Efficient Neural Inference by Leveraging Fault Detection Techniques

2021 ◽  
Author(s):  
Mehdi Safarpour ◽  
Tommy Z. Deng ◽  
John Massingham ◽  
Lei Xun ◽  
Mohammad Sabokrou ◽  
...  
Keyword(s):  
Fault Detection ◽  
Error Detection ◽  
Energy Savings ◽  
Low Voltage ◽  
Building Blocks ◽  
Feedback Mechanism ◽  
Total System ◽  
Data Set ◽  
Detection Techniques ◽  
Energy Efficiency Improvement

This paper presents simple techniques to significantly reduced energy consumption of DNNs: Operating at reduced voltages offers substantial energy efficiency improvement but at the expense of increasing the probability of computational errors due to hardware faults. In this context, we targeted Deep Neural Networks (DNN) as emerging energy hungry building blocks in embedded applications. Without an error feedback mechanism, blind voltage down-scaling will result in degraded accuracy or total system failure. To enable safe voltage down-scaling, in this paper two solutions based on Self-Supervised Learning (SSL) and Algorithm Based Fault Tolerance (ABFT) were developed. A DNN model trained on MNIST data-set was deployed on a Field Programmable Gate Array (FPGA) that operated at reduced voltages and employed the proposed schemes. The SSL approach provides extremely low-overhead (≈0.2%) fault detection at the cost of lower error coverage and extra training, while ABFT incurs less than 8%overheads at run-time with close to 100% error detection rate. By using the solutions, substantial energy savings, i.e., up to 40.3%,without compromising the accuracy of the model was achieved

Building Component Based Software Connectors for Communication Middleware in Distributed Embedded Systems

2007 ◽  
Author(s):  
Dietmar Schreiner ◽  
Karl M. Go¨schka
Keyword(s):  
Embedded Systems ◽  
Good Practice ◽  
Building Blocks ◽  
Automatic Generation ◽  
Distributed Embedded Systems ◽  
Model Driven ◽  
Communication Middleware ◽  
Architectural Models ◽  
Sound Foundation ◽  
Software Connectors

Interaction in distributed component based software-architectures can become a rather complex and error prone issue. As it is good practice to keep application concerns separated from infrastructural ones, component based applications typically rely on communication middleware to cope with matters of distribution and heterogeneity. Unfortunately, generic middleware tends to be monolithic, heavyweight software, which is unacceptable in resource constrained embedded systems. Communication middleware for distributed embedded systems has to be custom tailored to the application’s interaction needs and therefore shall be as lightweight as possible. By applying the component paradigm to the communication middleware, a practical methodology can be defined, that allows the middleware’s automatic generation from the application’s architectural models and structural designs of explicit component connectors with a well defined set of prefabricated basic building blocks—so called communication primitives. This paper contributes by specifying the most common structural designs for explicit connectors within the automotive domain and thereby, in addition identifies a set of classes of automotive communication primitives. Thus this paper provides the sound foundation for automatic, model driven middleware synthesis by specifying all necessary basic modules.

Sign in / Sign up

Export Citation Format

Share Document