На чем пишется софт для КА?

[jettero]

Вот неплохой курс!
http://ocw.mit.edu/OcwWeb/Mathematics/18-098January--IAP--2008/CourseHome/index.htm

Да, прикольно уметь на пальцах рассчитывать аэродинамику падающего конуса

[jettero]

дубль

[jettero]

дубль

[jettero]

дубль

[sychbird]

Cтоит только приложить понятие т-мема к проблемам воспроизводства технологии НК-33 или РД-120 и сразу становиться понятно, что санитары не причем. Но давайте будем снисходительны к недавнему юбиляру.
А вообще социогенетика уже лет как 15 является линией фронтира в социальных дисциплинах, и у нас здесь намечается такой же провал, как и в IT- науках. Cобственно  отечественные школы этого направления уже вполне сфомировались, но выхода в массовое образования пока не имеют. Там по прежнему правят бал лишь слегка подкрасившие перышки православием маркситологи.

Пардон за офтоп, эти вопросы явно не для этой темы.

[TAU]

дубль

[TAU]

БЦВМ КА:
Аргон
Салют
С-530
Бисер

[jettero]

дубль

[TAU]

БЦВМ КА:
Аргон
Салют
С-530
Бисер

[kopiev]

Очевидно: Forth[/color], Ассе
мблер[/color], Си(язык программирования)[/color]. Почему никто не вспомнил Ада[/color]? Он кажется специально для этого разрабатывался. :cry:

[bsdv]

Кое что по сабжу...

Automatic code and test generation

 
The advantage of having a model based representation of the requirements or the design of a system is that it is very often possible to derive some code from the models automatically, and to derive some tests under given conditions.
 
 
Automatic code generation
 
Code can be generated for:
HOOD models; if the Object Description Skeleton is filled with the appropriate pseudo code, then the tools can translate it into flight code
UML models, which generate the code skeleton. Some tools assist in editing the code in a graphical way, the code is inserted automatically in the right place. Several tools ensure consistency of the code and the model (round trip engineering)
Behavioural models, where code has already been generated for the simulation, but specific code is generated for on-board use.
MatLab has code generators for C and Ada. They have been modified to be Ravenscar compatible (Margot project)
Telelogic Tau has a SDL-to-C code generator
Autocode requires a good definition of the system/software process, a deep knowledge of the autocoder, and a strong control of the software architecture, as indicated in the ESA guidelines.
 
 
Automatic test generation
 
Automatic test generation is another benefit derived from the existence of a model. The level of the model is important. It must be a model of the requirements. If tests are derived from the very same model from which code is derived, then the tests are testing the code generator. Tests must be derived from a high level model, which will be refined towards the autocode model.
An experiment has been performed with a B model of part of the ATV flight code, using the Leirios technology.


ftp://ftp.estec.esa.nl/pub/wm/wme/Web/AutotestBSSE2005.pdf
ftp://ftp.estec.esa.nl/pub/wm/wme/Web/Guidelines%20on%20the%20use%20of%20automatic%20code%20generation%201.0.PDF

[TAU]

Кое что по сабжу...

ftp://ftp.estec.esa.nl/pub/wm/wme/Web/AutotestBSSE2005.pdf
ftp://ftp.estec.esa.nl/pub/wm/wme/Web/Guidelines%20on%20the%20use%20of%20automatic%20code%20generation%201.0.PDF

Спасибо, очень интересно!

Да, мыслили люди в том же направлении... Фактически обосновывают наш подход  

[Studento]

С языками вроде понятно. А какие операционные системы используются на КА?
Только реального времени или встречаются аппараты скажем на Линуксе?

[TAU]

С языками вроде понятно

вряд ли все ;-)

А какие операционные системы используются на КА?Только реального времени или встречаются аппараты скажем на Линуксе?

Ну, сложно использовать для основных задач на борту ОС не реального времени.
Но есть среди них и "похожие" на Linux.

[bsdv]

Вот например, как у них
http://www.ghs.com/products/rtos/integrity.html
http://www.ghs.com/products/RAD750_development.html
http://www.ghs.com/products/S950_development.html
http://www.ghs.com/products/RAD6000_development.html
Интересно, а что у нас?

[TAU]

Интересно, а что у нас?

Уточните вопрос

[Pyhesty]

Интересно, а военные КА летают под МСВС?

[bsdv]

Интересно, а что у нас?

Уточните вопрос

Какие RTOS в ходу, читал что для ГЛОНАСС есть отечественные разработки НИИ ПМ на основе Модула-2. На чем летают остальные - секрет за семью печатями. Могу предположить,  что это не QNx  или VxWorks.

[jettero]

Интересно, а что у нас?

Уточните вопрос

Какие RTOS в ходу, читал что для ГЛОНАСС есть отечественные разработки НИИ ПМ на основе Модула-2. На чем летают остальные - секрет за семью печатями. Могу предположить,  что это не QNx  или VxWorks.

Про отечественные RTOS не скажу, но когда я будучи студентом работал в лаборатории на кафедре, там для ЗРК софт писался под осью RTEMS. Правда сейчас точно не вспомню, был это эскпортный вариант ЗРК или отечественный. Если у RTEMS исходники открыты вполне могли писать и для себя.
Да, точно RTEMS распространяется под GPL, значит исходники есть и скорее-всего эта ось стояла и на экспортном и на отечественном варианте ЗРК, а различие было в железках - на экспортном активно использовались ПЛИСЫ Xilinx. Было это все лет 15 назад.

[TAU]

Какие RTOS в ходу, читал что для ГЛОНАСС есть отечественные разработки НИИ ПМ на основе Модула-2. На чем летают остальные - секрет за семью печатями. Могу предположить,  что это не QNx  или VxWorks.

Ну, где-то на нашем сегменте МКС точно VxWorks используется.

Кстати, по поводу Модулы-2 - не уверен, что в НПО ПМ именно операционная система на ней написана. Но в принципе этот язык используется.