Method and tools for verification of cross-platform onboard software
Journal Title: Modern Innovations, Systems and Technologies - Year 2021, Vol 1, Issue 2
Abstract
The developed method and tools for verification and confirmation of onboard software are presented, which guarantee its compliance with all established functional and non-functional requirements throughout the entire life cycle of cross-platform onboard software. This approach allows not only to increase the fault tolerance of the control system software during operation, but also allows collecting statistics on the operation of software components in the process of real functioning of all subsystems. This information allows you to identify possible situations in which software failures appear, which allows you to develop more reliable software components in the future. The results of the operation of the version control function of the onboard software in the simulation environment are presented. The process of collecting statistics for identifying faulty versions is described.
Authors and Affiliations
I. V. Kovalev, M. V. Saramud, V. V. Losev, A. A. Koltashev
Keywords
Related Articles
- EP ID EP706126
- DOI https://doi.org/10.47813/2782-2818-2021-1-2-22-33
- Views 188
- Downloads 0
Effective integration of machine learning operations into educational and research processes
This article examines the possibilities and advantages of implementing machine learning operations in scientific and educational institutions, with an emphasis on university infrastructure, where the tasks of education,...
On the ways of forming information structures for modeling objects, environments and processes
The paper discusses the well-known concepts of matter, objects, environments, information and information field in relation to the proposed information representation of the interaction of objects and environments based...
Experimental tensile testing of steel belts for linter machine gaskets
The article presents the results of an experimental study of steel welded belts between saw blades of a 5LP linter machine under tension. The WAW-1000D universal testing machine was used to determine the practical tensil...
Theoretical and experimental study of the influence of temperature, humidity and density on the processes of drying, cleaning and filtration of cotton raw materials
The article presents information about existing problems and their solutions in the process of drying cotton raw materials at cotton gin plants, patterns of changes in the humidity of cotton raw materials at different va...
Formalized approach to the design of microprocessor systems with elements of human-machine interaction
The article discusses the methodology of a formalized approach to the design of microprocessor systems that provide human-machine interaction. Classical procedures for designing sequential systems (circuit logic) applica...