This poster describes an abstraction and corresponding analysis that allow timing verification of undocumented hardware.
Topics: Cyber-Physical Systems
Cyber-physical systems (CPS) integrate computational algorithms and physical components. SEI promotes efficient development of high-confidence, distributed CPS.
Topics: Process Improvement
This presentation was presented at the 9th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2016).