Affordable Access

ФОРМАЛЬНАЯ ВЕРИФИКАЦИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ДЛЯ АВТОМАТИЗАЦИИ ИСПЫТАНИЙ СИСТЕМ КОСМИЧЕСКИХ АППАРАТОВ

Authors
Publisher
National Aviation University
Publication Date
Keywords
  • Spacecraft
  • Test Automation
  • Software
  • Formal Verification Methods
  • Workflow Model
  • Petri Net.
  • 004.415.5
  • Космический аппарат
  • автоматизация испытаний
  • программное обеспечение
  • формальные методы верификации
  • модель потоков работ
  • сеть Петри
  • Космічний апарат
  • автоматизація випробувань
  • програмне забезпечення
  • формальні методи верифікації
  • модель потоків робіт
  • мережа Петрі
Disciplines
  • Computer Science
  • Mathematics

Abstract

Features of application of Windows Workflow Foundation technology on software development for test bench automatization of such spacecraft subsystem. There was shown that application of given technology allows the technologist to describe directly computational process flow, using base run-units (executed units) or templates in the form of working streams. This increases clearness and simplifies further system modification. The mechanism of verification of working threads of the applications constructed under specification Windows Workflow Foundation and capable to change business logic at a performance stage is considered. The mechanism of transformation of working threads in the notation of Petri nets offered and the example of such transformation is resulted. For verification it is offered to use a mathematical apparatus of Petri nets, analyzing properties faultlessness closed equivalent Petri net. Definition of the requirements characterizing faultlessness Petri net is made.

There are no comments yet on this publication. Be the first to share your thoughts.