Описание тега high-integrity-systems
7
ответов
Выбор языка программирования для систем высокой целостности
Какие языки программирования являются хорошим выбором для систем высокой целостности? Примером плохого выбора является Java, так как существует значительное количество кода, недоступного для программиста. Я ищу примеры строго типизированных блочно-с…
03 май '10 в 11:58
1
ответ
Высокая целостность / информационная гарантия в процессах разработки и доставки программного обеспечения
Предположим, вы разрабатываете для клиента, который требует максимальных гарантий происхождения и соответствия процесса программного обеспечения, которое вы поставляете им. Какие меры может принять организация-разработчик для предоставления программ…
20 окт '10 в 01:16
2
ответа
"Принимая вызов в SPARK Ada" - функция-призрак суммирования в постусловии с непреднамеренным поведением
Я пишу программу на SPARK Ada, которая требует, чтобы пост-условие проверяло, что возвращаемое функцией значение равно суммированным значениям массива. После проверки файла, в котором находится функция, я продолжаю получать ошибку, которая не совсем…
03 июл '20 в 13:01
6
ответов
Может ли программа исправить себя (переменные)? (критическая с точки зрения безопасности среда)
Я только начал писать отказоустойчивый код C с высокой степенью целостности, и я хотел бы знать, могут ли программы «исправить себя», если переменная по какой-либо причине повреждена (например, космическими лучами). Я знаю, что есть определенное обо…
09 авг '22 в 11:34