forum.opennet.ru

"Проекту seL4 присуждена премия ACM Software System Award"

Форум Разговоры, обсуждение новостей
Версия для распечатки	Пред. тема \| След. тема

Исходное сообщение

[ Отслеживать ]

Заметили полезную информацию ? Пожалуйста добавьте в FAQ на WIKI.

"Проекту seL4 присуждена премия ACM Software System Award"	+/–
Сообщение от opennews (??), 06-Май-23, 22:34
Проект, развивающий открытое микроядро seL4, получил премию ACM Software System Award, ежегодно присуждаемую Ассоциация вычислительной техники (ACM), наиболее авторитетной международной организации в области компьютерных систем. Премия присуждена за достижения в области математического доказательства надёжности работы, которое свидетельствует о полном соответствии заданным на формальном языке спецификациям и признаёт готовность использования в критически важных применениях. Проект seL4 показал, что можно не только полностью провести формальную верификацию надёжности и безопасности для проектов уровня промышленных операционных систем, но и добиться этого без ущерба производительности и универсальности... Подробнее: https://www.opennet.me/opennews/art.shtml?num=59091
Ответить \| Правка \| Cообщить модератору

Оглавление

Проекту seL4 присуждена премия ACM Software System Award, opennews, 06-Май-23, 22:34 [смотреть все]

Скоро Фуксия со своим Цирконом спустится и покроет всё стадо , Аноним, 06-Май-23, 22:34 (1) //
- Угу, спустится, с высот фоторамки и что там еще - говорящий кофейник Не хотел бы, пох., 06-Май-23, 22:38 (3) //
  - Про джаву тоже говорили что он только для кофемашин И где сейчас джава Да она , Аноним, 06-Май-23, 23:11 (5) //
    - Ну да - на всех кладбищах enterprise environment Новых проектов на ней нет К, _, 08-Май-23, 04:15 (36)
      - Ксожалению, таки есть Для новых прозектов берут Швинг и продолжают пейсать на д, Аноним, 08-Май-23, 08:49 (38)
        
        А чем Котлин не джава , Аноним, 08-Май-23, 11:20 (39)
      - Однако эти кладбища почему-то способны платить тебе стабильную хорошую ЗП, в о, Аноним, 11-Май-23, 21:00 (63)
    - Да не везде, и вообще она давно закатывается И даже graalvm её не вытянет Как р, Заноним, 08-Май-23, 18:51 (40)
      - Мне нравятся такие древние языки Чем меньше дешёвой школоты хочет с ней работа, Аноним, 11-Май-23, 21:01 (64)
        
        Ну на java столько понаписали, что ЗП ещё долго будут платить , Заноним, 12-Май-23, 00:28 (65)
- у гугла и на sel4 есть ОСhttps www opennet ru opennews art shtml num 57920, Аноним, 08-Май-23, 21:36 (43)
Очень крутой проект, показывающий насколько тяжело и дорого так разрабатывать со, Анонн, 06-Май-23, 23:20 (6) //
- Поэтому Hurd и не смогли дописать , Аноним, 06-Май-23, 23:29 (7) //
  - Нет, его к счастью писали, а не верифицировали-верифицировали Просто на фоне лин, пох., 07-Май-23, 00:10 (10)
- в этом контексте для проектов уровня промышленных операционных систем звучит с, vitalif, 06-Май-23, 23:32 (8) //
  - промышленная - это в промышленности Каким-нибудь приводом конвейера управлять, , пох., 08-Май-23, 23:09 (45)
- верификацияСлово проверка ведь с более меньшим углеродным следом, товарищи , Аноним, 07-Май-23, 08:33 (22) //
  - Верификация - проверкаАутентификация - проверкаАвторизация - проверкаВалидация -, Аноним, 08-Май-23, 19:24 (41)
