Blog Posts
Verifying Timing in Undocumented Multicore Processors
In this blog post, I describe an SEI project that has developed methods to verify the timing of software executing on multiple cores without requiring information about shared hardware resources. …
• By Björn Andersson
Real-Time Scheduling on Heterogenous Multicore Processors
Many DoD computing systems--particularly cyber-physical systems--are subject to stringent size, weight, and power requirements. The quantity of sensor readings and functionalities is also increasing, and their associated processing must fulfill …
• By Björn Andersson
Get updates on our latest work.
Sign up to have the latest post sent to your inbox weekly.