Static Analysis of Interrupt-Driven Programs
111
Microsoft Research330 тыс
Следующее
12.08.16 – 2201:15:34Популярные
248 дней – 3 9895:35
Опубликовано 12 августа 2016, 2:25
OSEK/AUTOSAR is an industrial standard of the European automotive industry for hard realtime tasks. This talk explains the underlying scheduling policy and presents static analyses of subtle concurrency properties such as potential dataraces or transactionality. Also, we explain how these analyses allow to identify and verify hand-crafted synchronization patterns that circumvent the primitives offered by OSEK.
Свежие видео
7 дней – 930:29
13 дней – 5 6204:19
22 дня – 1 057 0598:21
23 дня – 3405:41Случайные видео
37 дней – 2 36323:27
255 дней – 2 7981:31
258 дней – 198 47913:33
26.10.22 – 298 4074:01
06.05.22 – 4 7935:27
19.02.22 – 10 0044:33
1 день – 2 51338:59
2 дня – 17312:52
4 дня – 2 3170:40
6 дней – 606 9198:24
6 дней – 80 95814:12