- Интересные подробности Я особенно обратил бы внимание на то, что 1 это всё пок, warlock66613, 08-Май-23, 20:58 (42)
Сейчас растоманы не просто нервно курят в сторонке, а задыхаются в дыму, дёргаяс, InuYasha, 06-Май-23, 23:37 (9) //
- Ну если честно - их ресдох хотя бы был похож на законченую операционную систему , пох., 07-Май-23, 00:11 (11) //
  - Почему непонятно для чего Как раз понятно - чтобы использовать его как запуска, Аноним, 07-Май-23, 01:01 (12) //
    - Осталось ешё верифицированную виртулку написать Если неверифицированную, то мож, Аноним, 07-Май-23, 03:56 (18)
    - для запускалки виртуальных машин общего назначения а не чего-то совсем не от мир, пох., 07-Май-23, 09:55 (26)
  - Проблема в том, что людей, которым нужен не продукт, а инструмент слишком мало , tty0, 07-Май-23, 01:03 (13)
- С логикой и здравым смыслом у очередного местного аналитика от слова анал всё,, Прохожий, 07-Май-23, 02:08 (16) //
  - да, просто прекрасно Все время разработки уходит на борьбу с компилятором, пото, пох., 07-Май-23, 09:58 (27)
Они что-то там на Haskell начудили, молодцы А я могу таким же образом мой код ве, Аноним, 07-Май-23, 08:54 (24) //
- Нет Вы же наверняка используете сторонние библиотеки, как минимум стандартную б, warlock66613, 10-Май-23, 12:16 (61)
шта А можно чуть подробнее, на что повлияла разработка seL4 Может, какие-то О, Аноним, 07-Май-23, 12:48 (29) //
- https www opennet ru opennews art shtml num 59052Это Вам не подойдет , Аноним, 07-Май-23, 13:47 (31)
- Болгары восхитились Ну и вообще, чего докопался, это не троллейбус из буханки,, пох., 07-Май-23, 16:34 (32)
- Проекту seL4 присуждена премия ACM Software System Award, Степан, 07-Май-23, 19:02 (33) //
  - О, точно, двадцать плетей басурманину Столешница, скоморох , пох., 07-Май-23, 21:54 (35)
- на разработку современных систем применяемых в критически важных областях - авто, Аноним, 08-Май-23, 21:47 (44) //
  - чегой-то мне кажется что мэйнстрим сейчас - как в тойете с педалью газа Когда п, пох., 08-Май-23, 23:17 (46) //
    - майнстрим сейчас исключить человеческий фактор из управления автомобилямиhttps , Аноним, 09-Май-23, 10:27 (47)
      - Ну вот тойета опередила тренд на десять лет Правда, исключенному человеческом, пох., 09-Май-23, 11:28 (48)
      - Майстрим сейчас, как и всегда - подоить доверчивых лошк W инвесторов и потребляd, Аноним, 09-Май-23, 12:37 (49)
        
        Ну зочем вы тгавите - Маск всего двух только пока и убил Ну трех если считать , пох., 09-Май-23, 15:24 (52)
        для развития технологий нужны финансы это очевидно, но вы покупаете товары потом, Аноним, 09-Май-23, 16:25 (54)
        
        А в огороде бузина, это тоже очевидно Внезапно, можно развивать технологии и при, Аноним, 09-Май-23, 17:16 (55)
        
        внезапно переход от L2 к L3 имеет чисто правовые сложности - после сертификации , Аноним, 09-Май-23, 23:28 (59)
        
        Угу, чисто правовые сложности опять танцорам мешают, а не то они бы всем показ, Аноним, 10-Май-23, 11:37 (60)
        
        сказки не надо рассказывать - когда там всплеск развития ИИ начался несколько , Аноним, 11-Май-23, 09:31 (62)
    - с моей точки зрения вся эта идея формальной верификации микроядра и полученной з, Аноним, 09-Май-23, 14:04 (51)
      - поток сознания эксперта опеннетаПро то что такое формальная верификация и как эт, пох., 09-Май-23, 15:26 (53)
Строгое математическое доказательство показало, что все предусмотренные ТЗ бекдо, fidoman, 07-Май-23, 19:45 (34)
лично мне чужды подобные инновационные решения встроеных систем, я предпочитаю р, Аноним, 09-Май-23, 14:03 (50)

Форумы | Темы | Пред. тема | След. тема

Партнёры:

Хостинг:

Закладки на сайте
Проследить за страницей

Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру