Digital Library
October 2018 - Poster
Timing Verification of Undocumented Multicore
Authors:
Björn Anderson
This poster describes an abstraction and corresponding analysis that allow timing verification of undocumented hardware.
December 2016 - White Paper
Cyber-Physical Systems
Topics: Cyber-Physical Systems
Authors:
Björn Anderson, Sagar Chaki, Dionisio de Niz, Jeffrey Hansen, Scott Hissam, John J. Hudak, Mark H. Klein, David Kyle, Gabriel Moreno
Cyber-physical systems (CPS) integrate computational algorithms and physical components. SEI promotes efficient development of high-confidence, distributed CPS.
November 2016 - Presentation
Deriving the Average-case Performance of Bandwidth-like Interfaces for Tasksets with Infinite Minimum Inter-Arrival Time, Equal Task Density, Uniformly Distributed Deadlines, and Infinite Number of Tasks
Topics: Process Improvement
This presentation was presented at the 9th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2016).