Описание тега safety-critical
Программное обеспечение [критично для безопасности], когда неправильный ответ или неправильно рассчитанный ответ может привести к значительным потерям для его пользователей; в самом крайнем случае такие отказы могут привести к гибели людей.
1
ответ
Инкапсуляция в критических для безопасности системах
Обычно системы, критические для безопасности, используют инкапсуляцию? Скажем, встроенная система, реализованная в Аде или Си для спутника, реактивного истребителя, подводной лодки или авиалайнера. У меня возник вопрос, поскольку для меня концепция …
25 апр '14 в 07:36
1
ответ
Есть ли подходящий md5 инструмент для аэронавтики?
Я работаю в области аэронавтики в компании, которая продает оборудование для салонов коммерческих самолетов. Мы работаем над решением для доставки обновлений программного обеспечения нашим клиентам через сервер, а не физически на CDROM, как это дела…
24 фев '17 в 09:38
3
ответа
Есть ли "безопасная" альтернатива static_cast?
Есть ли "безопасная" альтернатива static_cast в C++11/14 или библиотека, которая реализует эту функциональность? Под "безопасным" я подразумеваю, что приведение должно разрешать только приведение, которое не теряет точности. Так что актерский состав…
17 окт '18 в 14:54
4
ответа
Правила распределения SIL для задач в критически важных для безопасности приложениях и совместного использования разделов
Рассматривая критически важное для безопасности приложение, состоящее из нескольких задач, у меня возникает следующий вопрос: Возможно ли иметь в приложении задачи с разными уровнями SIL или это все задачи одного и того же уровня SIL? Я знаю, что в …
03 дек '10 в 15:46
1
ответ
Различия между R и HR в SIL# Нормы
Нормы SIL определяют разные правила, которые должны применяться к коду (например, цикломатическая сложность и т. Д.) Эти правила определены "NA - неприменимо", "R - рекомендуется" и "HR - настоятельно рекомендуется". Я понимаю, что эта оценка зависи…
16 мар '17 в 09:25
1
ответ
Формальные методы в C++ для безопасного программного обеспечения
Глядя на C, C имеет хорошую поддержку формальных методов, которые могут использоваться в коде (frama-c, VCC, Verifiedast). Насколько я могу судить, в C++ нет ничего похожего. Какие формальные методы доступны для рассуждения о безопасности программно…
22 июл '14 в 23:54
4
ответа
Передача значения по указателю на функцию. Должны ли мы создать копию переменной внутри функции?
У нас есть две простые функции. #include <stdio.h> /* first approach */ int power1(int *ptr) { return *ptr * *ptr; } /* second approach */ int power2(int *ptr) { int tmp = *ptr; return tmp*tmp; } int main() { int val = 5; printf("%d\n", power1…
21 фев '19 в 07:59
2
ответа
Что такое сильный аргумент против переменной избыточности в коде c
Я работаю в области разработки критически важных приложений. Недавно, как рецензент кода, я жаловался на стиль кодирования, показанный ниже, но не смог убедительно обосновать его. Так что, что было бы хорошим аргументом против такой переменной избыт…
19 июн '13 в 22:10
0
ответов
Существует ли сертифицированная (ISO 26262 или аналогичная) стандартная библиотека C++?
Хотя сертифицированные наборы инструментов C++ (компилятор и т. Д.) Существуют, я не нашел ни одной сертифицированной стандартной библиотеки C++ (STL). Кто-нибудь знает, кто-то предоставляет это?
14 сен '18 в 22:59
16
ответов
Какие языки используются для безопасного программного обеспечения?
Я исследую разработку программного обеспечения, критически важного для безопасности, и, в частности, что влияет на выбор языка программирования. Пожалуйста, объясните подробно, какие языки обычно используются и почему.
28 окт '08 в 13:50
2
ответа
Тестирование C++17 в критических системах безопасности
В настоящее время я думаю о C++ в критически важном программном обеспечении (DO-178C DAL-D) и определениях стандарта кодирования. Я смотрел на MISRA C++, которому снова 10 лет, и он скучает по всем возможностям C++11…17. Хотя консервативность в отно…
05 июл '18 в 06:24
1
ответ
Qt Research/ Академические / Журнальные статьи / Статьи
Я пытаюсь найти какие-либо исследовательские / академические / журнальные статьи / статьи, в которых анализируются последние версии Qt и Qt Creator. В частности, я пытаюсь оценить Qt с точки зрения безопасности в реальном времени, поэтому любая инфо…
20 мар '12 в 21:16
0
ответов
Двухпроцессное решение для задачи критического сечения - алгоритм 1
Я начал изучать Критическую Проблему Секции и ее различные решения. Чтобы объяснить мой вопрос, позвольте мне сначала кратко изложить его. Общая структура двухпроцессного решения для задачи критического сечения - алгоритм 1: turn = 0; do { while (tu…
30 янв '19 в 04:47
0
ответов
VX работает симулятором с Opengl SC
Есть ли какой-нибудь симулятор VXworks, где я могу создать свое приложение Opengl ES или SC и запустить его? Я новичок в OpenGL Plateform, Мой проект включает в себя разработку дисплея для критической системы безопасности. Я хочу смоделировать базов…
16 июн '18 в 08:11
3
ответа
Тайм-аут передачи по CAN-шине Linux
сценарий Существует устройство на базе Linux, подключенное к шине CAN. Устройство периодически передает сообщение CAN. Характер данных, переносимых этим сообщением, подобен измерению, а не команде, то есть, действительно, действительным является тол…
28 окт '13 в 11:02
1
ответ
МОЖЕТ Принятие фильтрации
Предположим, что все узлы в сети CAN настроены с использованием фильтров приема для пакетов RX, которые адресованы только им. Пример: Узел A, настроенный на rx-пакеты, адресованные только "A" в поле 11-битного идентификатора и так далее. Сценарий: е…
23 янв '16 в 10:36
1
ответ
Переопределение функций: что происходит и когда
Итак, функциональное переопределение и дискретная математика. Особенность, в которой я не совсем уверен в критическом проектировании системы. Скажем, у нас есть особенность, где, если f () не получится g () переопределит; как обозначено ниже... "g (…
23 май '16 в 11:51
3
ответа
Никогда не используйте предопределенные реальные типы?
Я начинаю изучать язык Ада, читая ADA Distilled. В главе 3.8 говорится: Программист Ada никогда не использует предопределенные реальные типы для критически важного для безопасности программного обеспечения производственного качества. Мне было интере…
25 янв '16 в 13:05
1
ответ
Разница в разработке программного обеспечения, критически важного для безопасности
При разработке программного обеспечения, критически важного для безопасности, с использованием некоторых стандартов качества (таких как, например, IEC 61508 или DO 178-C), разработчики должны заботиться о многих вещах. Я знаю, что проверка на каждом…
30 янв '16 в 20:11
5
ответов
Мишра нарушение 12,6
Как избавиться от нарушения MISRA по следующему утверждению typedef unsigned char boolean; boolean A, B; A = !B; Операнд логический! оператор не является "булево эффективным" выражением. MISRA-C: Правило 12.6 2004 года; СПРАВКА - ISO:C90-6.3.3.3. Ун…
13 фев '14 в 17:16