Table of Contents Author Guidelines Submit a Manuscript
International Journal of Reconfigurable Computing
Volume 2014, Article ID 724585, 8 pages
Research Article

Using Statistical Assertions to Guide Self-Adaptive Systems

1Department of Computing, Imperial College London, 180 Queen’s Gate, London SW7 2AZ, UK
2Software Engineering, EADS Innovation Works, Willy-Messerschmitt Street 1, 85521 Ottobrunn, Germany

Received 7 January 2014; Accepted 4 March 2014; Published 13 April 2014

Academic Editor: Marco D. Santambrogio

Copyright © 2014 Tim Todman et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. T. Todman, S. Stilkerich, and W. Luk, “Using statistical assertions to guide self-adaptive systems,” in Proceedings of the 2nd Workshop on Self-Awareness in Reconfigurable Computing Systems (SRCS’13), 2013.
  2. T. F. Chan, G. H. Golub, and R. J. LeVeque, “Updating formulae and a pairwise algorithm for computing sample variances,” Tech. Rep. STAN-CS-79-773, Department of Computer Science, School of Humanities and Sciences, Stanford University, 1979. View at Google Scholar
  3. T. Reinbacher, M. Függer, and J. Brauer, “Real-time runtime verification on chip,” in Runtime Verification, S. Qadeer and S. Tasiran, Eds., vol. 7687 of Lecture Notes in Computer Science, pp. 110–125, Springer, Berlin, Germany, 2013. View at Google Scholar
  4. R. Calinescu, C. Ghezzi, M. Kwiatkowska, and R. Mirandola, “Self-adaptive software needs quantitative verification at runtime,” Communications of the ACM, vol. 55, no. 9, pp. 69–77, 2012. View at Google Scholar
  5. S. Vasudevan, “What is assertion-based verification?” SIGDA E-News, vol. 42, no. 12, 2012. View at Google Scholar
  6. J. Curreri, G. Stitt, and A. D. George, “High-level synthesis of in-circuit assertions for verification, debugging, and timing analysis,” International Journal of Reconfigurable Computing, vol. 2011, Article ID 406857, 17 pages, 2011. View at Publisher · View at Google Scholar · View at Scopus
  7. M. N. Dinh, D. Abramson, J. Chao et al., “Debugging scientific applications with statistical assertions,” in Proceedings of the International Conference on Computational Science (ICCS '12), vol. 9, pp. 1940–1949, Procedia Computer Science, 2012.
  8. D. E. Knuth, “The art of computer programming,” in Seminumerical Algorithms, vol. 2, Addison-Wesley, 3rd edition, 1998. View at Google Scholar
  9. B. P. Welford, “Note on a method for calculating corrected sums of squares and products,” Technometrics, vol. 4, no. 3, pp. 419–420, 1962. View at Google Scholar
  10. R. P. G. Collinson, Introduction to Avionics Systems, Kluwer, South Holland, The Netherlands, 2nd edition, 2003.
  11. H. W. Liepmann and A. E. Puckett, Introduction to Aerodynamics of a Compressible Fluid, John Wiley & Sons, New York, NY, USA, 1947.