The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



Вариант для распечатки  
Пред. тема | След. тема 
Форум Разговоры, обсуждение новостей
Режим отображения отдельной подветви беседы [ Отслеживать ]

Оглавление

SpaceX использует Linux и обычные x86-процессоры в Falcon 9, opennews (??), 03-Июн-20, (0) [смотреть все] +1

Сообщения [Сортировка по времени | RSS]


96. "SpaceX использует Linux и обычные x86-процессоры в Falcon 9"  +/
Сообщение от anonimous (?), 04-Июн-20, 01:50 
>Управляющее полётом ПО написано на C/C++

Там так все урезано, что от с++ остается что-то более-менее управляемое

У НАСА например надо удовлетворять мисре, + у них добавлены свои ограничения

https://en.wikipedia.org/wiki/The_Power_of_10:_Rules_for_Dev...

мисра вроде только платная, но для си есть
http://easyelectronics.ru/files/Book/misra_c_rus.pdf

для с++ можно глянуть
https://www.grammatech.com/sites/default/files/misra2012-map...

так, для примера
Dynamic heap memory allocation shall not be used.
The C library shall not be used.
When an array is declared, its size shall either be stated explicitly or defined implicitly by initialization.
The increment ( ++ ) and decrement ( -- ) operators should not be mixed with other operators in an expression.
вот это любопытно
Sections of code should not be "commented out" using C++ comments.

Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

203. "SpaceX использует Linux и обычные x86-процессоры в Falcon 9"  +/
Сообщение от Anonymoustus (ok), 04-Июн-20, 12:30 
Смотрите-ка, не только стырили, но и перевели. А я читал на английском. :-)
Ответить | Правка | Наверх | Cообщить модератору

345. "SpaceX использует Linux и обычные x86-процессоры в Falcon 9"  +/
Сообщение от Аноним (344), 04-Июн-20, 19:51 
> Смотрите-ка, не только стырили, но и перевели. А я читал на английском. :-)

Линку дай. На русском там такая терминология местами что без поллитры не разберешься.

Ответить | Правка | Наверх | Cообщить модератору

369. "SpaceX использует Linux и обычные x86-процессоры в Falcon 9"  +/
Сообщение от Anonymoustus (ok), 04-Июн-20, 20:40 
>> Смотрите-ка, не только стырили, но и перевели. А я читал на английском. :-)
> Линку дай. На русском там такая терминология местами что без поллитры не
> разберешься.

Ты хочешь купить или украсть?

Купить — там: https://www.misra.org.uk/Buyonline/tabid/58/Default.aspx

Украсть — Гугл подскажет где.

Ответить | Правка | Наверх | Cообщить модератору

376. "SpaceX использует Linux и обычные x86-процессоры в Falcon 9"  +/
Сообщение от Аноним (376), 04-Июн-20, 20:54 
> Ты хочешь купить или украсть?

На самом деле всего лишь почитать. Чтобы это вот именно кражей стало - я должен взять у MISRA их, гм, довольно странный товар в виде _сообщений_ и где-то типа компилера или верификатора поюзать. Тогда это еще будет напоминать кражу (по версии MISRA).

> Украсть — Гугл подскажет где.

Да я уже нашел относительно легальный вариант - описание на кривой козе, без самих сообщений которые цопирайт этих жадин.

Ответить | Правка | Наверх | Cообщить модератору

383. "SpaceX использует Linux и обычные x86-процессоры в Falcon 9"  +/
Сообщение от Anonymoustus (ok), 04-Июн-20, 21:40 
Мне, собственно, не жаль, это не моё:

http://libgen.is/search.php?req=Motor+Industry+Software+Reli...

Там документы не последней версии, но читать годятся.

Ответить | Правка | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру