?
An SDVRP Platform Verification Method for Microprocessor-Based Systems Software
P. 79-84.
The correctness of embedded systems software is of critical importance as invalid states can cause a physical damage to hardware. One of approaches to verification of such systems is using source code analyzers. The Static Driver Verifier Research Platform (SDVRP), which is based on Simultaneous Localization and Mapping (SLAM) and represents a tool that systematically analyzes source code and allows writing custom Specification Language for Interface Checking (SLIC) rules for various platforms, provided a potent verification mechanism for a thermal printer software system based on ARM Cortex-M0 microprocessor. An example of creating a custom platform plugin and rule verification is provided for the given embedded system.
In book
Kamkin A., Petrenko A., Terekhov A. Perm : -, 2012
Shershakov S., , in : Proceedings of the International Conference on Electrical and Computer Systems ICECS'12. : Ottawa : International ASET Inc, 2012. P. 207-1-207-8.
The SLAM-based Static Driver Verifier Research Platform (SDVRP), as a tool that systematically analyzes source code and allows writing custom SLIC rules for various platforms, provided a potent verification mechanism for an embedded software system based on ARM Cortex-M0 microprocessor. The correctness of this software is of particular importance in the sense that there are ...
Added: March 14, 2013
Bokovoy A., Yakovlev K., , in : Interactive Collaborative Robotics: Third International Conference, ICR 2018, Leipzig, Germany, September 18–22, 2018, Proceedings. : Springer, 2018. P. 23-33.
The monocular vision-based simultaneous localization and mapping (vSLAM) is one of the most challenging problem in mobile robotics and computer vision. In this work we study the post-processing techniques applied to sparse 3D point-cloud maps, obtained by feature-based vSLAM algorithms. Map post-processing is split into 2 major steps: (1) noise and outlier removal and (2) ...
Added: August 13, 2019
Кринкин К. В., Huletski A., Kartashov D., , in : EEE/RSJ International Conference on Intelligent Robots and Systems (IROS) 2017. : [б.и.], 2017. P. 6770-6776.
— A truly autonomous mobile robot have to solve the SLAM problem (i.e. simultaneous map building and pose estimation) in order to navigate in an unknown environment. Unfortunately, a universal solution for the problem hasn’t been proposed yet. The tinySLAM algorithm that has a compact and clear code was designed to solve SLAM in an ...
Added: February 4, 2019
Лакамера Д., М. : ДМК Пресс, 2023
Данная книга посвящена разработке встраиваемых систем с использованием STM32 с процессорными ядрами ARM. Она будет интересна инженерам и программистам для изучения системного программирования и устройства встраиваемых систем, а также в качестве учебного пособия студентам соответствующих специальностей как продвинутое изучение С/С++ для его применения на низком уровне операционной системы и драйверов устройств.
В первой главе рассказывается о ...
Added: November 4, 2023
Khoroshilov A. V., Мандрыкин М. У., Мутилин В. С. et al., Programming and Computer Software 2015 Vol. 41 No. 1 P. 49-64
An operating system (OS) kernel is a critical software regarding to reliability and efficiency. Quality of modern OS kernels is already high enough. However, this is not the case for kernel modules, like, for example, device drivers that, due to various reasons, have a significantly lower level of quality. One of the most critical and ...
Added: November 1, 2015
Bokovoy A., Muravyev K., Yakovlev K., , in : Artificial Intelligence. RCAI 2020. : Switzerland : Springer, 2020. P. 46-60.
Simultaneous localization and mapping, especially the one relying solely on video data (vSLAM), is a challenging problem that has been extensively studied in robotics and computer vision. State-of-the-art vSLAM algorithms are capable of constructing accurate-enough maps that enable a mobile robot to autonomously navigate an unknown environment. In this work, we are interested in an ...
Added: November 2, 2020
IEEE, 2022
Added: October 31, 2022
[б.и.], 2017
Added: February 4, 2019
Bokovoy A., Yakovlev K., , in : Analysis of Images, Social Networks and Texts. 6th International Conference, 2017, Revised Selected Papers. Vol. 10716.: Cham : Springer, 2018. P. 210-220.
Vision-based simultaneous localization and mapping (vSLAM) is a well-established problem in mobile robotics and monocular vSLAM is one of the most challenging variations of that problem nowadays. In this work we study one of the core post-processing optimization mechanisms in vSLAM, e.g. loop-closure detection. We analyze the existing methods and propose original algorithm for loop-closure ...
Added: September 28, 2018
Kirill Muravyev, Yakovlev K., IEEE Access 2023 Vol. 11 P. 132683-132698
Mapping is one of the key components of mobile robot navigation. Representing a map as a topological structure is suitable for fast path planning and does not require high positioning precision or high computational resources, which is particularly useful in large environments. In recent years, numerous methods of topological graph building have emerged. Most of ...
Added: March 19, 2024
Safarova L., Abbyasov B., Tsoy T. et al., , in : 7th International Conference, ICR 2022, Fuzhou, China, December 16-18, 2022, Proceedings. : Springer, 2022. P. 81-92.
Added: January 31, 2023
St. Petersburg : University ITMO, 2016
FRUCT is the largest regional cooperation framework between academia and industry in form of open innovations. FRUCT conferences are attended by the representatives of 25 FRUCT member universities from Russia, Finland, Denmark, Italy, Ukraine, India, industrial experts from Qt community, EMC, EIT ICT Labs, Nokia Siemens Networks and a number of guests from other companies ...
Added: June 5, 2016
Yakovlev K., Khithov V., Loginov M. et al., , in : Intelligent Systems'2014 - Proceedings of the 7th IEEE International Conference Intelligent Systems IS'2014, September 24-26, 2014, Warsaw, Poland, Volume 2: Tools, Architectures, Systems, Applications. Т. 323.: Springer, 2015. P. 49-56.
The problem of developing distributed control and navigation system for quadrotor UAVs operating in GPS-denied environments is addressed in the paper. Cooperative navigation, marker detection and mapping task solved by a team of multiple unmanned aerial vehicles is chosen as demo example. Developed intelligent control system complies with on 4D\RCS reference model and its implementation ...
Added: April 27, 2015
Zakiev A., Lavrenov R., Magid E. et al., Journal of Advanced Research in Dynamical and Control Systems 2019 Vol. 11 No. 8 P. 1743-1753
This paper introduces a new indoor environment exploration method, which is designed to consider robot sensory perception constraints and indoor spaces predictable structure. Our new method is compared with a greedy approach exploration. The two algorithms were implemented and tested in simulation and in real-world experiments with a Russian Servosila Engineer crawler rescue robot. Robot ...
Added: October 10, 2021
Filatov A., Filatov A., Кринкин К. В. et al., , in : Proceedings of the 21st Conference of Open Innovations Association FRUCT, University of Helsinki, Helsinki, Finland. : [б.и.], 2017. P. 120-126.
—SLAM (Simultaneous Localization and mapping) is one of the most challenging problems for mobile platforms and there is a huge amount of modern SLAM algorithms. The choice of the algorithm that might be used in every particular problem requires prior knowledge about advantages and disadvantages of each algorithm. This paper presents the approach for comparison ...
Added: February 4, 2019
Cham : Springer, 2015
This book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatics Conference, PSI 2015, held in Kazan and Innopolis, Russia, in August 2015.
The 2 invited and 23 full papers presented in this volume were carefully reviewed and selected from 56 submissions. The papers cover various topics related to the foundations of program and ...
Added: January 29, 2019
Ottawa : International ASET Inc, 2012
The International Academy of Science, Engineering and Technology (International ASET Inc.) is pleased to organize the 2012 International Conference on Electrical and Computer Systems (ICECS'12).
ICECS is a comprehensive conference covering all the various topics of Electrical Engineering, Electronics, Computer Sciences and Engineering, and Information Technologies. The aim of the ICECS 2012 is to gather scholars ...
Added: March 14, 2013