Preliminary Program

Preliminary Proceedings of SYRCoSE 2017

June 5, 2017




Welcome Speech


Invited Talk


Microservices: Yesterday, Today, and Tomorrow
Manuel Mazzara (Innopolis University)


Coffee Break


Specifying and Modelling Computer Systems (Moderator: TBD)


A Contract-Based Method to Specify Stimulus-Response Requirements
Alexandr Naumchev, Bertrand Meyer, Manuel Mazzara (Innopolis University),
Jean-Michel Bruel, Florian Galinier and Sophie Ebersold (Toulouse University)


Automated Type Contracts Generation in Ruby
Nickolay Viuginov (Saint-Petersburg State University) and Valentin Fondaratov (JetBrains)


Using Interface Patterns for Compositional Discovery of Distributed System Models
Roman Nesterov and Irina Lomazova (Higher School of Economics)


An Online Tool for Requirements Engineering, Modeling and Verification of Distributed Software Based on MDD Approach
Daria Lozhkina and Sergey Staroletov (Polzunov Altai State Technical University)


Poster Announcement (4 min per poster)

Design and Implementation of Programming Language with Generalized Sets, Types, and Functions as First-Class Values
Vsevolod Kvachev (Southern Federal University)

Pseudorehearsal in Actor-Critic Agents
Vladimir Marochko, Leonard Johard and Manuel Mazzara (Innopolis University)

Visualization of Communication Network Event Log
Victor Ervo (Higher School of Economics)

A Survey of Most Common Errors in Linux Kernel
Sergey Staroletov (Polzunov Altai State Technical University)

Validation of Behavioural Specifications of Avionics Architectural Models
Denis Buzdalov, Sergey Zelenov and Alexandr Strakh (ISP RAS)


Poster Session




Application-Specific Methods and Tools (Moderator: TBD)


Fast L1 Gauss 2D Image Transforms
Dina Bashkirova, Rustam Latypov (Kazan Federal University),
Shin Yoshizawa and Hideo Yokota (RIKEN Image Processing Research Team)


Real-time Video Stabilization using MEMS-sensors
Anastasiya Kornilova, Iakov Kirilenko and Natalia Zabelina (Saint Petersburg State University)


Type-2 Fuzzy Rule-Based Model of Urban Metro Positioning Service
Albina Gimaletdinova and Konstantin Degtiarev (Higher School of Economics)


A Modified Scrum Story Points Estimation Method Based on Fuzzy Logic Approach
Sofia Semenkovich, Olga Kolekonova and Konstantin Degtiarev (Higher School of Economics)


The Mixed Chinese Postman Problem
Maria Gordenko and Sergey Avdoshin (Higher School of Economics)


Pareto-optimal Algorithms for Metric TSP
Ekaterina Beresneva and Sergey Avdoshin (Higher School of Economics)


Coffee Break


Finite State Machines (Moderator: TBD)


On Minimization of Timed Finite State Machines
Aleksandr Tvardovskii and Nina Yevtushenko (Tomsk State University)


Experiments on Parallel Composition of Timed Finite State Machines
Alexander Sotnikov, Natalia Shabaldina and Maxim Gromov (Tomsk State University)


Analysis of Computer Systems


Mining Hybrid UML Models from Event Logs of SOA Systems
Ksenia Davydova and Sergey Shershakov (Higher School of Economics)


Tool for Behavioral Analysis of Well-Structured Transition Systems
Leonid Dworzanski and Vladimir Mikhaylov (Higher School of Economics)


Stochastic Methods for Analysis of Complex Hardware-Software Systems
Aleksei Karnov and Sergey Zelenov (ISP RAS)


Problems of Creation and Dynamic Analysis of Heterogeneous Models of Hardware/Software Systems
Kamila Agaeva (ISP RAS, Higher School of Economics)

June 6, 2017


Invited Talk


Developing and Deploying Specifics of a Production Level Static Analyzer
Andrey Belevantsev and Valery Ignatyev (ISP RAS)


Coffee Break


Testing and Verification (Moderator: TBD)


Predicate Abstractions Memory Modeling Method with Separation into Disjoint Regions
Anton Volkov (Moscow State University) and Mikhail Mandrykin (ISP RAS)


Static Verification of Configurations of Linux Operating System Kernel
Svyatoslav Kozin and Vadim Mutilin (ISP RAS)


A Technique for Parameterized Verification of Cache Coherence Protocols
Vladimir Burenkov (MCST)


High Level Model-Based Test Generation for Digital Hardware
Sergey Smolov, Alexander Kamkin, Mikhail Chupilko and Mikhail Lebedev (ISP RAS)


Verification of 10 Gigabit Ethernet Controllers
Mikhail Petrochenkov, Irina Stotland and Ruslan Mushtakov (MCST)


Creating Test Data for Market Surveillance Systems with Embedded Machine Learning Algorithms
Olga Moskaleva and Anna Gromova (Exactpro)


Initial Steps Towards Assessing the Usability of a Verification Tool
Mansur Khazeev, Victor Rivera and Manuel Mazzara (Innopolis University)




Excursion to Sviyazhsk Island



June 7, 2017


Invited Talk


Building Correct Cyber-Physical Systems — Can We Improve Current Practice?
Susanne Graf (VERIMAG Laboratory)


Coffee Break


Safety and Security (Moderator: TBD)


The Study into Cross-Site Request Forgery Attacks within the Framework of Analysis of Software Vulnerabilities
Alexander Barabanov, Artem Lavrov, Ivan Polotnyanschikov (NPO Echelon),
Alexey Markov and Valentin Tsirlov (Bauman Moscow State Technical University)


