Российская Информационная Сеть
English   Контакты
Политика  Общество  Экономика  Деловые  Наука  Hi-Tech  Культура  Шоу-бизнес  Спорт  Происшествия  Криминал  Скандалы  Пикантные  Зарубежные  ИноСМИ
ТОП-дайджест  Хроника  Эксклюзив  Фоторепортажи  Личное мнение  Погода  Комментарии  Поиск  RSS  Интернет-радио  
 Топ 20 сегодня Топ 20 сегодня 
На автомобиль установили первую систему "ЭРА-ГЛОНАСС"На автомобиль установили первую систему "ЭРА-ГЛОНАСС"
Британская полиция арестовала 7 человек по делу о терактеБританская полиция арестовала 7 человек по делу о теракте
Паром "Севол" появился над водойПаром "Севол" появился над водой
Теракт в Лондоне: 5 погибших, 40 пострадавшихТеракт в Лондоне: 5 погибших, 40 пострадавших
далее топ дня...
 Фотожурнал: фото-топ за месяц, галерея всех фото Фотожурнал 
 Новости партнеров
 Топ новости разделов сегодня Топ новости разделов 
Британская полиция арестовала 7 человек по делу о терактеБританская полиция арестовала 7 человек по делу о теракте
Крымские предприятия привлекаются к строительству моста через Керченский проливКрымские предприятия привлекаются к строительству моста через Керченский...
Жители Урала стали жертвами недобросовестных юристовЖители Урала стали жертвами недобросовестных юристов
На автомобиль установили первую систему "ЭРА-ГЛОНАСС"На автомобиль установили первую систему "ЭРА-ГЛОНАСС"
СМИ: популярные мессенджеры будут работать под закономСМИ: популярные мессенджеры будут работать под законом
Паром "Севол" появился над водойПаром "Севол" появился над водой
Теракт в Лондоне: 5 погибших, 40 пострадавшихТеракт в Лондоне: 5 погибших, 40 пострадавших
Британская полиция не разглашает имя террористаБританская полиция не разглашает имя террориста
Дружба с экс-возлюбленными вызывает психические расстройстваДружба с экс-возлюбленными вызывает психические расстройства
Вуди Харрельсон бросил курить травуВуди Харрельсон бросил курить траву
далее...
 Личное мнение Личное мнение 

 Новости о знаменитостях Знаменитости 
Новость: 29 июля 16:01: Звездная Coca-Cola - самый яркий летний хит на Europa Plus LiveЗвездная Coca-Cola - самый яркий летний хит на Europa Plus Live

Новость: 16 июля 18:18: ЧП в московском метро: погибло 19 человекЧП в московском метро: погибло 19 человек


 Заплатим за ваше мнение!
Получайте до 1,5 долларов за каждую заполненную анкету!



 Новости науки и техники Новости науки и техники 
18 августа, 19:33

Ученые создали безопасное ядро операционной системы

Новости науки и техники: Ученые создали безопасное ядро операционной системы
Австралийские ученые создали микроядро операционной системы, отсутствие в котором различных типов ошибок подтверждено математически.

Данная разработка нацелена на создание "безопасного программного обеспечения беспрецедентного уровня надежности" для самолетов и автомобилей.

Созданное командой центра NICTA (Information and Communications Technology Centre of Excellence) микроядро получило название "secure embedded L4" (seL4). По словам ученых, оно представляет собой первый "образец ядра операционной системы общего назначения, прошедшего строгую машинную проверку".

По итогам четырех лет работы было написано и проверено 7500 строк кода на языке C. В ходе проверок разработчики доказали свыше 10 000 промежуточных теорем, написав более двухсот тысяч строк четких доказательств, которые затем были проверены с использованием интерактивной программы Isabelle, предназначенной специально для доказательства теорем.

Вся эта тяжелая математическая работа означает, что созданное ядро должно обладать иммунитетом к распространенным типам атак, таким как переполнение буфера. Данная разработка - пример самых ранних проектов, однако ученые намерены двигаться дальше.

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

NICTA планирует передать интеллектуальные права на свою разработку фирме Open Kernel Labs, которая разрабатывает гипервизоры для виртуализации.
[Читать все комментарии] [Напечатать новость]
http://liberatum.ru
  Комментарии к новости 
[Добавить комментарий]

Комментариев к этой новости пока нет. Добавьте первым свой комментарий!
[Добавить комментарий]
 Хроника новостей: Новости науки и техники Хроника новостей 
