Skip to main content
Top

2023 | OriginalPaper | Chapter

Verification and Validation for a Project Information Model Based on a Blockchain

Authors : Will Serrano, Jeremy Barnett

Published in: Proceedings of Seventh International Congress on Information and Communication Technology

Publisher: Springer Nature Singapore

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literature
1.
go back to reference Oakland J (2014) Total quality management and operational excellence. 1–555 Oakland J (2014) Total quality management and operational excellence. 1–555
3.
go back to reference 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 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
4.
go back to reference 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 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
5.
go back to reference 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 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
6.
go back to reference 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 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
7.
go back to reference 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 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
8.
go back to reference 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. 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.
9.
go back to reference 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 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
10.
go back to reference 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 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
11.
go back to reference Porres I, Azimi S, Lafond S, Lilius J, Salokannel J, Salokorpi M. On the verification and validation of AI navigation algorithms. To be published Porres I, Azimi S, Lafond S, Lilius J, Salokannel J, Salokorpi M. On the verification and validation of AI navigation algorithms. To be published
12.
go back to reference Kumar N, Lawford M, Maibaum T, Wassyng A (2021) A formal approach to rigorous development of critical systems. J Softw: Evol Process 1–27 Kumar N, Lawford M, Maibaum T, Wassyng A (2021) A formal approach to rigorous development of critical systems. J Softw: Evol Process 1–27
13.
go back to reference Hees P (2013) Validation and verification of fire models for fire safety engineering. Procedia Eng 62:154–168CrossRef Hees P (2013) Validation and verification of fire models for fire safety engineering. Procedia Eng 62:154–168CrossRef
14.
go back to reference Laibinis L, Iliasov A, Romanovsky A (2021) Mutation testing for rule-based verification of railway signaling data. IEEE Trans Reliab 1–16 Laibinis L, Iliasov A, Romanovsky A (2021) Mutation testing for rule-based verification of railway signaling data. IEEE Trans Reliab 1–16
15.
go back to reference 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–16CrossRef 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–16CrossRef
16.
go back to reference 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 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
17.
go back to reference Kotti J (2021) Software engineering for IoT with safety aspects. In: Safety in extreme environments, pp 1–5 Kotti J (2021) Software engineering for IoT with safety aspects. In: Safety in extreme environments, pp 1–5
18.
go back to reference 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–18041CrossRef 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–18041CrossRef
19.
go back to reference 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 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
20.
go back to reference 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 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
21.
go back to reference Magazzeni D, McBurney P, Nash W (2017) Validation and verification of smart contracts: a research agenda. Computer 50(9):50–57CrossRef Magazzeni D, McBurney P, Nash W (2017) Validation and verification of smart contracts: a research agenda. Computer 50(9):50–57CrossRef
22.
go back to reference Ingrand F (2019) Recent trends in formal validation and verification of autonomous robots software. In: International conference on robotic computing, pp 321–328 Ingrand F (2019) Recent trends in formal validation and verification of autonomous robots software. In: International conference on robotic computing, pp 321–328
23.
go back to reference 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 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
24.
go back to reference 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 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
Metadata
Title
Verification and Validation for a Project Information Model Based on a Blockchain
Authors
Will Serrano
Jeremy Barnett
Copyright Year
2023
Publisher
Springer Nature Singapore
DOI
https://doi.org/10.1007/978-981-19-1610-6_19