Dataflow Analysis for the Search of the Code Security Defects
Sergei Borzykh, Alexey Markov, Andrei Fadin, Pavel Gusev (NPO Echelon) and
Valentin Tsirlov (Bauman Moscow State Technical University)


Operating Systems


Debugger for Real-Time OS: Challenges of Multiplatform Support
Alexander Emelenko, Kurbanmagomed Mallachiev and Nikolay Pakulin (ISP RAS)


Using Modularization in Embedded OS
Kurbanmagomed Mallachiev, Nikolay Pakulin, Alexey Khoroshilov and Denis Buzdalov (ISP RAS)


Application-Specific Methods and Tools


Rapid Prototyping of Smart Mirror for Smart Home Environment
Sergey Smetanin (Higher School of Economics)


Inverse Kinematics in Ultralight UAV Control Problem with Additional On-Board Microcomputer
Vasiliy Kaliteevskiy and Konstantin Amelin (Saint-Petersburg State University)




Analysis of Texts and Social Networks (Moderator: TBD)


Detecting and Tracking Near Duplicates in Software Documentation
Dmitry Luciv (Saint-Petersburg State University)


Discovering Near Duplicate Text in Software Documentation
Dmitry Luciv, Leonid Kanteev and Yuri Kostyukov (Saint-Petersburg State University)


The Program for Public Mood Monitoring through Twitter Content in Russian
Sergey Smetanin (Higher School of Economics)


Narrabat – Prototype of News Retelling Service
Irina Dolgaleva, Ilya Gorshkov and Rostislav Yavorskiy (Higher School of Economics)


The Program of Syntax-Based Sentiment Analysis
Sergey Smetanin (Higher School of Economics)


Coffee Break


Host Student Presentations

Invited Talks

Andrey Belevantsev &  Valery Ignatyev (Institute for System Programming of RAS, Russia)
Developing and Deploying Specifics of a Production Level Static Analyzer

Many papers are devoted to static analysis algorithms and methods, however almost nothing was said about efforts needed for successful analyzer deployment. As we have seen in practice during implementation of the Svace static analyzer, many research problems have to be solved in order to get a really useful tool without end-user’s obstruction. This talk briefly discusses main challenges of defect detection tool development and deployment. We will examine all tiers of program analysis: from build phase integration to warnings presentation taking into account multiple programming languages (C, C++, C#, Java) special aspects. The first phase is responsible for build interception and makes it possible to inject special tools for gathering build environment specifics and running the tool's own compiler with corresponding parameters.  The second stage is responsible for analyzing intermediate representation generated by first phase, it is described in publications often but we still cover the most tricky points. And the last stage is needed for warning presentation using existing CI or our graphical interfaces.

Andrey Belevantsev is the leading researcher at the Compiler Technology Department of ISP RAS.  He got his Ph.D. from ISP RAS in 2008 on the topic of speculative compiler optimizations, in particular instruction scheduling.  He leads ISPRAS-Samsung joint laboratory that is focused on various system programming infrastructure projects such as static analysis and optimization tools for Android and Tizen environments.  His research interests include compiler optimizations, toolchains improvement for productivity and performance, and various static analysis applications.

Valery Ignatyev is the senior researcher at the Compiler Technology Department of ISP RAS. He has graduated from the Faculty of Computational Mathematics and Cybernetics of the Lomonosov Moscow State University with honor in 2009. In 2015 he defended his Ph.D. thesis on the «Program static analysis for automatic checking of configurable C and C++ programming language constraints». Since 2007 Valery Ignatyev has been working at the ISP RAS. The last 9 years he is working on compiler technology problems. His research interests include compiler technologies, program analysis.

Manuel Mazzara (Innopolis University, Russia)
Microservices: Yesterday, Today, and Tomorrow

Microservices is an architectural style inspired by service-oriented computing that has recently started gaining popularity. We present the current state-of-the-art in the field and we put it in context, looking at the history of software architecture and the reasons that led to the diffusion of objects and services first, and microservices later. Open problems and future challenges are introduced. This talk primarily addresses newcomers to the discipline, while offering an academic viewpoint on the topic. In addition, some practical issues are investigated and some potential solutions are pointed out.

Manuel Mazzara is a professor of Computer Science at Innopolis University (Russia) with research background in formal methods, software verification and software engineering. He has more than a decade of expertise in service-oriented architectures and programming, and with several publications in top venues coming from continuous cooperation with European and US industry, plus governmental/intergovernmental institutions, always at the edge between science and software production. He has got an understanding of the hot topics early enough in order to suggest directions for scientific deepening and market development, always aligned with ethical and societal considerations.


Susanne Graf (VERIMAG Laboratory, France)
Building correct Cyber-Physical Systems — Can We Improve Current Practice?

Modern cyberphysical systems are of increasing complexity, composed of an increasing number of components and subsystems of heterogenous nature, of different criticity levels and where different non-functional aspects – such as timing, energy, dependability and more and more also security – are as important as functionality. Current approaches use different models and corresponding tools for different viewpoints and guarantee overall correctness by means of strong assumptions. A more flexible contract-based approach would allow to relax some of these strong assumptions without abandoning the current modelling approach and the current tools.

Susanne Graf is a deputy director of VERIMAG, a joint research lunit of CNRS and Grenoble University. Her scientific domain of interest is methods and tools for developing correct software where she is particularly interested in the application domain of safety-critical embedded systems. In particular, she has worked on abstraction methods and on compositional approaches. Currently, her main interest is contract-based approaches and how to make them applicable to current industrial practice.