Skip to main content

Infusing Verification and Validation in ICT Solutions in Manufacturing: The FITMAN V&V Method

  • Conference paper
  • First Online:
Enterprise Interoperability VI

Abstract

As a plethora of technological ICT solutions invade the manufacturing domain under the umbrella of Future Internet, the need to ensure that such solutions are built in the right way and address the real needs of an enterprise becomes more and more crucial. In this context, this paper introduces an innovative way of performing Verification and Validation activities, which brings together both the technical and the business viewpoints and can be applied throughout the whole lifecycle of the software product. It describes the necessary steps, the techniques to be applied for each step, the roles to be involved, and suggestions for crowd assessment. It is developed taking into account its application in manufacturing settings, yet it is reusable to any project that has software development tasks and follows either the traditional waterfall method or invests on agile software building patterns.

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

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover 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

Institutional subscriptions

Similar content being viewed by others

References

  1. EC. (2010). Factories of the future (FoF) multi-annual strategic roadmap. Retrieved September 15, 2013, from http://ec.europa.eu/research/industrial_technologies/pdf/ppp-factories-of-the-future-strategic-multiannual-roadmap-info-day_en.pdf

  2. Allemang, R. J. (2013). Editorial: Verification and validation. Sound and vibration. Retrieved September 10, 2013, from http://www.sandv.com/downloads/1301alle.pdf

  3. Tolk, A. (2012). Engineering principles of combat modeling and distributed simulation. New York: Wiley.

    Google Scholar 

  4. Rakitin, S. R. (2001). Software verification and validation for practitioners and managers. Boston, London: Artech House.

    Google Scholar 

  5. IEEE. (2012). 1012–2012—IEEE standard for system and software verification and validation. Retrieved July 12, 2013 from https://standards.ieee.org/findstds/standard/1012-2012.html

  6. FITMAN Project. (2013). Retrieved September 15, 2013, from http://www.fitman-fi.eu/

  7. Waterfall Model. (2013). Retrieved June 10, 2013, from http://www.waterfall-model.com/v-model-waterfall-model/

  8. Larman, C. (2004). Agile and iterative development: A manager’s guide. Addison-Wesley Professional

    Google Scholar 

  9. V-Model. (2013). Retrieved September 15, 2013, from http://www.waterfall-model.com/v-model-waterfall-model/

  10. Boehm, B., & Turner, R. (2004). Balancing agility and discipline: A guide for the perplexed (Vols. ISBN 0-321-18612-5 Appendix A, pp. 165–194). Boston, MA: Addison-Wesley.

    Google Scholar 

  11. Spanoudakis, G., & Zisman, A. (2005). Software traceability: A roadmap. In Chang, S. K. (Ed.), Handbook of software engineering and knowledge engineering (Vol. 3). Singapore: World Scientific Publishing.

    Google Scholar 

  12. International Atomic Energy Agency. (1999). Verification and validation of software related to nuclear power plant instrumentation and control. Technical Reports Series No. 384, Vienna.

    Google Scholar 

  13. Thacker, B., Doebling, S., Hemez, F., Anderson, M., Pepin, J., & Rodriguez, E. (2004, October). Concepts of model verification and validation. Retrieved July 10, 2013, from http://www.ltas-vis.ulg.ac.be/cmsms/uploads/File/LosAlamos_VerificationValidation.pdf

  14. Pelliccione, P., Inverardi, P., & Muccini, H. (2009, May–June). Charmy: A framework for designing and verifying architectural specifications. Retrieved July 11, 2013, from http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=4711062&abstractAccess=no&userType=inst

  15. Ganesan, D., Lindvall, M., Ackermann, C., McComas, D., & Bartholomew, M. (2009). Verifying architectural design rules of the flight software product line 2009. Retrieved July 11, 2013, from http://www.few.vu.nl/~rkrikhaa/adam/architecture_analysis_splc09.pdf

  16. Kung, D., & Zhu, H. (2008, January 15). Software verification and validation. Retrieved July 11, 2013, from http://cms.brookes.ac.uk/staff/HongZhu/Publications/swvv3.pdf

  17. Jackson, M., Crouch, S., & Baxter, R. (2011, November). Software evaluation: Criteria-based assessment. Retrieved July 11, 2013, from http://software.ac.uk/sites/default/files/SSI-SoftwareEvaluationCriteria.pdf

  18. Sridharan, M. (2013, June 2). Crowd sourced software testing. Retrieved July 12, 2013, from http://it.toolbox.com/blogs/mithuns-memoirs/crowd-sourced-software-testing-52763

  19. Dubinsky, Y., & Hazzan, O. (2004). Roles in agile software development teams. In J. Eckstein, H. Baumeister (Eds.) Extreme programming and agile processes in software engineering (Vol. 3092, pp. 157–165). New York: Springer.

    Google Scholar 

  20. Doumeingts, G., Clave, F., & Ducq, Y. (1995). ECOGRAI—a method to design and to implement performance measurement systems for industrial organizations—concepts and application to the maintenance function. In A. Rolstadås (Ed.) Benchmarking—theory and practice IFIP advances in information and communication technology (pp 350–368).

    Google Scholar 

  21. FI-WARE Open APIs for Open Minds. (2013). Retrieved September 15, 2013, from http://www.fi-ware.eu/

Download references

Acknowledgments

This work has been partly funded by the European Commission through the Project FITMAN: Future Internet Technologies for MANufacturing (Grant Agreement No. 604674). The authors wish to acknowledge their gratitude and appreciation to the FITMAN project partners for their contribution during the development of various ideas and concepts presented in this paper.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Fenareti Lampathaki .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Lampathaki, F., Panopoulos, D., Kokkinakos, P., Bompa, C., Koussouris, S., Askounis, D. (2014). Infusing Verification and Validation in ICT Solutions in Manufacturing: The FITMAN V&V Method. In: Mertins, K., Bénaben, F., Poler, R., Bourrières, JP. (eds) Enterprise Interoperability VI. Proceedings of the I-ESA Conferences, vol 7. Springer, Cham. https://doi.org/10.1007/978-3-319-04948-9_26

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-04948-9_26

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-04947-2

  • Online ISBN: 978-3-319-04948-9

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics