Insertion Semantics of VHDL as Electronic Design Languge

Cybernetics and Systems Analysis - The paper considers the problem of insertion semantics of hardware specifications, in particular, the VHDL language. The creation of semantics is necessary to...     

Fuzz Testing Technique and its Use in Cybersecurity Tasks

The paper considers the technology of fuzz testing, which is testing software systems by feeding critical or unexpected input data to them. An overview of the current problem state is made and the main systems of fuzz testing are presented. An approach to the fuzz testing technology with the use of algebraic methods, in particular, symbolic modeling, is considered. The lightweight algorithm, which is designed to reduce test generation time, is considered. The algorithm is implemented in the environment of an insertion modeling system and tested in older system versions developed in Linux.

     

Algorithm and Tools for Constructing Canonical Forms of Linear Semi-Algebraic Formulas

The results of testing formula simplification tools are presented in the first part of this paper. In the second part, an algorithm for constructing canonical forms of linear semi-algebraic formulas is described. The main result of the study is the definition of the canonical form of a linear semi-algebraic formula that has the property of uniqueness and other useful properties. An algorithm for constructing such a formula is described.     

Modern Methods and Software Systems of Molecular Modeling and Application of Behavior Algebra

Cybernetics and Systems Analysis - The main methods of molecular modeling and specialized software for the development and analysis of molecular models are considered. In particular, the article...     

Cyber-Physical Systems

A retrospective analysis of cyber-physical systems theory is given, and its current state is characterized. A number of problems arising in the theory of hybrid automata is investigated. A semigroup transition system is considered, which underlies the extension of the algebraic theory of interaction of labeled transition systems to cyber-physical systems.