Björn Anderson
No Affiliation
Publications by Björn Anderson
-
Timing Verification of Undocumented Multicore
October 23, 2018 • Poster
Björn Anderson
This poster describes an abstraction and corresponding analysis that allow timing verification of undocumented hardware.
read -
Cyber-Physical Systems
December 01, 2016 • White Paper
Björn AndersonSagar ChakiDionisio de Niz
Cyber-physical systems (CPS) integrate computational algorithms and physical components. SEI promotes efficient development of high-confidence, distributed CPS.
read -
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
November 29, 2016 • Presentation
Björn AndersonHyoseung Kim (Carnegie Mellon University)J. Lehoczky
This presentation was presented at the 9th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2016).
read