Monday, September 8, 2014

Recent Issues and Trends in V&V of Simulation Models

Simultech is one of the leading modeling and simulation conferences in Europe. Simultech 2014 was carried out end of August in Wien. This year, the key notes and senior attendants of the conference were more than well know by simulation community. Prof.Dr.Tuncer Oren, Prof.Dr.Bernard Zeigler, Prof.Dr.Paul Fishwick, Prof.Dr.Helena Szczerbicka and Prof.Dr.Fran├žois E. Cellier performed inspiring talks and discussions. One of them was the opening panel of the event, namely "Recent Issues and Trends in Validation and Verification of Simulation Models".

The panel started with the over viewing introduction of Prof.Dr.Mohammad S. Obaidat. Then Zeigler stressed the importance of formalizing "intended use" in his talk . He proposed intended use as the key fundamental for any verification and validation activity. Then he visited his experimental frames in this context and informed audience that there is a standardization effort in US for specifying intended use of simulations. Cellier started his talk with emphasizing the emerging complexity of the systems. Further he highlighted that the current system complexity almost prevents a full coverage testing. Then he concluded that advance tools and automation is now a must in validation and verification. In the second part of his talk, he underlined practical concerns. He introduced how model interface become sources of error. He visited assertions and model based specifications as examples of key validation and verification practices. Oren performed an inspiring talk that proposes a perspective change in validation and verification. He proposed "failure avoidance" as the his avant-garde interpretation of motivation for verification and validation. He explained how this perspective change brings new practices and outcomes. Fishwick, on the other hand, in his talk introduced governmental practices for model verification and validation. He presented government regulated and sponsored verification and validation process of risk models in insurance industry.
Verification and validation in modeling and simulation, although have been discussed for a long time now, still provides various challenges to researchers. Fast evolution of systems as well as the engineering tools and practices that develop these systems brought modeling and simulation to the center of any systems development or analysis effort. So as once again visited in this conference, we will be challenging ourselves with developing beyond the horizon verification and validation tools and methodologies.