Loading…
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...
Saved in:
Published in: | Journal of physics. Conference series 2021-05, Vol.1864 (1), p.12020 |
---|---|
Main Authors: | , , |
Format: | Article |
Language: | English |
Subjects: | |
Citations: | Items that this one cites |
Online Access: | Get full text |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Summary: | 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. |
---|---|
ISSN: | 1742-6588 1742-6596 |
DOI: | 10.1088/1742-6596/1864/1/012020 |