MSc and PhD studies in Aerospace Critical Computing

About MaSTaC

The site presents the on-going EC-funded Tempus project “MSc and PhD studies in Aerospace Critical Computing” executed by the National Aerospace University, Kharkiv, Ukraine with the support of Newcastle University and City University of London, UK and Åbo Akademi University, Turku, Finland.

Read More...

Сritical Computing Training-Resource Center

Очередное заседание семинара "Критические компьютерные технологии и системы"

11/24/2009 12:00
11/24/2009 14:00
Europe/Kiev

Тема заседания: «Обеспечение безопасности авиационных и энергетических систем в контексте развития компьютерных технологий: человеческий и технический факторы»

 

Доклады: 1. К.т.н., доцент Шмелева Татьяна Федоровна (заместитель директора Научно-проектного института аэронавигации, Государственная летная академия Украины, Кировоград). Авиационная безопасность и модели принятия решений человеком-оператором (ЧО) (Человеческий фактор в авиации):

Учебно-информационный центр критического компьютинга. Руководство пользователя

Posted Sat, 08/01/2009 - 19:39 by k0t
Book covers
4
Average: 4 (1 vote)
Бохан К., Боярчук А., Харченко В.

В руководстве пользователя учебно-информационного центра критического компьютинга приведено описание Web-системы, разработанной в рамках проекта TEMPUS-MASTAC для поддержки подготовки специалистов в области критического компьютинга, с использованием технологий Web-образование 2.0. Описаны состав сервисов учебно-информационного центра, порядок работы с ними, технические характеристики разработанной системы, а так же вопросы администрирования Web-системы.

Формальные методы разработки критического программного обеспечения. Лекционный материал

Posted Sat, 08/01/2009 - 19:12 by k0t
Book covers
0
Тарасюк О.М., Горбенко А.В.

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

Моделирование гарантоспособных систем и сетей. Практикум

Posted Sat, 08/01/2009 - 19:05 by k0t
Book covers
0
Куланов CA., Локазюк В.Н., Одарущенко О.Н., Поморова О. В., Сиротюк А.И., Фурманов A.A., Харченко B.C.

Изложены материалы практической части учебного курса «Моделирование гарантоспособных систем и сетей» (Modeling of Dependable Systems and Networks), подготовленного для магистров и докторов философии (кандидатов наук) по направлению аэрокосмического критического компьютинга в рамках проекта TEMPUS-MAST АС «MSc and PhD Studies in Aerospace Critical Computing» (JEP_26008_2005). Курс посвящен изучению методов и средств моделирования гарантоспособных компьютерных систем, сетей и сервисов.

Моделирование гарантоспособных систем и сетей. Лекционный материал

Posted Sat, 08/01/2009 - 19:01 by k0t
Book covers
0
Харченко B.C., Боярчук A.B., Куланов С.А., Локазюк В.Н., Одарушенко О.Н., Поморова О.В., Фурманов A.A.

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

Многоверсионные системы и технологии для критических приложений. Практикум

Posted Sat, 08/01/2009 - 18:56 by k0t
Book covers
0
Волковой А.В., Дужий В.И., Шпак А.С., Яновский М.Э.

Изложены  материалы  практической  части  учебного  курса «Многоверсионные системы и технологии для критических приложений» (Multi-version systems and technologies for critical applications), подготовленного  для  магистров  в  рамках  проекта TEMPUS-MASTAC «MSc and PhD Studies in Aerospace Critical Computing» (JEP_26008_2005). Курс  посвящен  изучению  методов  и  средств  разработки  и  оценки многоверсионных  систем.

Многоверсионные системы и технологии для критических приложений. Лекционный материал

Posted Sat, 08/01/2009 - 18:51 by k0t
Book covers
0
Волковой А., Лысенко И., Харченко В., Шурыгин О.

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

Обобщенные логические функции и системы на программируемой логике. Лекционный материал

Posted Sat, 08/01/2009 - 18:40 by k0t
Book covers
0
Коробков Н.Г., Коробкова Е.Н., Рубанов В.Г., Харченко В.С.

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

Гарантоспособные системы, сети и сервисы. Практикум

Posted Sat, 08/01/2009 - 18:34 by k0t
Book covers
0
A.B. Горбенко, О.M. Тарасюк

Изложены материалы практической части учебного курса «Гарантоспособные системы, сети и сервисы» (Dependable Systems, Networks and Services), подготовленного для аспирантов в рамках проекта TEMPUS-MASTAC «MSc and PhD Studies in Aerospace Critical Computing» (JEP_26008_2005). Посвящена методологии и практике анализа, оценивания, архитектурирования и экспериментальных исследований гарантоспособных сервис-ориентированных систем и компьютерных сетей.