Static Analysis of Interrupt-Driven Programs

Channel:
Microsoft Research
Subscribers:
344,000
Published on ● Video Link: https://www.youtube.com/watch?v=K8SKC8u8AX0


Duration: 53:57
102 views
1

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.



Other Videos By Microsoft Research


2016-08-11Pizza, Generators, and the Transfer of Funds: Resource Allocation by OccupyNYC via Twitter
2016-08-11How To Write a Paper to Optimize its Chances for Publication Success, Part 2
2016-08-11Can Machines Learn Indian Classical Music?
2016-08-11Context sensitive information: Which bits matter in data?
2016-08-11Tell Me Where YouΓÇÖve Lived and What You Want -- IΓÇÖll Tell You What You Like and Need
2016-08-11How Users Evaluate Things and Each Other in Social Media
2016-08-11Social Search (panel)
2016-08-11Hands-on tutorial on RNNLM toolkit
2016-08-11Gender, Competitiveness and Career Choices
2016-08-11Cloud storage with minimal trust
2016-08-11Static Analysis of Interrupt-Driven Programs
2016-08-11Wireless Spectrum Sharing: Opportunities for Interdisciplinary Research
2016-08-11Scalable Network Virtualization using FPGAs
2016-08-11How To Write a Paper to Optimize its Chances for Publication Success, Part 1
2016-08-11Linear-Algebraic List Decoding And Subspace-Evasive Sets
2016-08-11High Dimensional Data
2016-08-11The Wonders of the Probabilistic Method
2016-08-11Concurrent Data Representation Synthesis
2016-08-11A Domain Specific Language for Testing Concurrent Programs
2016-08-11Planning Under Uncertainty: Challenges and Recent Progress
2016-08-11The Changing Landscape of Parallel Computing - Applications


Tags:
microsoft research