Abstract
Agile project management based on minimum viable products has some benefits against the traditional waterfall method. Agile supports an early return of investment that supports circular reinvesting and makes the product more adaptable to variable social-economical environments. However, agile also presents some intrinsic issues due to its iterative approach. Project information requires an efficient record of the requirements, aims, governance not only for the investors, owners or users but also to keep evidence in future health and safety and other statutory compliance-related issues. In order to address the agile project management issues and address new safety regulations, this paper proposes a project information model (PIM) based on a distributed ledger technology (DLT) with a ranked procedure for the verification and validation (V&V) of data. Each V&V phase inserts a process of authenticity, data abstraction and analytics that adds value to the information founded on artificial intelligence (AI) and natural language processing (NLP). The underlying DLT consists of smart contracts embedded on a private Ethereum blockchain. This approach supports a decentralised approach in which every project stakeholder owns, manages and stores the data. The presented model is validated in a real scenario: University College London—Real Estate—Pearl Project.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Oakland J (2014) Total quality management and operational excellence. 1–555
https://www.gov.uk/government/publications/draft-building-safety-bill
Roungas B, Meijer S, Verbraeck A (2018) A framework for optimizing simulation model validation & verification. Int J Adv Syst Measure 11(1,2):137–152
Ryan M, Wheatcraft L (2017) On the use of the terms verification and validation. In: International council on systems engineering international symposium, vol 27, no 1, pp 1277–1290
Grabner C (2018) How to relate models to reality? An epistemo-logical framework for the validation and verification of computational models. J Artif Soc Soc Simul 21(3, 8):1–26
Sinisi S, Alimguzhin V, Mancini T, Tronci E (2021) Reconciling interoperability with efficient verification and validation within open source simulation environments. Simul Model Pract Theory 102277
Beyer D (2017) Software verification with validation of results. In: International conference on tools and algorithms for the construction and analysis of systems, pp 331–349
Sun X, Khedr H, Shoukry Y (2019) Formal verification of neural network controlled autonomous systems. In: International conference on hybrid systems: computation and control, pp 147–156.
Pal D, Alladi A, Pothireddy Y, Koilpillai G (2020) Cockpit display graphics symbol detection for software verification using deep learning. In: International conference on data science and engineering, pp 1–5
Blasch E, Sung J, Nguyen T (2020) Multisource AI scorecard table for system evaluation. In: Association for the advancement of artificial intelligence artificial intelligence in government and public sector, pp 1–8
Porres I, Azimi S, Lafond S, Lilius J, Salokannel J, Salokorpi M. On the verification and validation of AI navigation algorithms. To be published
Kumar N, Lawford M, Maibaum T, Wassyng A (2021) A formal approach to rigorous development of critical systems. J Softw: Evol Process 1–27
Hees P (2013) Validation and verification of fire models for fire safety engineering. Procedia Eng 62:154–168
Laibinis L, Iliasov A, Romanovsky A (2021) Mutation testing for rule-based verification of railway signaling data. IEEE Trans Reliab 1–16
Zeigler B, Nutaro J (2016) Towards a framework for more robust validation and verification of simulation models for systems of systems. J Defense Model Simul: Appl Methodol Technol 13(1):3–16
Semenkov K, Promyslov V, Poletykin A (2020) Validation of control systems with heterogeneous digital models and virtualization technologies. In: Lecture notes in informatics, pp 299–309
Kotti J (2021) Software engineering for IoT with safety aspects. In: Safety in extreme environments, pp 1–5
Neurohr C, Westhofen L, Butz M, Bollmann MH, Eberle U, Galbas R (2021) Criticality analysis for the verification and validation of automated vehicles. IEEE Access 9:18016–18041
Du L, Lyu T, Zhu H, Wang X (2021) Validation of Vehicle detection and distance measurement method using virtual vehicle approach. In: International conference on graphics and image processing, vol 1172005–1, pp 1–10
Oh S, Cho S, Han S, Gim G (2019) A study on the pre-verification of data and the implementation of platform in electronic trade using blockchain. In: International conference on software engineering, artificial intelligence, networking and parallel/distributed computing, pp 320–330
Magazzeni D, McBurney P, Nash W (2017) Validation and verification of smart contracts: a research agenda. Computer 50(9):50–57
Ingrand F (2019) Recent trends in formal validation and verification of autonomous robots software. In: International conference on robotic computing, pp 321–328
Gomes C, Basso T, Mattiello F, Moraes R (2020) Impacts of the space technology evolution in the V&V of embedded software-intensive systems. In: International conference on computational science and computational intelligence, pp 1–7
Katsaounidou A, Gardikiotis A, Tsipas N, Dimoulas C (2020) News authentication and tampered images: evaluating the photo-truth impact through image verification algorithms. Heliyon 6(2):1–22
Acknowledgements
Both authors of this paper would like to thank UCL Estates and Greystar for funding the publication of this research.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Serrano, W., Barnett, J. (2023). Verification and Validation for a Project Information Model Based on a Blockchain. In: Yang, XS., Sherratt, S., Dey, N., Joshi, A. (eds) Proceedings of Seventh International Congress on Information and Communication Technology. Lecture Notes in Networks and Systems, vol 448. Springer, Singapore. https://doi.org/10.1007/978-981-19-1610-6_19
Download citation
DOI: https://doi.org/10.1007/978-981-19-1610-6_19
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-19-1609-0
Online ISBN: 978-981-19-1610-6
eBook Packages: EngineeringEngineering (R0)