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
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
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
Allemang, R. J. (2013). Editorial: Verification and validation. Sound and vibration. Retrieved September 10, 2013, from http://www.sandv.com/downloads/1301alle.pdf
Tolk, A. (2012). Engineering principles of combat modeling and distributed simulation. New York: Wiley.
Rakitin, S. R. (2001). Software verification and validation for practitioners and managers. Boston, London: Artech House.
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
FITMAN Project. (2013). Retrieved September 15, 2013, from http://www.fitman-fi.eu/
Waterfall Model. (2013). Retrieved June 10, 2013, from http://www.waterfall-model.com/v-model-waterfall-model/
Larman, C. (2004). Agile and iterative development: A manager’s guide. Addison-Wesley Professional
V-Model. (2013). Retrieved September 15, 2013, from http://www.waterfall-model.com/v-model-waterfall-model/
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.
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.
International Atomic Energy Agency. (1999). Verification and validation of software related to nuclear power plant instrumentation and control. Technical Reports Series No. 384, Vienna.
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
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
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
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
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
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
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.
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).
FI-WARE Open APIs for Open Minds. (2013). Retrieved September 15, 2013, from http://www.fi-ware.eu/
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
Corresponding author
Editor information
Editors and Affiliations
Rights 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)