scholarly journals A Distributed Hardware Monitoring System for Runtime Verification on Multi-Tile MPSoCs

2021 ◽  
Vol 18 (1) ◽  
pp. 1-25
Author(s):  
Marcel Mettler ◽  
Daniel Mueller-Gritschneder ◽  
Ulf Schlichtmann
2021 ◽  
Vol 20 (5) ◽  
pp. 1-34
Author(s):  
Giacomo Valente ◽  
Tiziana Fanni ◽  
Carlo Sau ◽  
Tania Di Mascio ◽  
Luigi Pomante ◽  
...  

Advanced computations on embedded devices are nowadays a must in any application field. Often, to cope with such a need, embedded systems designers leverage on complex heterogeneous reconfigurable platforms that offer high performance, thanks to the possibility of specializing/customizing some computing elements on board, and are usually flexible enough to be optimized at runtime. In this context, monitoring the system has gained increasing interest. Ideally, monitoring systems should be non-intrusive, serve several purposes, and provide aggregated information about the behavior of the different system components. However, current literature is not close to such ideality: For example, existing monitoring systems lack in being applicable to modern heterogeneous platforms. This work presents a hardware monitoring system that is intended to be minimally invasive on system performance and resources, composable, and capable of providing to the user homogeneous observability and transparent access to the different components of a heterogeneous computing platform, so system metrics can be easily computed from the aggregation of the collected information. Building on a previous work, this article is primarily focused on the extension of an existing hardware monitoring system to cover also specialized coprocessing units, and the assessment is done on a Xilinx FPGA-based System on Programmable Chip. Different explorations are presented to explain the level of customizability of the proposed hardware monitoring system, the tradeoffs available to the user, and the benefits with respect to standard de facto monitoring support made available by the targeted FPGA vendor.


Author(s):  
Luca Aceto ◽  
Duncan Paul Attard ◽  
Adrian Francalanza ◽  
Anna Ingólfsdóttir

AbstractWe present a synthetic benchmarking framework that targets the systematic evaluation of RV tools for message-based concurrent systems. Our tool can emulate various load profiles via configuration. It provides a multi-faceted view of measurements that is conducive to a comprehensive assessment of the overhead induced by runtime monitoring. The tool is able to generate significant loads to reveal edge case behaviour that may only emerge when the monitoring system is pushed to its limit. We evaluate our framework in two ways. First, we conduct sanity checks to assess the precision of the measurement mechanisms used, the repeatability of the results obtained, and the veracity of the behaviour emulated by our synthetic benchmark. We then showcase the utility of the features offered by our tool in a two-part RV case study.


2013 ◽  
Vol 448-453 ◽  
pp. 1977-1981
Author(s):  
Yan Li ◽  
Lei Yang ◽  
Li Wei Zhu ◽  
Tao Zhao ◽  
Yun Peng Liu ◽  
...  

At present, the operational parallel compensating capacitors can only through the protection action for the information, so we cant location the fault capacitor. In order to obtain every parallel capacitor running status information and according to internal structure and the operation mode of film capacitor, this paper propose a method of locating a capacitor, and based on this method constructs a set of hardware monitoring system. This method can eliminate the affection caused by the environment and measurement error of sensor accuracy effectively and the hardware monitoring system can solve the insulation problem, which high-potential power supply and wireless collection and transmission technology bring.


Author(s):  
Susanne Roesner ◽  
Heinrich Küfner
Keyword(s):  

<span class="fett">Hintergrund und Zielsetzung:</span> PHAR-MON ist ein Monitoring-System, das die auf dem deutschen Markt befindlichen Arzneimittel in ihrer Bedeutung für die Entwicklung von Missbrauch und Abhängigkeit in Suchtberatungsstellen überwacht. </p><p> <span class="fett">Methodik:</span> Klienten ambulanter Beratungsstellen werden im Rahmen der Standarddokumentation zu ihrem Arzneimittelkonsum befragt und Fälle eines abhängigen Konsums, eines schädlichen Gebrauchs oder eines Missbrauchs in PHAR-MON dokumentiert. </p><p> <span class="fett">Ergebnisse:</span> Im Jahr 2006 wurden insgesamt 448 Meldungen von 276 überwiegend alkohol- und drogenabhängigen Klienten in das Monitoring einbezogen. Tranquilizer vom Benzodiazepin-Typ wurden in allen Klientengruppen mit Anteilen zwischen 29,1 % und 35,3 % am häufigsten dokumentiert. An benzodiazepinabhängige Klienten werden zunehmend auch Nicht-Benzodiazepin-Hypnotika verordnet. Bei opioidabhängigen Klienten war im Zeitraum der letzten fünf Jahre ein Anstieg im missbräuchlichen Substitutionsmittelkonsum von 14,9 % auf 33,8 % zu verzeichnen. </p><p> <span class="fett">Schlussfolgerungen:</span> Das Risiko gefährlicher Wechselwirkungen zwischen Arzneimitteln mit Alkohol und Drogen sollte stärker als bisher in die ärztliche Verordnungsentscheidung einbezogen werden.


2012 ◽  
Author(s):  
Yiyun Peng ◽  
Mahtab Ghazizadeh ◽  
Linda Ng Boyle ◽  
John D. Lee

Sign in / Sign up

Export Citation Format

Share Document