Software architecture design for microsatellite computer board using SYSML language

Abstract

This paper presents the experience of software architectural design process for the microsatellite board computer based on formal language SysML. The design is achieved by top down method, which aims to set events and processes for satellite systems work by drawing SysML diagrams. In the design environment thanks to diagrams is generated program structure, which provides reliability and high-speed operation. Acquired experience shown that due to the reverse design (reverse engineering) may be reduced time testing and the design environment will allow correction and automatic generation of electronic documentation.

În lucrare se prezintă experiența procesului de proiectare arhitecturală a softului pentru calculatorul de bord a microsatelitului în baza limbajului formal SYSML. Proiectarea se realizează prin metoda top down, care vizează definirea evenimentelor și proceselor de funcționare a sistemelor satelitului, prin elaborarea diagramelor SYSML. În mediul de proiectare cu ajutorul diagramelor se generează structura programului, aceasta structură oferă o fiabilitate și o rapiditate înaltă de funcționare. Experiența acumulată arată că datorită proiectării inverse (reverse engineering) poate fi micșorat timpul de testare, iar mediul de proiectare va permite corectarea și generarea automată a documentației electronice.

Le document présente l'expérience de processus de conception architecturale pour ordinateur de bord de microsatellite fondée sur la langue formelle SysML. La conception est réalisée par haut en bas, visant à définir les événements et les processus de fonctionnement des systèmes de satellites en dessinant des diagrammes SysML. Dans l'environnement de conception, avec des diagrammes est généré structure du programme, cette structure offre une grande fiabilité et une grande vitesse de fonctionnement. L'expérience accumulée montre qu'en raison de la conception inverse (reverse engineering) peut être réduit le temps de test et de l'environnement de conception permettra de rectification et de générer automatiquement des documents électroniques.

В данной работе представлен опыт процесса разработки архитектурного проектирования программного обеспечения для бортового компьютера микроспутника на основе формального языка SysML. Проектирование осуществляется при помощи метода “Top down”, направленного на определение событий и процессов работы систем спутника, путем разработки SysML диаграмм. В среде разработки с помощью диаграмм генерируется структура программы, эта структура обеспечивает надежность и высокую скорость работы. Опыт показывает, что посредством обратного проектирования (reverse engineering) может быть снижено время тестирования, а среда разработки позволит исправление и автоматическую генерацию электронной документации.