Alexander Kamkin

Alexander Kamkin – Ph.D., Senior Researcher at Institute for System Programming of RAS (ISPRAS), Moscow. Research interests are hardware specification and verification, static and dynamic analysis of HDL descriptions, microprocessors tests generation.

Oleksandr Letichevskyy

The talk is devoted to using of deductive methods in software development. Symbolic verification of formal specifications is used in requirements gathering. Formal specifications are analyzed on fullness, safety, liveness, etc. This step is based on invariants and specifications abstraction. Deductive techniques are used in software design verification, i.e. properties preserving (from more abstract models), deductive model testing, etc. Speaker also describes deducting testing of programs in C/C++. This technique allows to get maximal behaviour coverage.

Speaker: Oleksandr Letichevskyy (jr.) - Ph.D., Senior Researcher of Glushkov Institute of Cybernetics of NAS of Ukraine (Kyiv). His research interests are symbolic modeling and modeling-by-proofs, invariants technique, specifications testing, automatic proofs, inductive inference, formal specifications verification.

Alexandr Alexandrov

Speaker: Alexandr Alexandrov – Ph.D., group leader at Luxoft. He has graduated from Lomonosov Moscow State University. He worked at Research Computing Center of Lomonosov University and Department of Computational Mathematics and Cybernatics until 1999. He was developer of standards for programming languages, developer of compilers and informational systems, test engineer and project manager. Now he works at Luxoft. He is quality management expert, and trainer at Luxoft Training. His research interests are software testing, requirements analysis, software engineering improvements, teaching, consulting.

Vasily Balashov

Avionics is complex systems with strict functional requirements, safety and real-time requirements. The talk is devoted to avionics life-cycle support and development of toolchain for it. Also the talk is devoted to simulation and integration of avionics modules.

Speaker: Vasily Balashov, Ph.D., researcher at Ruslan Smelyansky Lab (Lomonosov Moscow State University).

Alexander Zhdanov

Alexander Zhdanov, Dr. Prof., head of AAC-Lab at Lebedev Institute of Precision Mechanics and Computer Engineering, Russian Academy of Sciences, who wrote “Автономный искусственный интеллект” (Autonomous Artificial Intelligent). He’s going to talk about his understanding of the algorithm in a biological control system implemented in all living organisms. This understanding is concerning to cybernatics, theory of control, theoretical informatics, and neurophysiology. Alexander will talk about methods and tools for development of such systems, and about prototypes of such systems.

Avalanche is open-source tool developed in ISPRAS with cooperation from Samsung. Avalanche uses Valgrind for collecting and analysis of program traces. Avalanche tryes to compute program input detecting program error or detecting program paths not executed before. As result Avalanche computes a lot of tests for covering program source by iterative dynamic analysis.

Speaker: Denis Sidorov. He’s graduated from Lomonosov Moscow State University (Computational Mathematics and Cybernatics faculty). Now he works in ISPRAS. He is leader of system programming department (program analysis group). Projects: Klocwork Insight (reverse-engineering, architectural and static analysis), Avalanche. Scientific interests are static and dynamic program analysis, automatic program defects detection, program transformations.

web: http://ispras.ru/en/sp/contacts.php