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

 Новости о знаменитостях Знаменитости 
Новость: 21 июля 08:55: John MartinJohn Martin

Новость: 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
  Комментарии к новости 
[Добавить комментарий]

Комментариев к этой новости пока нет. Добавьте первым свой комментарий!
[Добавить комментарий]
 Хроника новостей: Новости науки и техники Хроника новостей 
От МКС отстыковался "Союз МС-05" с тремя космонавтами

14 декабря 09:04
В Стокгольме наградили лауреатов Нобелевской премии

10 декабря 22:04
Спутник "Метеор-М" не вышел на целевую орбиту

28 ноября 13:04
На Восточном прошел второй пуск в истории космодрома

28 ноября 10:04
РН "Союз" со спутником взлетела с космодрома Восточный

28 ноября 09:04
Госкомиссия разрешила второй запуск РН с космодрома Восточный

28 ноября 08:04
Российские специалисты отправились в район поисков аргентинской подлодки

28 ноября 06:04
Пентагон заявил об "опасном" перехвате Су-30 самолета США

28 ноября 04:04
Вошедший в Черное море американский эсминец направляется в Одессу

28 ноября 01:04
Турция успокоила, что С-400 не опасны для НАТО

27 ноября 20:04
Как быстро похудеть: 3 важных фактора

10 ноября 09:25
МВД планирует ввести новые экзамены для водителей.

7 ноября 09:23
Россия ближайшем будущем будет развивать ядерные силы и высокоточное оружие.

31 октября 10:34
Российская армия получила ещё один полк С-400

26 октября 12:44
Российские школьники собрали все золотые медали чемпионата JuniorSkills

19 октября 16:40
Россия празднует День Ксмических войск

4 октября 08:38
Крымский мост защитят от диверсантов

3 октября 08:07
Новое российское оружие способно выключать электронику НАТО на расстоянии

2 октября 10:52
Россия лишилась опасного оружия

28 сентября 08:41
Виктория Дайнеко пожаловалась на бывшего мужа

27 сентября 10:51
Современный автомобиль необходимо защищать антивирусом

26 сентября 11:43
Сотовые операторы отказываются от GSM сетей

20 сентября 10:02
Космонавт рассказал необычных эмоциях при выходе в открытый космос

20 сентября 09:46
Стали известны цена на Lada Vest SW Cross

19 сентября 17:24
Пилотируемый космический корабль Союз МС-06 успешно произвел стыковку с МКС.

14 сентября 10:08
Chery планирует захватить рынок Европы своими электромобилями

13 сентября 20:20
Франкфуртский автосалон: электромобили, автопилоты и конкуренты из Китая

12 сентября 09:55
Ракета-носитель Протон доставил на орбиту Земли новый спутник

12 сентября 09:14
Турция не откажется от С-400 из-за давления Запада

12 сентября 08:52
До старта космического корабля к МКС осталось меньше двух суток.

11 сентября 16:12
 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 >> 938
 Главная новость дня Главная новость дня 
Откровенный разговор. Ключевые моменты встречи Путина с журналистами Откровенный разговор. Ключевые моменты встречи Путина с журналистами
 
 Эксклюзив Эксклюзив 
Пора ли продавать акции Apple? Пора ли продавать акции Apple?
 
  Топ новостей Опросы 
 Фоторепортажи: новости с подборкой фотографий Фоторепортажи 
Николас Кейдж сломал ногу во время съемок
Игру престолов ждет захватывающий финал
7 сезон Игры престолов будет коротким (фото)
Малахова хотят убрать с Первого канала
Николас Кейдж сломал ногу во время съемок
 Новости партнеров
 Новости дня Новости дня 
 
Новость: В чем встречать Новый 2006 годВ чем встречать Новый 2006 год
 
  Copyright © RIN 2000-
* Обратная связь
Контактная информация  
Политика  Общество  Экономика  Деловые  Наука  Hi-Tech  Культура  Шоу-бизнес  Спорт  Происшествия  Криминал  Скандалы  Пикантные  Зарубежные  ИноСМИ