Cargando…

High-level testing of distributed systems based on a link model without loss of information

A new dynamic model of a distributed real-time computing system is investigated. The model is embedded in the system software and is intended for test diagnostics of violations in addressing exchanges between the system software modules. The questions of observability and controllability of the prop...

Descripción completa

Detalles Bibliográficos
Autores principales: Gruzlikov, A V, Kolesov, N V, Tolmacheva, M V
Lenguaje:eng
Publicado: 2021
Acceso en línea:https://dx.doi.org/10.1088/1742-6596/1864/1/012020
http://cds.cern.ch/record/2773411
_version_ 1780971512611733504
author Gruzlikov, A V
Kolesov, N V
Tolmacheva, M V
author_facet Gruzlikov, A V
Kolesov, N V
Tolmacheva, M V
author_sort Gruzlikov, A V
collection CERN
description A new dynamic model of a distributed real-time computing system is investigated. The model is embedded in the system software and is intended for test diagnostics of violations in addressing exchanges between the system software modules. The questions of observability and controllability of the proposed model are discussed for the case when models of links are used without loss of information.
id oai-inspirehep.net-1865913
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2021
record_format invenio
spelling oai-inspirehep.net-18659132021-06-19T19:46:48Zdoi:10.1088/1742-6596/1864/1/012020http://cds.cern.ch/record/2773411engGruzlikov, A VKolesov, N VTolmacheva, M VHigh-level testing of distributed systems based on a link model without loss of informationA new dynamic model of a distributed real-time computing system is investigated. The model is embedded in the system software and is intended for test diagnostics of violations in addressing exchanges between the system software modules. The questions of observability and controllability of the proposed model are discussed for the case when models of links are used without loss of information.oai:inspirehep.net:18659132021
spellingShingle Gruzlikov, A V
Kolesov, N V
Tolmacheva, M V
High-level testing of distributed systems based on a link model without loss of information
title High-level testing of distributed systems based on a link model without loss of information
title_full High-level testing of distributed systems based on a link model without loss of information
title_fullStr High-level testing of distributed systems based on a link model without loss of information
title_full_unstemmed High-level testing of distributed systems based on a link model without loss of information
title_short High-level testing of distributed systems based on a link model without loss of information
title_sort high-level testing of distributed systems based on a link model without loss of information
url https://dx.doi.org/10.1088/1742-6596/1864/1/012020
http://cds.cern.ch/record/2773411
work_keys_str_mv AT gruzlikovav highleveltestingofdistributedsystemsbasedonalinkmodelwithoutlossofinformation
AT kolesovnv highleveltestingofdistributedsystemsbasedonalinkmodelwithoutlossofinformation
AT tolmachevamv highleveltestingofdistributedsystemsbasedonalinkmodelwithoutlossofinformation