reconfigurable systems
Recently Published Documents


TOTAL DOCUMENTS

636
(FIVE YEARS 54)

H-INDEX

25
(FIVE YEARS 3)

2022 ◽  
pp. 102398
Author(s):  
Andrés Rodríguez ◽  
Angeles Navarro ◽  
Kris Nikov ◽  
Jose Nunez-Yanez ◽  
Rubén Gran ◽  
...  

2021 ◽  
Author(s):  
Cornelia Wulf ◽  
Michael Willig ◽  
Diana Gohringer

Author(s):  
Chenyang Ma ◽  
Qiyu Wang ◽  
Zhiqiang Cai ◽  
Shubin Si ◽  
Jiangbin Zhao

2021 ◽  
Vol 21 (2) ◽  
pp. 18-32
Author(s):  
Antoine El-Hokayem ◽  
Marius Bozga ◽  
Joseph Sifakis

We study a framework for the specification and validation of dynamic reconfigurable systems. The framework is based on configuration logic for the description of architecture styles which are families of architectures sharing common connectivity features. We express specifications in the Temporal Configuration Logic (TCL), a linear time temporal logic built from atomic formulas characterizing system configurations and temporal modalities. Two non-trivial benchmarks are introduced to show the adequacy of TCL for the specification of dynamic reconfigurable systems. We study an effective model-checking procedure based on SMT techniques for a non-trivial fragment of TCL which has been implemented in a prototype runtime verification tool. We provide preliminary experimental results illustrating the capabilities of the tool on the considered benchmark systems.


Author(s):  
Eeshan Deosthale ◽  
Daniel Jung ◽  
Qadeer Ahmed

Abstract Fault diagnosis of a certain class of hybrid systems referred to as Structurally Reconfigurable (SR) systems is complicated. This is because SR systems tend to switch their configuration which may or may not be faulty. It is important to identify the mode of the SR system along with the corresponding fault if any, in order to facilitate a fault tolerant action. This paper combines discrete fault diagnosis with mode identification for SR systems to achieve two main objectives: Sensor selection for fault detection, isolation and mode identification, and residual selection for mode identification. The framework is built using a structural analysis based approach to meet these objectives. This framework is demonstrated for a 10-Speed Automatic Transmission, which is an illustrative example of SR systems.


Author(s):  
Rim El Ballouli ◽  
Saddek Bensalem ◽  
Marius Bozga ◽  
Joseph Sifakis

2021 ◽  
pp. 45-65
Author(s):  
Krishnendu Guha ◽  
Sangeet Saha ◽  
Amlan Chakrabarti

Sign in / Sign up

Export Citation Format

Share Document