Skip to main content

How to Perform Verification and Validation of Critical Infrastructure Modeling Tools

  • Conference paper
  • 2561 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNSC,volume 6983))

Abstract

Simulation tools appear the only solution suitable for with the complexity of the actual critical infrastructure scenarios. Indeed, due to interdependency phenomena and the fast innovation of the technologies, our capability to predict the global behavior of such system of systems on the basis of past history and experiences is dramatically reduced, especially in the presence of anomalous or crisis situations. This drives many groups to develop simulation platforms also able to support decisions during crisis. However, a crucial and not adequately investigated aspect in this framework is the qualification of the predictable capabilities of these tools. This paper would start a discussion on how to validate different approaches, and how to asses their predictable capabilities, providing some insights on this strategic and very challenging task.

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

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Brunner, E., Suter, M.: International CIIP Handbook 2008/2009, CRN Handbooks series, Center for Security Studies (CSS), ETH Zurich (2008)

    Google Scholar 

  2. Bologna, S., Setola, R.: The Need to Improve Local Self-Awareness in CIP/CIIP. In: Proc. of First IEEE International Workshop on Critical Infrastructure Protection (IWCIP 2005), Darmstadt, Germany, pp. 84–89 (2005)

    Google Scholar 

  3. De Porcellinis, S., Panzieri, S., Setola, R., Ulivi, G.: Simulation of Heterogeneous and Interdependent Critical Infrastructures. Int. J. Critical Infrastructures (IJCIS) 4(1/2), 110–128 (2008)

    Article  Google Scholar 

  4. EU Project IRRIIS: Integrated Risk Reduction of Information-based Infrastructure Systems, http://www.irriis.org/

  5. Critical Infrastructure Resiliency Simulation (CIPR/Sim), http://www.inl.gov/research/critical-infrastructure-resiliency-simulation/

  6. National Infrastructure Simulation and Analysis Center (NISAC), http://www.sandia.gov/nisac/

  7. Pederson, P., Dudenhoeffer, D., Hartley, S., Permann, M.: Critical Infrastructure Interdependency Modelling: A Survey of U.S. and International Research, Idaho National Lab (2006)

    Google Scholar 

  8. EU project DIESIS (Design of an Interoperable European federated Simulation network for critical InfraStructures), Deliverable, D2.3 Report on available infrastructure simulators, http://www.diesis-project.eu/

  9. Setola, R.: How to Measure the Degree of Interdependencies among Critical Infrastructures. Int. J. of System of Systems Engineering (IJSSE) 2(1), 38–59 (2010)

    Article  Google Scholar 

  10. Topcu, O.: Review of Verification and Validation Methods in Simulation, Defence R&D Canada (2003)

    Google Scholar 

  11. Oberkampf, W.L., Trucano, T.G., Hirsch, C.: Verification, Validation and Predictive Capability in Computational Engineering and Physics. In: Proc. of Workshop Foundations for Verification and Validation in the 21st Century, October 22-23. Johns Hopkins University, Laurel (2002)

    Google Scholar 

  12. ANSI/IEEE, Standard Glossary for Software Engineering Terminology (1983)

    Google Scholar 

  13. DoD Instruction (DoDI), 5000.61 DoD Modeling and Simulation (M&S) Verification, Validation, Accreditation (VV&A) (1996)

    Google Scholar 

  14. Pace, D.K.: Modeling and Simulation Verification and Validation Challenges. Johns Hopkins APL Technical Digest 25(2), 163–172 (2004)

    MathSciNet  Google Scholar 

  15. EU Project, Vital Infrastructure Threats and Assurance (VITA), http://vita.iabg.eu/

  16. Emshoff, J.R., Sisson, R.L.: Design and Use of Computer Simulation Models. MacMillan, New York (1970)

    Google Scholar 

  17. Hermann, C.F.: Validation Problems in Games and Simulations with Special Reference to Models of International Politics. Behavioral Science 12(3), 216–231 (1967)

    Article  MathSciNet  Google Scholar 

  18. Turing, A.M.: Computing Machinery and Intelligence. In: Feigenbaum, E.A., Feldman, J. (eds.) Computers and Thought, pp. 11–15. McGraw-Hill, New York (1963)

    Google Scholar 

  19. Caldarelli, G., Vespignani, A.: Large Scale Structure and Dynamics of Complex Networks. World Scientific Publisher (2007)

    Google Scholar 

  20. Haimes, Y.Y.: Risk Modeling, Assessment, and Management. Wiley (2009)

    Google Scholar 

  21. Bigelow, J.H., Davis, P.K.: Implications for Model Validation of Multiresolution, Multiperspective Modeling. RAND (2003)

    Google Scholar 

  22. Balci, O.: Verification, validation and testing. In: Banks, J. (ed.) The Handbook of Simulation. John Wiley & Sons, New York (1997)

    Google Scholar 

  23. IEEE, 1516.4 Recommended Practice for Verification, Validation, and Accreditation of a Federationan Overlay to the High Level Architecture Federation Development and Execution Process (2007)

    Google Scholar 

  24. Panzieri, S., Oliva, G., Setola, R.: Modelling and Simulation of Critical Infrastructures. In: Flammini, F. (ed.) Critical Infrastructure Security: Assessment, Prevention, Detection, Response. WIT Press (2011)

    Google Scholar 

  25. Satumitara, G., Duenas-Osorio, L.: Synthesis of Modelling and Simulation Methods on Critical Infrastructure Interdependencies Research. In: Gopalakrishnan, K., Peeta, S. (eds.) Sustainable and Resilient Critical Infrastructure Systems. Springer, Berlin (2010)

    Google Scholar 

  26. Sargent, R.G.: Verification and Validation of Simulation Models. In: Proc. of Winter Simulation Conf., pp. 121–130 (1998)

    Google Scholar 

  27. Hone, G.N.: Application Domain Modeling to support the Verification and Validation of Synthetic Environments. In: Simulation Interoperability Workshop (1998)

    Google Scholar 

  28. Harmon, S.Y., Youngblood, S.M.: A Proposed Model for Simulation Validation Process Maturity. Journal of Defense Modeling and Simulation (JDMS) 2(4), 179–190 (2005)

    Article  Google Scholar 

  29. Birta, L.G., Zmizrak, F.N.: A Knowledge-Based Approach for the Validation of Simulation Models: The Foundation. ACM Transactions on Modeling and Computer Simulation 6(1), 76–98 (1996)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Farina, A., Graziano, A., Panzieri, S., Pascucci, F., Setola, R. (2013). How to Perform Verification and Validation of Critical Infrastructure Modeling Tools. In: Bologna, S., Hämmerli, B., Gritzalis, D., Wolthusen, S. (eds) Critical Information Infrastructure Security. CRITIS 2011. Lecture Notes in Computer Science, vol 6983. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41476-3_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-41476-3_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-41475-6

  • Online ISBN: 978-3-642-41476-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics