Issue 2013 (7)

Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering

ISBN 978-5-91474-020-4

The issue contains the papers presented at the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2013) held in Kazan, Russia on 30th and 31st of May, 2013. Paper selection was based on a competitive peer review process being done by the program committee. Both regular and research-in-progress papers were considered acceptable for the colloquium. The topics of the colloquium include modeling of computer systems, software testing and verification, parallel and distributed systems, information search and data mining, image and speech processing and others.


Dear participants, we are glad to meet you at the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE). The event is held in Kazan, the capital and largest city of the Republic of Tatarstan, Russia. The colloquium is hosted by Kazan National Research Technical University named after A.N. Tupolev (KNRTU), former Kazan Aviation Institute (KAI), one of the leading Russian institutions in aircraft engineering, engine- and instrument- design and manufacturing, computer science and radio- and telecommunications engineering. SYRCoSE 2013 is organized by Institute for System Programming of the Russian Academy of Sciences (ISPRAS) and Saint-Petersburg State University (SPbSU) jointly with KNRTU.

In this year, Program Committee (consisting of more than 40 members from more than 20 organizations) has selected 30 papers. Each submitted paper has been reviewed independently by three referees. Participants of SYRCoSE 2013 represent well-known universities, research institutes and companies such as Belarusian State University of Informatics and Radioelectronics, ISPRAS, Kazan Federal University, KNRTU, Moscow State University, National Research University Higher School of Economics, Perm State National Research University, Tomsk State University, Ural Federal University, V.A. Trapeznikov Institute of Control Sciences of the Russian Academy of Sciences, Yaroslavl State University and ZAO “MCST” (2 countries, 8 cities and 12 organizations).

We would like to thank all of the participants of SYRCoSE 2013 and their advisors for interesting papers. We are also very grateful to the PC members and the external reviewers for their hard work on reviewing the papers and selecting the program. Our thanks go to the invited speakers, Mirko Conrad (The MathWorks GmbH, Germany), Yuri Gubanov (“Belkasoft” and SPbSU, Russia) and Marek Miłosz (Institute of Computer Science, Lublin University of Technology, Poland). We would also like to thank our sponsors and supporters, Russian Foundation for Basic Research (grant 13-07-06008-г), Cabinet of Ministers of the Republic of Tatarstan, Intel, Nizhny Novgorod Foundation for Education and Research Assistance and ICL-KME CS. Finally, our special thanks to local organizers Liliya Emaletdinova (Institute for Technical Cybernetics and Informatics, KNRTU), Kirill Shershukov (Academy for Information Technologies, KNRTU), Igor Anikin, Dmitry Kolesov, Mikhail Shleymovich and Dmitry Strunkin (KNRTU) for their invaluable help in organizing the colloquium in Kazan.

Sincerely yours
Alexander S, Kamkin, Alexander K. Petrenko and Andrey N. Terekhov
May 2013

Formal Models of Computer Systems

L. Dworzanski, D. Frumin. NPNtool: Modelling and Analysis Toolset for Nested Petri Nets. pp. 9-14. DOI: 10.15514/SYRCOSE-2013-7-1.

N. Buchina, L. Dworzanski. The Tool for Modeling of Wireless Sensor Networks with Nested Petri Nets. pp. 15-18. DOI: 10.15514/SYRCOSE-2013-7-2.

Process Mining and Trace Analysis

S. Shershakov. DPMine: Modeling and Process Mining Tool. pp. 19-24. DOI: 10.15514/SYRCOSE-2013-7-3.

M. Chupilko, A. Protsenko. Recognition and Explanation of Incorrect Behavior in Simulation-Based Hardware Verification. pp. 25-30. DOI: 10.15514/SYRCOSE-2013-7-4.

Model Transformations

A. Sukhov, L. Lyadova. Horizontal Transformations of Visual Models in MetaLanguage System. pp. 31-40. DOI: 10.15514/SYRCOSE-2013-7-5.

A. Seriy, L. Lyadova. An Approach to Graph Matching in the Component of Model Transformations. pp. 41-45. DOI: 10.15514/SYRCOSE-2013-7-6.

Testing Software and Hardware Systems

P. Drobintsev, V. Kotlyarov, I. Nikiforov. Technology Aspects of State Explosion Problem Resolving for Industrial Software Design. pp. 46-50. DOI: 10.15514/SYRCOSE-2013-7-7.

A. Kamkin, T. Sergeeva, A. Tatarnikov, A. Utekhin. MicroTESK: An Extendable Framework for Test Program Generation. pp. 51-57. DOI: 10.15514/SYRCOSE-2013-7-8.

A. Bykau. Probabilistic Networks as a Means of Testing Web-Based Applications. pp. 58-61. DOI: 10.15514/SYRCOSE-2013-7-9.

M. Forostyanova, N. Kushik. Software Mutation Testing: Towards Combining Program and Model Based Techniques. pp. 62-67. DOI: 10.15514/SYRCOSE-2013-7-10.

R. Galimullin. Experimental Comparison of the Quality of TFSM-Based Test Suites for the UML Diagrams. pp. 68-72. DOI: 10.15514/SYRCOSE-2013-7-11.

Linux Development and Verification

A. Kuyan, S. Gusev, A. Kozlov, Z. Kaimuldenov, E. Kravtsunov. Experience of Building and Deployment Debian on Elbrus Architecture. pp. 73-76. DOI: 10.15514/SYRCOSE-2013-7-12.

I. Zakharov, V. Mutilin, E. Novikov, A. Khoroshilov. Generating Environment Model for Linux Device Drivers. pp. 77-83. DOI: 10.15514/SYRCOSE-2013-7-13.

N. Komarov. On the Implementation of Data-Breakpoints Based Race Detection for Linux Kernel Modules. pp. 84-88. DOI: 10.15514/SYRCOSE-2013-7-14.

Software Engineering Education

L. Andreicheva, R. Latypov. Mobile Learning Systems in Software Engineering Education. pp. 89-93. DOI: 10.15514/SYRCOSE-2013-7-15.

Computer Networks

S. Gaivoronski, D. Gamayunov. Hide and Seek: Worms Digging at the Internet Backbones and Edges. pp. 94-107. DOI: 10.15514/SYRCOSE-2013-7-16.

A. Shal. Station Disassociaciation Problem in Hosted Network. pp. 108-110. DOI: 10.15514/SYRCOSE-2013-7-17.

A. Shalimov, R. Smeliansky. On Bringing Software Engineering to Computer Networks with Software Defined Networking. pp. 111-116. DOI: 10.15514/SYRCOSE-2013-7-18.

Parallel and Distributed Systems

E. Boytsov, V. Sokolov. The Formal Statement of the Load-Balancing Problem for a Multi-Tenant Database Cluster With a Constant Flow of Queries. pp. 117-121. DOI: 10.15514/SYRCOSE-2013-7-19.

D. Zorin. Scheduling Signal Processing Tasks for Antenna Arrays with Simulated Annealing. pp. 122-127. DOI: 10.15514/SYRCOSE-2013-7-20.

A. Zenzinov. Automated Deployment of Virtualization-Based Research Models of Distributed Computer Systems. pp. 128-132. DOI: 10.15514/SYRCOSE-2013-7-21.

Information Search and Data Mining

A. Chugunov, V. Lanin. Intelligent Search Based on Ontological Resources and Graph Models. pp. 133-135. DOI: 10.15514/SYRCOSE-2013-7-22.

V. Lanin, R. Nesterov, T. Osotova. Intelligent Service for Aggregation of Real Estate Market Offers. pp. 136-138. DOI: 10.15514/SYRCOSE-2013-7-23.

E. Elokhov, E. Uzunova, M. Valeev, A. Yugov, V. Lanin. An Approach to the Selection of DSL Based on Corpus of Domain-Specific Documents. pp. 139-143. DOI: 10.15514/SYRCOSE-2013-7-24.

Computer Graphics and Image/Speech Processing

D. Rodin. Beholder Framework: A Unified Real-Time Graphics API. pp. 144-148. DOI: 10.15514/SYRCOSE-2013-7-25.

M. Medvedev, M. Shleymovich. Image Key Points Detection and Matching. pp. 149-154. DOI: 10.15514/SYRCOSE-2013-7-26.

R. Shokhirev. Voice Control of Robots and Mobile Machinery. pp. 155-158. DOI: 10.15514/SYRCOSE-2013-7-27.

Application-Specific Methods and Tools

A. Mangin, L. Amiraslanova, L. Lagunov, Yu. Okulovsky. Service-Oriented Control System for a Differential Wheeled Robot. pp. 159-164. DOI: 10.15514/SYRCOSE-2013-7-28.

A. Lazarev, E. Musatova, N. Khusnullin. Scheduling the Delivery of Orders by a Freight Train. pp. 165-168. DOI: 10.15514/SYRCOSE-2013-7-29.

L. Zinnatova, I. Suzdalcev. Optimization of Electronics Component Placement Design on PCB Using Genetic Algorithm. pp. 169-173. DOI: 10.15514/SYRCOSE-2013-7-30.