Приветствую Вас ГостьПонедельник, 25.06.2018, 11:58

Мир Софта

«  Февраль 2012  »
ПнВтСрЧтПтСбВс
  12345
6789101112
13141516171819
20212223242526
272829
Программа недели
C-Media CMI8738/C3DX Audio Device PCI
Новые программы
Новая литература
Немного поэзии

Часы остановили ход

Кукушка больше не поет

И кошка спит, собака спит

И телевизор не кричит

Читать полностью
Друзья сайта


Нас знают
Каталог@Mail.ru - каталог ресурсов интернет
Архив записей
Поиск

Главная » 2012 » Февраль » 27 » Будет ли операционная система нерушимой?
11:24
Будет ли операционная система нерушимой?

Компьютер дал неожиданный сбой…  В некоторых случаях такая ситуация может показаться концом света. Нет ничего хуже, например, чем катастрофа в компьютерных системах, работающих в спасательных медицинских приборах, системах управления дорожным транспортом или сложными технологическими процессами.

Исследователи из Национального исследовательского центра информационных технологий Австралии (NCITA) работают над проблемой защиты от подобных аварий. Джуна Андроник (June Andronick) и ее команда занимаются разработкой ядра операционной системы, поставив перед собой задачу спроектировать ОС, не подверженную падениям.

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

Однако Ардроник и ее коллеги смогли использовать эту методику для формальной проверки кода, который составляет большую часть ядра операционной системы, предназначенной для процессоров, применяемых в смартфонах, портативных машинах и медицинском оборудовании.

Система становится устойчивее за счет того, что данный код является тем компонентом, который обеспечивает доступ к важнейшим ресурсам  компьютера, таким как процессорное время, память, внешнее аппаратное обеспечение, внешнее устройство ввода и вывода информации и т.д.

Эта технология также может помочь защититься от кибер-атак, так как операционная система может блокировать несанкционированные действия, которые выдаются программным обеспечением.

В результате команда Джуны Андроник сумела написать небольшую операционную систему, которая всегда будет вести себя точно так, как предусмотрели ее разработчики, не подвергаясь сбоям (за исключением случаев неправильной установки оборудования).

Источник: OSzone.net

Категория: Новости Софта | Просмотров: 530 | Добавил: alex | Рейтинг: 0.0/0
Категории раздела
Новости Софта [6179]
Новости из мира софта
Новости Железа [7039]
Новости из мира железа
----->> ТОП 10 <<-----
C-Media CMI8738/C3DX Audio Device PCI
Обои для презентаций
Драйвера и софт для Веб-камера A4Tech
FlylinkDC++ r400 Build 4582 х86
MiniTool Partition Wizard Home Edition 6.0
VKontakte.DJ версия 3.22
MobiMB Media Browser 3.5.31 RUS
Тема Mac OS для Windows 7
Пакет оформления для Windows 7 х86х64 Rus"Windows 7 New Look Dark"
Windows 7 Firewall Control 4.0.144.38 х32/х64
----->> Новые Статьи <<-----
[15.05.2013][ПК и комплектующие]
Особенности ремонта ноутбуков.(19)
[26.03.2013][ПК и комплектующие]
Как уберечь информацию и электроприбору от перебоя напряжения
[28.02.2013][ПК и комплектующие]
Особенности ремонта ноутбука.(5)
[28.02.2013][ПК и комплектующие]
Грамотная настройка компьютера без посещения мастерской
[18.12.2012][Программное обеспечение]
Преимущества Google Adwords и Яндекс Директ
[27.11.2012][ПК и комплектующие]
Купить Kinect
[11.09.2012][ПК и комплектующие]
Схемы автоматизации, а также диспетчеризации зданий – новведение в технологической сфере.
[10.09.2012][Программное обеспечение]
Обои и программы для ОС Андроид на планшеты и КПК
[27.08.2012][Программное обеспечение]
Flash игры бесплатно играть - это весело
[20.08.2012][ПК и комплектующие]
Мобильные компьютеры, их типы, техничексие характеристики и особенности
Наш опрос
Откуда Вы предпочитаете загружать файлы?
Всего ответов: 154
Сейчас на сайте

Главная | Новости | Софт | Литература