Primary results of the CSL activity from 2000 to 2015
- Theory and methods of real-time control systems design basing on a program behavior invariant.
- Theory and methods of construction of "nature-inspired" algorithms for problems of structure synthesis and task sheduling in distributed systems.
- Verification of parameterized systems of asynchronously communicating processes.
- Model of SDN networks operation.
- Method of estimation and optimization of the reliability and fault-tolerance of a real-time control system.
- Enhancement of Network Calculus for the purpose of QoS management in networks.
- New family of algorithms for the problem of system's behaviour identification in presence of non-lineary distortions of the sensors data.
- New class of job scheduling algorithms for distributed systems, which combine eager heuristics with limited-depth search.
- Method for estimation of the execution frequency of sequential program code snippets.
- Detection of similar source code blocks in software systems.
- New low-complexity methods for leaning and synthesis of direct propagation neural networks.
- Time synchronization algorithms for distributed simulation of real-time systems.
Current research directions are described here.
308 graduate students
21 Candidates of Science.