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
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)
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)
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
Hermanns, H., Wiechmann, H.: Future design challenges for electric energy supply. In: IEEE International Conference on Emerging Technologies & Factory Automation (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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
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)
