Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Björn Anderson
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

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).