On SMC-Based Dependability Analysis in LoLiPoP-IoT Project

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F24%3APU151963" target="_blank" >RIV/00216305:26230/24:PU151963 - isvavai.cz</a>

Result on the web

<a href="https://www.fit.vut.cz/research/publication/13214/" target="_blank" >https://www.fit.vut.cz/research/publication/13214/</a>

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

On SMC-Based Dependability Analysis in LoLiPoP-IoT Project

Original language description

Many systems require certain level of dependability to fulfill their purpose in predefined conditions. To check whether such a requirement can be met, the designer of a system must use proper means to assess dependability qualitatively or quantitatively, whereas this paper focuses on the latter assessment manner. The first problem with the assessment is that we cannot judge it except by evaluating its subattributes such as reliability, availability or maintainability. The second problem relates to the assessment itself - ideally, assessment builds on an analytical solution; however, if it does not exist, its presumptions are violated etc., an alternative approach must take place. This paper presents our alternative, simulation based approach with a special attention paid to reliability and maintainability; it builds on stochastic timed automata, an instrument able to model a wide class of systems/conditions of one's interest. In our approach, the assessment process takes the advantage of the statistic

Czech name

—

Czech description

—

Type

O - Miscellaneous

CEP classification

—

OECD FORD branch

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project

<a href="/en/project/9A23012" target="_blank" >9A23012: Long Life Power Platforms for Internet of Things</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year

2024

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů