Skip to main content
Springer Nature Link
Log in

Quantitative Analysis of Software: Challenges and Recent Advances

  • Conference paper
Formal Aspects of Component Software (FACS 2010)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 6921))

Included in the following conference series:

  • 388 Accesses

Abstract

Even with impressive advances in formal methods over the last few decades, some problems in automatic verification remain challenging. Central amongst these is the verification of quantitative properties of software such as execution time or energy usage. This paper discusses the main challenges for quantitative analysis of software in cyber-physical systems. It also presents a new approach to this problem based on the combination of inductive inference with deductive reasoning. The approach has been implemented for timing analysis in a system called GameTime.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Edwards, S.A., Lee, E.A.: The case for the precision timed (PRET) machine. In: Design Automation Conference (DAC), pp. 264–265 (2007)

    Google Scholar 

  2. Lee, E.A.: Computing foundations and practice for cyber-physical systems: A preliminary report. Technical Report UCB/EECS-2007-72, UC Berkeley (May 2007)

    Google Scholar 

  3. Li, Y.-T.S., Malik, S.: Performance Analysis of Real-Time Embedded Software. Kluwer Academic, Dordrecht (1999)

    Book  MATH  Google Scholar 

  4. Wilhelm, R., et al.: The Determination of Worst-Case Execution Times—Overview of the Methods and Survey of Tools. In: ACM Transactions on Embedded Computing Systems, TECS (2007)

    Google Scholar 

  5. Seshia, S.A., Kotker, J.: GameTime: A toolkit for timing analysis of software. In: Abdulla, P.A., Leino, K.R.M. (eds.) TACAS 2011. LNCS, vol. 6605, pp. 388–392. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  6. Seshia, S.A., Rakhlin, A.: Quantitative analysis of systems using game-theoretic learning. ACM Transactions on Embedded Computing Systems (TECS) (to appear)

    Google Scholar 

  7. Seshia, S.A., Rakhlin, A.: Game-theoretic timing analysis. In: Proc. IEEE/ACM International Conference on Computer-Aided Design (ICCAD), pp. 575–582 (2008)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. EECS Department, UC Berkeley, USA

    Sanjit A. Seshia

Authors
  1. Sanjit A. Seshia
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. HASLab (High Assurance Software Laboratory) and Dept. of Informatics, Universidade do Minho, Campus de Gualtar, 4700-320, Braga, Portugal

    Luís Soares Barbosa

  2. Faculty of Information and Communication Technologies, Swinburne University of Technology, P.O. Box 218, 3122, Hawthorn, VIC, Australia

    Markus Lumpe

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Seshia, S.A. (2012). Quantitative Analysis of Software: Challenges and Recent Advances. In: Barbosa, L.S., Lumpe, M. (eds) Formal Aspects of Component Software. FACS 2010. Lecture Notes in Computer Science, vol 6921. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-27269-1_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-27269-1_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-27268-4

  • Online ISBN: 978-3-642-27269-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics