Достоверность функционирования – это свойство системы, обеспечивающее безошибочность производимых ею преобразований информации.
Достоверность функционирования ИВС полностью определяется достоверностью ее результирующей информации.
Достоверность информации – этосвойство информации отражать реально существующие объекты с необходимой точностью.
Одним из наиболее действенных средств обеспечения достоверности информации в ИВС является ее контроль. Контроль – процесс получения и обработки информации с целью оценки соответствия фактического состояния объекта предъявляемым к нему требованиям и выработки соответствующего решения. Объектом контроля в нашем случае является достоверность информации. Следовательно, при контроле должно быть выявлено соответствия фактической и необходимой точности представления информации.
Наиболее эффективными и перспективными методами достоверности информации являются методы использующие корректирующие коды с обнаружением и исправлением ошибок. При относительно небольшой избыточности эти методы имеют высокую корректирующую способность.
Кодовое расстояние d между двумя словами равно числу разрядов, в которых рассматриваемые слова различаются между собой. Для обнаружения однократной ошибки (ошибки в одном разряде) достаточно выбрать такие разрешенные слова, которые отличаются друг от друга как минимум в двух разрядах, т.е. кодовое расстояние между разрешенными кодовыми словами должно быть d > 1. В общем случае для возможности обнаружения ошибок кратности lобн (ошибки, исказившей lобн символов в кодовом слове) минимальное кодовое расстояние между разрешенными кодовыми словами должно быть:
dmin = l обн+1.
При исправлении ошибок все множество входных и выходных слов разбивается на группы, и каждому разрешенному кодовому слову ставится в соответствие одна такая группа. Если в результате преобразования получили запрещенное слово, входящее в состав одной из таких групп, то оно заменяется тем разрешенным словом, которому поставлена в соответствие данная группа.
Для исправления однократной ошибки достаточно выбрать разрешенные кодовые слова так, чтобы они находились друг от друга на кодовом расстоянии d > 2, а разрешенным кодовым словам поставить в соответствие все запрещенные слова, находящиеся от них на кодовом расстоянии d = 1 (действительно, однократная ошибка изменяет в слове только один символ, следовательно, может переместить искаженное слово только на расстояние d = 1 от правильного).
В общем случае для возможности исправления всех ошибок кратности не больше, чем lиспр, необходимо иметь минимальное кодовое расстояние между разрешенными кодовыми словами
dmin = 2 lиспр +1.
Существуют коды, позволяющие автоматически исправлять все ошибки кратности не больше lиспр и одновременно обнаруживать все ошибки кратности не больше
l обн , причем l обн > lиспр ─ 1. В этом случае необходимо иметь следующее кодовое расстояние между разрешенными кодовыми словами.
dmin = lиспр + l обн+1.