Описание тега do178-b

DO-178B - это руководство по безопасности критически важного для безопасности программного обеспечения.
3 ответа

Рапсодия для среды авионики DO-178?

Кто-нибудь успешно использовал Rhapsody в среде авионики DO-178? То есть работа с процессом FAA/DER для предоставления им артефактов и их одобрения. Поскольку я понимаю, что Rhapsody не является сертифицируемым инструментом MDD, мне было любопытно, …
25 май '12 в 16:49
1 ответ

Использование DVCS при разработке программного обеспечения высокой целостности

Кто-нибудь имел опыт использования инструментов распределенного контроля версий, таких как Mercurial, Git, Bazaar и т. Д., При разработке проектов для использования в сфере программного обеспечения высокой целостности, я думаю, если вам нужно разраб…
08 мар '17 в 20:10
5 ответов

Что будет более продуктивным? Преобразование VAX PASCAL в GNU PASCAL или перенос его на perl или другой язык

У меня есть эта устаревшая кодовая база (Compaq PERL), около 1500 строк кода, которую мне нужно перенести на Windows. Я хотел использовать GNU PASCAL (который я установил и работаю). Я уже получил наш ассемблер (HP 64000 8051) от VAX и на Windows (K…
06 дек '08 в 23:33
0 ответов

Требуется ли ОСРВ для сертификации DO-178B уровня D?

В частности, какие цели необходимы для соответствия сертификации для уровня D... что является лишь "второстепенной" критичностью. Похоже, я не могу найти что-либо публично, что указывает на цели уровня D. Я надеюсь, что ОС общего назначения будет со…
07 июн '18 в 14:41
4 ответа

"DO-178B level A" запрещает оптимизацию компиляторов?

Существует сертификация уровня A и уровня B DO-178B для бортовых систем. Запрещает ли использование оптимизирующих компиляторов? Например, некоторые компиляторы переупорядочивают инструкции, чтобы повысить производительность. DO-178B lev.A или lev.B…
03 сен '11 в 18:27
7 ответов

Ресурсы для управления памятью во встроенном приложении

Как мне управлять памятью в моем критически важном встроенном приложении? Я нашел несколько статей в Google, но не смог найти действительно полезного практического руководства. DO-178b запрещает динамическое распределение памяти, но как вы будете уп…
18 мар '10 в 12:54
2 ответа

В чем разница между мертвым кодом и деактивированным кодом?

В чем разница между Dead code а также Deactivated code согласно DO178-b? Пожалуйста, приведите несколько примеров, чтобы подчеркнуть разницу.
25 ноя '16 в 12:46
0 ответов

SVN для целей DO178-B

Я делаю технико-экономическое обоснование, чтобы увидеть, можно ли использовать SVN для поддержки проекта DO-178B/C. В большинстве проектов DO178, которые я видел, используется CVS или аналогичный инструмент управления конфигурацией, который поддерж…
03 окт '16 в 08:05
1 ответ

Ресурсы для систем отображения в критически важных для встраиваемых систем безопасности?

Я ищу ресурсы, которые могут ответить на следующие мои вопросы. Где именно вписываются системы отображения в архитектуре SC ERTS. В чем разница между системами отображения SC и обычными? Какую роль играет аппаратное и программное обеспечение в систе…
05 дек '09 в 09:04
3 ответа

Использование #define для псевдонимов членов структуры

Это субъективный вопрос, поэтому я приму "ответа нет", но прочитал полностью, так как это специально для системы, где код критичен по безопасности. Я принял некоторый встроенный C-код для критической системы безопасности, где первоначальный автор (в…
28 апр '19 в 18:49
2 ответа

Требуются ли для DO-178C квалифицированные исполнители?

В тексте DO 178C «инструменты разработки» и «инструменты проверки» должны быть квалифицированы. Компилятор - это, безусловно, инструмент разработки. Но при поиске «компиляторов C, отвечающих требованиям DO 178C» я не нашел компилятора для языка C. В…
19 апр '21 в 18:00
0 ответов

Инструмент обеспечения соответствия требованиям IEC 622279, критически важный для функциональной безопасности

Мы работаем над разработкой критически важного для безопасности программного обеспечения для железных дорог, где V-Model-Lifecycle является лучшей отраслевой практикой и требуется соответствие IEC 622279. Мы ищем любой инструмент управления требован…
1 ответ

Как понять значение требования высокого уровня и требования низкого уровня в DO-178C?

DO-178C или DO-178B требуют двухуровневых требований к программному обеспечению, то есть требований высокого уровня и требований низкого уровня. Но, как правило, за исключением очень небольшого программного обеспечения, иерархическая структура больш…