A Framework for Compositional Timing Analysis of Embedded Computer Systems

Rob Edman, Hazel Shackleton, John Shackleton, Tyler Smith, Steve Vestal. A Framework for Compositional Timing Analysis of Embedded Computer Systems. In 17th IEEE International Conference on High Performance Computing and Communications, HPCC 2015, 7th IEEE International Symposium on Cyberspace Safety and Security, CSS 2015, and 12th IEEE International Conference on Embedded Software and Systems, ICESS 2015, New York, NY, USA, August 24-26, 2015. pages 1001-1004, IEEE, 2015. [doi]

@inproceedings{EdmanSSSV15,
  title = {A Framework for Compositional Timing Analysis of Embedded Computer Systems},
  author = {Rob Edman and Hazel Shackleton and John Shackleton and Tyler Smith and Steve Vestal},
  year = {2015},
  doi = {10.1109/HPCC-CSS-ICESS.2015.239},
  url = {http://dx.doi.org/10.1109/HPCC-CSS-ICESS.2015.239},
  researchr = {https://researchr.org/publication/EdmanSSSV15},
  cites = {0},
  citedby = {0},
  pages = {1001-1004},
  booktitle = {17th IEEE International Conference on High Performance Computing and Communications, HPCC 2015, 7th IEEE International Symposium on Cyberspace Safety and Security, CSS 2015, and 12th IEEE International Conference on Embedded Software and Systems, ICESS 2015, New York, NY, USA, August 24-26, 2015},
  publisher = {IEEE},
  isbn = {978-1-4799-8937-9},
}