Abstract
In this work the question of creation and application of formal models in the form of varieties of Petri nets to process of the automated electric tests of the automatic spacecraft is considered. At present, automatic spacecraft for various purposes are required to have a long active life. This implies the use of modern electronic components that are resistant to external factors affecting outer space. Electronic equipment, consisting of these components, forms information networks on Board the spasecraft, which leads to the need for a comprehensive electrical inspection of the operation of onboard instruments and systems of such networks in an automated mode. Modeling of the processes taking place in the on-Board electronic units, and the control and verification equipment interacting with it, is of separate interest, as it allows to develop automated testing methods based on the obtained data of the model analysis.
Highlights
Краткий анализ области исследования и постановка задачиВ настоящее время существует несколько под‐ ходов к моделированию функционирования слож‐ ных технических систем, к которым относится и система электрических испытаний бортовой ап‐ паратуры в составе космического аппарата
Введение При изготовлении автоматического космиче‐ ского аппарата (АКА [1]) естественным образом возникает задача оценки его технического состо‐ яния и принятия решения о его исправности
Фиксация результатов этих процессов во время проведения испытаний и оценка исправности при‐ боров должна происходить с минимальной времен‐ ной задержкой
Summary
В настоящее время существует несколько под‐ ходов к моделированию функционирования слож‐ ных технических систем, к которым относится и система электрических испытаний бортовой ап‐ паратуры в составе космического аппарата. Функционирование рассматриваемой системы испытаний бортовой аппаратуры в составе косми‐ ческого аппарата, вследствие воздействия на него случайных событий, на которые система должна реагировать, представляет собой случайный про‐ цесс. Большинство составных частей бортовой ап‐ паратуры систем АКА имеют в своем составе собственные вычислители. Каждой системе соответствуют некото‐ рые режимы функционирования, которые могут описываться состояниями приборов, входящих в них. Эти системы взаимодействуют с контрольнопроверочной аппаратурой и автоматизированным испытательным комплексом (АИК [17]), которые, в свою очередь, также имеют в своем составе не‐ которые вычислительные средства. 1 приведена обобщенная структурная схема организации процесса испытаний бортового специального комплекса космической системы (БСпК КС [1]) в составе АКА. Функционирование такой системы представляет собой взаимодействие нескольких сетевых вычис‐ лительных систем, а именно:. Бортового вычислительного комплекса (БВК) с контроллером сети в виде бортовой вычис‐ лительной цифровой машины (контроллера ка‐ нала, в терминах ГОСТ 52070 [18]); Наземная информационная сеть
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
