You are required to read and agree to the below before accessing a full-text version of an article in the IDE article repository.

The full-text document you are about to access is subject to national and international copyright laws. In most cases (but not necessarily all) the consequence is that personal use is allowed given that the copyright owner is duly acknowledged and respected. All other use (typically) require an explicit permission (often in writing) by the copyright owner.

For the reports in this repository we specifically note that

  • the use of articles under IEEE copyright is governed by the IEEE copyright policy (available at http://www.ieee.org/web/publications/rights/copyrightpolicy.html)
  • the use of articles under ACM copyright is governed by the ACM copyright policy (available at http://www.acm.org/pubs/copyright_policy/)
  • technical reports and other articles issued by M‰lardalen University is free for personal use. For other use, the explicit consent of the authors is required
  • in other cases, please contact the copyright owner for detailed information

By accepting I agree to acknowledge and respect the rights of the copyright owner of the document I am about to access.

If you are in doubt, feel free to contact webmaster@ide.mdh.se

Survival in the Dynamic Landscape of Verification, Validation and Certification

Note:

Invited talk at Verification and validation track at QUATIC 2014

Publication Type:

Keynote Lecture

Venue:

9th International conference on the Quality of Information and Communication Technology


Abstract

Verification and validation (V&V) research has a long-standing history and has produced a large set of methods and results, many of them successfully used by the industry. However an honest introspection will reveal clear gaps as well as growing divergence between industrial practices and academic research. New development paradigms, higher complexity of systems, and increasing quality/certification requirements are keeping the V&V researcher under constant pressure for updating research results. Some of the important challenges faced by a researcher while trying to keep pace with the ever-moving targets for verification, validation and certification are discussed in this talk (based on author¹s own experiences in both industry and academia). Conscious and constant efforts in performing reality checks on the research directions and methods are essential both for the successful adaptation of the research results by the industry as well as for keeping the relevance of the research teams. A brief overview of the related research projects and efforts at the Mälardalen University are also presented.

Bibtex

@misc{Punnekkat5063,
author = {Sasikumar Punnekkat},
title = {Survival in the Dynamic Landscape of Verification, Validation and Certification},
note = {Invited talk at Verification and validation track at QUATIC 2014},
url = {http://www.es.mdu.se/publications/5063-}
}