Open AccessMethod and tools for verification of cross-platform onboard software
Author(s) -
I.V. Kovalev,
M.V. Saramud,
V.V. Losev,
A.A. Koltashev
Publication year - 2021
Publication title -
sovremennye innovacii, sistemy i tehnologii
Language(s) - English
Resource type - Journals
eISSN - 2782-2826
pISSN - 2782-2818
DOI - 10.47813/2782-2818-2021-1-2-82-93
Subject(s) - computer science , verification and validation , software , software construction , process (computing) , software fault tolerance , software engineering , software verification , reliability engineering , software development , real time computing , embedded system , operating system , engineering , operations management
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.