1. Главная
  2. Ресурсы
  3. Библиотечный поиск
Method and tools forverification ofcross-platformonboard software :научное издание Kovalev I.V.Saramud M.V.Losev V.V.2021 год

Method and tools for verification of cross-platform onboard software : научное издание
статья из журнала

Дополнительные ссылки: eLibrary
База данных: Каталог библиотеки СФУ
Библиографическое описание: Method and tools for verification of cross-platform onboard software : научное издание / I. V. Kovalev, M. V. Saramud, V. V. Losev, A. A. Koltashev. - Текст : непосредственный // Современные инновации, системы и технологии. - 2021. - Т. 1, № 2. - С. 82-93. - ISSN 2782-2818, DOI 10.47813/2782-2818-2021-1-2-82-93.
Аннотация: <jats:p>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.</jats:p>
Год издания: 2021
Авторы: Kovalev I.V., Saramud M.V., Losev V.V., Koltashev A.A.
Издательство: ООО "Сибирский Научный Центр ДНИТ, Красноярск
Источник: Современные инновации, системы и технологии
Выпуск: Т. 1, № 2
Номера страниц: 82-93
Количество экземпляров:
Твёрдая копия издания отсутствует в фонде библиотеки

Похожие публикации

Method and tools forverification ofcross-platformonboard software Kovalev I.V.Saramud M.V.Losev V.V.2021 год

Method and tools for verification of cross-platform onboard software : научное издание

  • Kovalev I.V. и др.
  • 2021 год
A TOOL FOR DEVELOPINGAND VERIFYINGOMPONENTS OFCROSS-PLATFORMON-BOARD SOFTWARE Saramud M.V.Kovalev I.V.Losev V.V.2019 год

A TOOL FOR DEVELOPING AND VERIFYING OMPONENTS OF CROSS-PLATFORM ON-BOARD SOFTWARE : научное издание

  • Saramud M.V. и др.
  • 2019 год
Methods foridentification ofobjects ofdevelopment ofcross-platformon‐board software forcommunication and… Kovalev D.Kovalev I.Testoyedov N.2022 год

Methods for identification of objects of development of cross-platform on‐board software for communication and…

  • Kovalev D. и др.
  • 2022 год
Methods foridentification ofobjects ofdevelopment ofcross-platformon-board software forcommunication and… Kovalev DmitryKovalev IgorTestoyedov Nikolay2022 год

Methods for identification of objects of development of cross-platform on-board software for… : доклад, тезисы доклада

  • Kovalev Dmitry и др.
  • 2022 год

Cross-media authentication and verification : emerging research and opportunities

  • Katsaounidou Anastasia
  • 2019 год
Verification of aNumerical Method forModeling Two-phaseFlows of ImmiscibleLiquids with theTransfer ofModifying… Gavrilov Andrey A.Guzei Dmitriy V.Dekterev Aleksandr A.2024 год

Verification of a Numerical Method for Modeling Two-phase Flows of Immiscible Liquids with the… : научное издание

  • Gavrilov Andrey A. и др.
  • 2024 год
Digital platforms andtools used in thesystem of teachingEnglish Vonog V.V.Batunova I.V.Kolga V.V.2021 год

Digital platforms and tools used in the system of teaching English : научное издание

  • Vonog V.V. и др.
  • 2021 год
On the issue ofchoosing a real-timeoperating system forhardware and softwaresupport of industrialand… Kovalev D.I.Mansurova T.P.Tynchenko Ya.A.2021 год

On the issue of choosing a real-time operating system for hardware and software support of… : научное издание

  • Kovalev D.I. и др.
  • 2021 год

Показать ещё

On the issue ofchoosing a real-timeoperating system forhardware and softwaresupport of industrialand… Kovalev D.I.Mansurova T.P.Tynchenko Ya.A.2021 год

On the issue of choosing a real-time operating system for hardware and software support of… : научное издание

  • Kovalev D.I. и др.
  • 2021 год
SOFTWARE INTERFACESAND DECISION BLOCKFOR THE EXECUTIONENVIRONMENT OFMULTI-VERSIONSOFTWARE IN REAL-TIMEOPERATING… Saramud M.V.Kovalev I.V.Losev V.V.2018 год

SOFTWARE INTERFACES AND DECISION BLOCK FOR THE EXECUTION ENVIRONMENT OF MULTI-VERSION SOFTWARE IN… : научное издание

  • Saramud M.V. и др.
  • 2018 год
Towards verificationof scientific andengineerinprograms.The CPPS project Kondratyev D. A.Promsky A. V.2020 год

Towards verification of scientific and engineerinprograms. The CPPS project : статья из журнала

  • Kondratyev D. A. и др.
  • 2020 год
Simulation andverification of theminiaturizedsemi-continuouscasting technologyafter laboratory andindustrial… Bezrukikh AleksandrInnokentyevichIliin Aleksey AleksandrovichKonstantinov Igor Lazarevich2026 год

Simulation and verification of the miniaturized semi-continuous casting technology after laboratory… : научное издание

  • Bezrukikh Aleksandr Innokentyevich и др.
  • 2026 год

Verification of a Numerical Method for Modeling Two-phase Flows of Immiscible Liquids with the… : статья из журнала

  • Gavrilov Andrey и др.
  • 2024 год
ResNet-SV: Fast andaccurate speakerverification with amulti-layer cascadeattention mechanism Aliyev A. A.Molodyakov S. A.2025 год

ResNet-SV: Fast and accurate speaker verification with a multi-layer cascade attention mechanism : статья из журнала

  • Aliyev A. A. и др.
  • 2025 год
Method of creationand verification ofthe spacecraftonboard equipmentoperation model Kulyasov NikitaIsaeva OlgaIsaev Sergey2019 год

Method of creation and verification of the spacecraft onboard equipment operation model : доклад, тезисы доклада

  • Kulyasov Nikita и др.
  • 2019 год
Improving foodproductsstandardization: Froma verification toolto product branding Butova T.G.Klimovich N.V.Mutovin S.I.2022 год

Improving food products standardization: From a verification tool to product branding : доклад, тезисы доклада,…

  • Butova T.G. и др.
  • 2022 год