Design and implementation of the distributed dosimetric system based on the principles of IoT

Autor: Vitalii Terokhin, Mykola Stervoyedov, Oleg Ridozub

Publikováno v: Eastern-European Journal of Enterprise Technologies, Vol 5, Iss 9 (113), Pp 91-100 (2021)

This paper describes the architecture and components of the distributed information and management system for collecting, processing, storing, and distributing data on a radiometric and dosimetric experiment using the principle of the Internet of Thi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::21856a6d8bf54956eb2bfeaae5d589d2
https://doi.org/10.15587/1729-4061.2021.243153

Modeling and Verification of A Timing Protection Mechanism in the OSEK/VDX OS using CSP

Autor: Yanhong Huang, Haiping Pang, Jianqi Shi

Publikováno v: Formal Aspects of Computing. 32:113-145

The functions of automobiles are becoming increasingly intelligent, which leads to the increasing number of electrical control units for one automobile. Hence, it makes software migration and extension more complicated. In order to avoid these proble

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::5a490b51678a653ec1ac419acf864cd9
https://doi.org/10.1007/s00165-020-00511-6

System execution path profiling using hardware performance counters

Autor: Francis Giraldeau, Michel Dagenais, Naser Ezzati-Jivan

Publikováno v: SysCon

The task critical execution path, obtained from a kernel trace, reports the time spent waiting for each task involved in a heterogeneous and distributed application. However, additional profiling is needed to understand and identify the problematic c

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::12084a476a83029aad5a6040b51b3383
https://doi.org/10.1109/syscon48628.2021.9447121

Comparative Experiment of SPIN and SMT in Model Checking of Embedded Assembly Program

Autor: Kosuke Uemura, Satoshi Yamane

Publikováno v: GCCE

Embedded software, which has properties dependent on hardware, is important for Consumer electronics. Formal verifications of embedded software are useful techniques. Our study aims at comparative experimental study of SPIN and our Satisfiability Mod

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::3bd55061194488d24b5f9585199a73bf
https://doi.org/10.1109/gcce50665.2020.9291772

MPU-based incremental checkpointing for transiently-powered systems

Autor: Tanguy Risset, Gautier Berthou, Kevin Marquet, Guillaume Salagnac

Publikováno v: DSD 2020 23rd Euromicro Conference on Digital System Design
DSD 2020 23rd Euromicro Conference on Digital System Design, Aug 2020, Kranj, France. pp.89-96, ⟨10.1109/DSD51259.2020.00025⟩
DSD

International audience; Transiently-powered devices are a class of small devices powered by energy harvesting. Because such devices are subject to frequent power outages, many recent works propose to checkpoint data residing in volatile RAM into non-

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::60bdd06a5d5d3369d8ecc86f0e29fd07
https://inria.hal.science/hal-03116944/file/BMRS-dsd20.pdf