Структурне проектування програмного забезпечення складних інформаційних систем реального часу

Abstract
У статті розглянуто особливості системного підходу до проектування стійкого програмного забезпечення через розроблення засобів контролю і виправ¬лення помилок у роботі інформаційної системи з використанням специфікацій, що базуються на визнанні факту можливості виникнення перекручувань у роботі обчислювальних засобів.В статье рассмотрены особенности системного подхода к проектированию стойкого программного обеспечения с использованием средств контроля и ис-правления ошибок в работе информационной системы на основе спецификаций, которые базируются на признании факта возможности возникновения перекру-чивания в работе вычислительных средств.In the article the features of approach of the systems are considered to planning of proof software with the use of controls and correction of errors in-process informative system on the basis of specifications which are based on adoptive of possibility of origin of twisting in-process of computing facilities admission.
Description
Keywords
системний підхід, програмне забезпечення, інформаційна система, засоби контролю, системный подход, программное обеспечение, информационная система, средства контроля, approach of the systems, software, informative system, controls
Citation