Skip to main content

Advertisement

SpringerLink
Log in
Menu
Find a journal Publish with us
Search
Cart
Book cover

International Conference on Tools and Algorithms for the Construction and Analysis of Systems

TACAS 2012: Tools and Algorithms for the Construction and Analysis of Systems pp 1Cite as

  1. Home
  2. Tools and Algorithms for the Construction and Analysis of Systems
  3. Conference paper
Quantitative Models for a Not So Dumb Grid

Quantitative Models for a Not So Dumb Grid

  • Holger Hermanns18 
  • Conference paper
  • 1586 Accesses

  • 1 Citations

Part of the Lecture Notes in Computer Science book series (LNTCS,volume 7214)

Abstract

How to dimension buffer sizes in a network on chip? What availability can be expected for the Gallileo satellite navigation system? Is it a good idea to ride a bike with a wireless brake? Can photovoltaic overproduction blow out the European electric power grid? Maybe. Maybe not. Probably? The era of poweraware, wireless and distributed systems of systems asks for strong quantitative answers to such questions.

Stochastic model checking techniques have been developed to attack these challenges [2]. They merge two well-established strands of informatics research and practice: verification of concurrent systems and performance evaluation. We review the main achievements of this research strand by painting the landscape of behavioural models for probability, time, and cost, discussing important aspects of compositional modelling and model checking techniques. Different real-life cases show how these techniques are applied in practice.

Keywords

  • Model Check
  • Smart Grid
  • Power Grid
  • Concurrent System
  • Main Achievement

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Download conference paper PDF

References

  1. Amin, M.: Smart grid: Overview, issues and opportunities: Advances and challenges in sensing, modeling, simulation, optimization and control. In: IEEE Conference on Decision and Control and European Control Conference (2011)

    Google Scholar 

  2. Baier, C., Haverkort, B., Hermanns, H., Katoen, J.-P.: Performance evaluation and model checking join forces. Communications of the ACM 53(9), 74–83 (2010)

    CrossRef  Google Scholar 

  3. Berrang, P., Bogdoll, J., Hahn, E.M., Hartmanns, A., Hermanns, H.: Dependability results for power grids with decentralized stabilization strategies. Reports of SFB/TR 14 AVACS - ATR 83 (2012), http://www.avacs.org

  4. Hermanns, H., Wiechmann, H.: Future design challenges for electric energy supply. In: IEEE International Conference on Emerging Technologies & Factory Automation (2009)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dependable Systems and Software, Saarland University, Saarbrücken, Germany

    Holger Hermanns

Authors
  1. Holger Hermanns
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of California at Santa Cruz, 1156 High Street, 95064, Santa Cruz, CA, USA

    Cormac Flanagan

  2. Fakultät für Ingenieurwesen, Abteilung für Informatik und Angewandte Kognitionswissenschaft, Universität Duisburg-Essen, Lotharstraße 65, 47057, Duisburg, Germany

    Barbara König

Rights and permissions

Reprints and Permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hermanns, H. (2012). Quantitative Models for a Not So Dumb Grid. In: Flanagan, C., König, B. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2012. Lecture Notes in Computer Science, vol 7214. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28756-5_1

Download citation

  • .RIS
  • .ENW
  • .BIB
  • DOI: https://doi.org/10.1007/978-3-642-28756-5_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-28755-8

  • Online ISBN: 978-3-642-28756-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Share this paper

Anyone you share the following link with will be able to read this content:

Sorry, a shareable link is not currently available for this article.

Provided by the Springer Nature SharedIt content-sharing initiative

Search

Navigation

  • Find a journal
  • Publish with us

Discover content

  • Journals A-Z
  • Books A-Z

Publish with us

  • Publish your research
  • Open access publishing

Products and services

  • Our products
  • Librarians
  • Societies
  • Partners and advertisers

Our imprints

  • Springer
  • Nature Portfolio
  • BMC
  • Palgrave Macmillan
  • Apress
  • Your US state privacy rights
  • Accessibility statement
  • Terms and conditions
  • Privacy policy
  • Help and support

167.114.118.210

Not affiliated

Springer Nature

© 2023 Springer Nature