Тайна гибели первой советской подлодки "Декабрист" будет раскрыта

22 марта 16:53
К испытанию готовится самолет дальнего управления А-100 "Премьер"

17 марта 14:38
SpaceX отправит на Луну двух туристов

28 февраля 14:05
"Прогресс" успешно стартовал с космодрома Байконур

22 февраля 14:21
На МКС отправлен космический корабль "Дракон"

20 февраля 13:37
50-летие отмечает подземная Баксанская обсерватория

8 февраля 16:57
В Мордовии ученые научились выращивать искусственные кристаллы карбида кремния

7 февраля 16:48
Телескоп Хаббл запечатлел смерть звезды

7 февраля 12:31
Астрономы нашли причины загадочно быстрого движения Галактики

1 февраля 10:51
Астероид BH30 прошел на жутко близком расстоянии от Земли

31 января 13:23
Ученые обнаружили 40 неизвестных науке астероидов

26 января 16:20
На дорогах России в скором времени появятся беспилотные грузовики

23 января 11:30
НАСА: Мы не готовы к столкновению астероида с Землей

15 декабря 13:35
Морская авиация получила первый арктический Ми-8

23 ноября 16:11
Япония создаст искусственные метеоры

24 октября 12:54
Зонд Mars Lander готов для посадки на Красную планету

19 октября 14:02
NASA успешно запустила ракету "Антарес"

18 октября 10:41
На Колыме ученые тестируют оборудование для космодрома Восточный

12 октября 16:32
На спутнике Юпитера извергается шлейф водяного пара

27 сентября 10:55
Авиаконструкторы впервые показали новейший двигатель

16 сентября 15:21
Ученые доказали, что жизнь была занесена из космоса

14 сентября 16:07
Международный военно-технический форум открылся в России

6 сентября 15:20
Ученые провели 365 дней в Марс-среде

29 августа 12:02
Авиазавод сдает уже сотый по счету Су-34

19 августа 14:16
Ученые обнаружили пятую фундаментальную силу Вселенной

17 августа 11:02
Россия представит новый быстроходный теплоход

16 августа 17:07
Ученые построят новый космический телескоп "Спектр-РГ"

9 августа 17:03
Ученые впервые в мире синтезировали искусственное золото

8 августа 16:54
Обновленный бронеавтомобиль "Тигр" впервые показали журналистам

5 августа 16:17
Ученые получили новые данные планеты Юпитера

28 июля 11:14
 1  2  3  4  5  6  7  8  9  10  11  12  13  14  15  16  17  18  19  20  21  22  23  24  25 >> 936
 Главная новость дня Главная новость дня 
Британская полиция арестовала 7 человек по делу о теракте Британская полиция арестовала 7 человек по делу о теракте
 
 Эксклюзив Эксклюзив 
Пора ли продавать акции Apple? Пора ли продавать акции Apple?
 
  Топ новостей Опросы 
 Фоторепортажи: новости с подборкой фотографий Фоторепортажи 
Канье Уэст принял на себя роль визуального художника
Лидер группы Motorhead скончался от рака
Таинственный свет в окне напугал сотрудников больницы (фото)
Звезды скорбят по Алану Рикману
Марго Робби стала лицом журнала Vanity Fair
 Новости партнеров
 Новости дня Новости дня 
 
Новость: Тайна гибели первой советской подлодки "Декабрист" будет раскрытаТайна гибели первой советской подлодки "Декабрист" будет раскрыта
 
Новость: Под Харьковом загорелась военная базаПод Харьковом загорелась военная база
 
Новость: Самолет США нарушил воздушное пространство КитаяСамолет США нарушил воздушное пространство Китая
 
Новость: В Японии набирает обороты крупный коррупционный скандалВ Японии набирает обороты крупный коррупционный скандал
 
Новость: Британская полиция не разглашает имя террористаБританская полиция не разглашает имя террориста
 
Новость: Жители Урала стали жертвами недобросовестных юристовЖители Урала стали жертвами недобросовестных юристов
 
  Copyright © RIN 2000-
* Обратная связь
Контактная информация  
Политика  Общество  Экономика  Деловые  Наука  Hi-Tech  Культура  Шоу-бизнес  Спорт  Происшествия  Криминал  Скандалы  Пикантные  Зарубежные  ИноСМИ