17 citations · 30 across the 7 of their papers we have counts for
7 papers
A Multilayer Model of Computer Networks
Andrey A. Shchurov
The fundamental concept of applying the system methodology to network analysis declares that network architecture should take into account services and applications which this netw…
A Formal Approach to Network/Distributed Systems Complex Testing
Andrey A. Shchurov, Radek Marik, Vladimir A. Khlevnoy
Deployment of network/distributed systems sets high requirements for procedures, tools and approaches for the complex testing of these systems. This work provides a survey of testi…
Industrial Computing Systems: A Case Study of Fault Tolerance Analysis
Andrey A. Shchurov
Fault tolerance is a key factor of industrial computing systems design. But in practical terms, these systems, like every commercial product, are under great financial constraints…
Dependability Tests Selection Based on the Concept of Layered Networks
Andrey A. Shchurov, Radek Marik
Nowadays, the consequences of failure and downtime of distributed systems have become more and more severe. As an obvious solution, these systems incorporate protection mechanisms…
A Formal Approach to Distributed System Security Test Generation
Vladimir A. Khlevnoy, Andrey A. Shchurov
Deployment of distributed systems sets high requirements for procedures for the security testing of these systems. This work introduces: (1) a list of typical threats based on stan…
A Formal Approach to Distributed System Tests Design
Andrey A. Shchurov, Radek Marik
Deployment of distributed systems sets high requirements for procedures and tools for the complex testing of these systems. This work introduces a formal four-layered model for tes…
A Formal Model of Distributed Systems For Test Generation Missions
Andrey A. Shchurov
Nowadays, deployment of distributed systems sets high requirements for procedures and tools for the complex testing of these systems - virtualization and cloud technologies make an…