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

 Новости о знаменитостях Знаменитости 
Новость: 25 июля 10:30: На МУЗ-ТВ новая звездная ведущаяНа МУЗ-ТВ новая звездная ведущая

Новость: 16 июля 18:13: Новости проекта "Дом-2": один из участников расплакался из-за изменыНовости проекта "Дом-2": один из участников расплакался из-за измены


 Заплатим за ваше мнение!
Получайте до 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
  Комментарии к новости 
[Добавить комментарий]

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

13 февраля 18:04
Запись последнего полета Ан-148 уцелела, заявили в МАК

13 февраля 14:04
На Байконуре перенесли пуск ракеты "Союз-2.1а"

11 февраля 13:04
Глава "Ростеха" допустил возможность продажи С-400 США

11 февраля 03:04
Центральный ускоритель новой ракеты Falcon Heavy разбился при посадке

7 февраля 06:04
Сверхтяжелая ракета Falcon Heavy отправилась в первый полет

7 февраля 01:04
В США признали преимущество России по системам ПВО и высокоточному оружию

4 февраля 11:04
Ракета "Союз-2.1а" стартовала с космодрома Восточный

1 февраля 06:04
Испытание американской противоракеты на Гавайях окончилось неудачей

1 февраля 00:04
Су-27 перехватил американский самолет-разведчик у границы России

29 января 23:04
В Совфеде прокомментировали обвинения британских спецслужб в адрес министра обороны

29 января 07:04
NI рассказал об ответе США на новые российские вооружения

27 января 02:04
Путин предложил создать гражданский сверхзвуковой самолет на базе Ту-160

25 января 15:04
Путину показали полет нового бомбардировщика "Петр Дейнекин"

25 января 14:04
Россия ведет переговоры о продаже С-400 на Ближний Восток и в Юго-Восточную Азию

23 января 07:04
Источник сообщил о планируемой утилизации двух крупнейших в мире российских подлодок

19 января 05:04
Источник сообщил о планируемой утилизации двух крупнейших в мире подлодок

19 января 04:04
Автомобили проекта "Кортеж" появятся в свободной продаже в 2019 году

16 января 21:04
США собираются увеличить количество ядерного оружия для "сдерживания" России

13 января 00:04
Пентагон уличили в искажении информации о подлодках нового поколения

11 января 07:04
NI рассказало об американском конкуренте российскому "Спрут-СД"

11 января 02:04
США планируют создать новую ядерную боеголовку для сдерживания России, пишут СМИ

10 января 03:04
Корабль "Союз" с экипажем пристыковался к МКС

19 декабря 12:04
На Дальнем Востоке появится новая армия, сообщили СМИ

18 декабря 09:04
От МКС отстыковался "Союз МС-05" с тремя космонавтами

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

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

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

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

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

28 ноября 08:04
 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 сезон Игры престолов будет коротким (фото)
Ким Кардашян рассказала об ограблении в Париже
Катя Жужа покидает Сейшельские острова
Анджелина Джоли с детьми переехала в новый дом
 Новости партнеров
 Новости дня Новости дня 
 
  Copyright © RIN 2000-
* Обратная связь
Контактная информация  
Политика  Общество  Экономика  Деловые  Наука  Hi-Tech  Культура  Шоу-бизнес  Спорт  Происшествия  Криминал  Скандалы  Пикантные  Зарубежные  ИноСМИ