Харченко B.C., Боярчук A.B., Куланов С.А., Локазюк В.Н., Одарушенко О.Н., Поморова О.В., Фурманов A.A.

В книге изложены материалы лекционного курса, посвященного методам и средствам моделирования гарантоспособных компьютерных систем, сетей и сервисов. Излагаются методы моделирования компьютерных систем с учетом интенсивностей потоков отказов и восстановлений (ИПОВ) программных и аппаратных средств. Приводится методика и анализируются результаты моделирования систем при изменении ИПОВ программных средств.

Коробков Н.Г., Коробкова Е.Н., Рубанов В.Г., Харченко В.С.

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

Тарасюк О.М., Горбенко А.В.

В книге изложены материалы для лекционного курса, посвященного формальным методам разработки, верификации и анализа надежности программного обеспечения и информационно-управляющих систем (ИУС) для критических приложений. Анализируются требования к программному обеспечению, методы формулирования и спецификации требований, а также процесс управления требованиями. Рассматривается задача гармонизации и профилирования требований на примере компьютерных сетей ИУС критического применения.