Показано, что контроль точности, достоверности и актуальности вычислений в программном обеспечении систем реального времени (ПО СРВ) является актуальной задачей. Предложено в качестве теоретического решения данной задачи использовать модель вычислений, управляемых данными, с учетом неопределенностей: временной, связанной с неизвестным точным временем их получения, и интервальной, вызванной ошибками измерений и преобразований. Показано, что в существующих паттернах-шаблонах проектирования ПО, например, в "Шине данных", возможен учет и обработка этих неопределенностей. Сформулированы основные правила преобразования информации, обеспечивающие автоматический контроль и верификацию данных. В качестве средства исследования и моделирования вычислителей предложено использовать сеть Петри.

  Повний текст PDF - 414.077 Kb    Зміст випуску     Цитування публікації

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"