Ensuring the Survivability of a Complex Technical System Under Special Conditions

Ensuring the Survivability of a Complex Technical System Under Special Conditions

The objective of the research presented in this article was to develop an algorithm for ensuring the survivability of a complex technical system under special conditions. The principles and methods of system analysis, formal verification and mathematical apparatus of temporal logic of actions were a...

Full description

Saved in:

Bibliographic Details
Main Authors:	Vladimir V. Alekseev, Dmitry A. Ivanov, Ilya G. Ryzhov
Format:	Article
Language:	English
Published:	Peoples’ Friendship University of Russia (RUDN University) 2025-07-01
Series:	RUDN Journal of Engineering Research
Subjects:	algorithm verification survivability information flow temporal logic compliance with the design solution
Online Access:	https://journals.rudn.ru/engineering-researches/article/viewFile/45011/25004
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Temporal Logic for Programmable Logic Controllers
by: Natalia Olegovna Garanina, et al.
Published: (2020-12-01)

Formal Verification of Three-Valued Digital Waveforms
by: Nina Yu. Kutsak, et al.
Published: (2019-09-01)

Monitoring and predicting cotton leaf diseases using deep learning approaches and mathematical models
by: Abdul Rehman, et al.
Published: (2025-07-01)

A new verification approach for nowcasting based on intensity and spatial-temporal feature correction
by: Jun Liu, et al.
Published: (2024-12-01)

On the Expressive Power of Some Extensions of Linear Temporal Logic
by: Anton Gnatenko, et al.
Published: (2018-10-01)

Polynomial Algorithm of Verication for Subset of PLTL Logic
by: P. V. Lebedev
Published: (2015-02-01)

Multi-Fidelity Temporal Reasoning: A Stratified Logic for Cross-Scale System Specifications
by: Ali Baheri, et al.
Published: (2025-06-01)

Approach on runtime monitoring based on the embedded trusted platforms
by: Zhao-chang SUN, et al.
Published: (2017-10-01)

Automatic verification of multi-agent systems security properties specified with LTL
by: Kholud Alghamdi, et al.
Published: (2022-05-01)

Runtime verification approach for DoS attack detection in edge servers
by: Bin YU, et al.
Published: (2021-09-01)

Software tool for evaluation of reliability and survivability of complex technical system based on logical-probabilistic methodology
by: V. Yu. Skobtsov, et al.
Published: (2022-01-01)

The Problem of Meaning in The New Logic as A Basis for Elimination Metaphysics in The Logical Positivist Understanding
by: Neslihan Doğan
Published: (2022-12-01)

Towards an algebrization of a linear temporal logic
by: Romulo Albano de Freitas, et al.
Published: (2025-07-01)

Definition of complex roots of the fourth degree algebraic equation
by: V. M. Ilyin
Published: (2019-06-01)

The Automation of C Program Verification by Symbolic Method of Loop Invariants Elimination
by: Dmitry Kondratyev, et al.
Published: (2018-10-01)

Use of Paraconsistent Feature Engineering to support the Long Term Feature choice for Speaker Verification
by: Alex Marino Gonçalves de Almeida, et al.
Published: (2021-04-01)

Large Language Model-Based Extraction of Logic Rules from Technical Standards for Automatic Compliance Checking
by: Rizky Nugroho, et al.
Published: (2025-04-01)

Invariant Elimination of Definite Iterations over Arrays in C Programs Verification
by: Ilya V. Maryasov, et al.
Published: (2017-12-01)

Combined Compliance Calculation Method of the Flexure Hinge with Variable Cross Section and Its Verification
by: Guan Lixin, et al.
Published: (2017-01-01)

Method of designing security protocol for remote attestation
by: YU Rong-wei1, et al.
Published: (2008-01-01)

Method of designing security protocol for remote attestation
by: YU Rong-wei1, et al.
Published: (2008-01-01)

THE USE OF THE ALGORITHM EVALUATION OF TECHNOLOGICAL COMPLEXITY OF CASTINGS TO ACCELERATE THE QUALITY OF THE VERIFICATION PROCESS OF GATING SYSTEMS DESIGNING
by: I. B. Odarchenko, et al.
Published: (2017-03-01)

The velocity of temporalis muscle wasting in cerebral metastasis is prognostic for poor survival
by: Artem Rafaelian, et al.
Published: (2025-02-01)

QR codes and international databases: promoting transparency in IRB approvals for medical research
by: Lamia Ben Ezzdine, et al.
Published: (2024-12-01)

Creation and Preclinical Testing of a Spirometer with Extended Functionality
by: V. S. Shabaev, et al.
Published: (2024-10-01)

“Robots in Space” Multiagent Problem: Complexity, Information and Cryptographic Aspects
by: A. Yu. Bernstein, et al.
Published: (2013-04-01)

Verification of temporal consistency constraints in the evolution of software for intelligent unmanned systems driven by model checking
by: Chaoze Lu, et al.
Published: (2025-07-01)

Logic for reasoning about bugs in loops over data sequences (IFIL)
by: Dmitry A. Kondratyev
Published: (2023-09-01)

LTL-Specification of Counter Machines
by: Egor V. Kuzmin
Published: (2021-03-01)

LTL-Specification of Bounded Counter Machines
by: Egor V. Kuzmin
Published: (2022-03-01)

Modeling and Recognizing Policy Conflicts with Resource Access Requests on Protected Health Information
by: Raik Kuhlisch
Published: (2017-07-01)

Completeness classes for intuitionistic first-order temporal logic with time gaps
by: Romas Alonderis
Published: (2023-11-01)

Gentzen and Temporal Sequents
by: Indrzejczak Andrzej
Published: (2024-12-01)

Construction of PLC IL-Programs by LTL-Specification
by: D. A. Ryabukhin, et al.
Published: (2014-04-01)

Construction and Verification of PLC LD-programs by LTL-specification
by: E. V. Kuzmin, et al.
Published: (2013-12-01)

Modeling a Consistent Behavior of PLC-Sensors
by: E. V. Kuzmin, et al.
Published: (2014-08-01)

Technological solutions in food production in the context of ensuring their quality and safety
by: A. Y. Volkov, et al.
Published: (2018-09-01)

Higher compliance with the enhanced recovery after surgery protocol improves postoperative recovery and 6-month mortality in upper gastrointestinal surgery
by: Thammawat Parakonthun, et al.
Published: (2024-12-01)

ASSESSMENT OF PARAMETERS OF ALGORITHMS OF DIAGNOSING OF SYSTEMS OF CARS IN THE CONDITIONS OF HIGH DEGREE OF UNCERTAINTY OF BASIC DATA
by: V. E. Ovsyannikov, et al.
Published: (2017-08-01)

A novel controllability method on temporal networks based on tree model
by: Peyman Arebi
Published: (2024-11-01)