Safety-critical systems from the inside - Maciej Gajdzica - NDC Oslo 2020 скачать в хорошем качестве
Safety-critical systems from the inside - Maciej Gajdzica - NDC Oslo 2020
5 лет назад
Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...
Повторяем попытку...
Скачать видео с ютуб по ссылке или смотреть без блокировок на сайте: Safety-critical systems from the inside - Maciej Gajdzica - NDC Oslo 2020 в качестве 4k
У нас вы можете посмотреть бесплатно Safety-critical systems from the inside - Maciej Gajdzica - NDC Oslo 2020 или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:
-
Информация по загрузке:
Скачать mp3 с ютуба отдельным файлом. Бесплатный рингтон Safety-critical systems from the inside - Maciej Gajdzica - NDC Oslo 2020 в формате MP3:
Если кнопки скачивания не
загрузились
НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу
страницы.
Спасибо за использование сервиса ClipSaver.ru
Safety-critical systems from the inside - Maciej Gajdzica - NDC Oslo 2020
The main goal of every safety-critical system is to prevent any dangerous accident from happening. It has priority over availability, performance and even functionality. During this presentation I will show some techniques for ensuring safety in these systems. You will see how laws of physics are used to ensure fail-safety. How using more CPUs helps in detecting defects. Why less critical tasks may be separated to other CPUs. How safety of communication is ensured. How we can make our documentation useful and up to date. How choice of programming language affects safety. Is it possible to formally proof that code doesn't contain any runtime errors?
Comments