Välkommen till Transportbibliotekets katalog

Normalvy MARC-vy

Systematic verification and acceptance of requirements (SVAR) : final report

Av: Medverkande: Utgivningsinformation: Karlskrona : Blekinge Institute of Technology, 2025Beskrivning: 56 sÄmnen: Onlineresurser: Sammanfattning: Trafikverket is responsible for planning, ordering and accepting deliverables from suppliers and maintaining Sweden’s infrastructure. As a client organization, in the planning phase they have the responsibility to communicate requirements to supplier and set the acceptance criteria for the delivered assets, such as design documents. The verification of deliverables is the responsibility of suppliers. However, due to the large number of regulatory requirements and the extent of the deliverables, a complete verification is often not possible. The supplier has no objective mean to show that all requirements are fulfilled, which increases Trafikverket’s workload when accepting deliverables. In this project, we investigated the means to automate compliance checks (ACC) of digital assets. This overall aim was divided into three objectives. First, we developed a maturity model to assess Trafikverket’s capabilities to implement ACC. We designed the ACC maturity model to be compatible with Trafikverket’s effort to establish a digitalization maturity model. The model consists of four levels, each containing activities that are either lead by the client, supplier or require shared leadership. The capability of performing ACC depends on the degree to which these activities are performed. Second, we analyzed Trafikverket’s regulatory requirements regarding their verifiability, i.e. to what degree it is objectively decidable if a requirement is fulfilled or not. We trained a deep learning model to classify requirements according to four dimensions: target, nature, interpretability and reference. These dimensions allow one to characterize to what degree a requirement is automatically verifiable. We applied this classifier on 18.000 TRVInfra requirements. Third, we developed an automated verification process, based on the analysis of verifiable requirements. The first step in in this process is to make the requirements machine readable so that their information can be queried for further processing. This information can then be used to automatically generate Information Delivery Specifications (IDS), which in turn are the basis for the verification. The verification can then be performed with tools that can check IDS compliance of IFC files.
Exemplartyp: Rapport, konferenser, monografier
Inga fysiska exemplar för denna post

Trafikverket is responsible for planning, ordering and accepting deliverables from suppliers and maintaining Sweden’s infrastructure. As a client organization, in the planning phase they have the responsibility to communicate requirements to supplier and set the acceptance criteria for the delivered assets, such as design documents. The verification of deliverables is the responsibility of suppliers. However, due to the large number of regulatory requirements and the extent of the deliverables, a complete verification is often not possible. The supplier has no objective mean to show that all requirements are fulfilled, which increases Trafikverket’s workload when accepting deliverables. In this project, we investigated the means to automate compliance checks (ACC) of digital assets. This overall aim was divided into three objectives. First, we developed a maturity model to assess Trafikverket’s capabilities to implement ACC. We designed the ACC maturity model to be compatible with Trafikverket’s effort to establish a digitalization maturity model. The model consists of four levels, each containing activities that are either lead by the client, supplier or require shared leadership. The capability of performing ACC depends on the degree to which these activities are performed. Second, we analyzed Trafikverket’s regulatory requirements regarding their verifiability, i.e. to what degree it is objectively decidable if a requirement is fulfilled or not. We trained a deep learning model to classify requirements according to four dimensions: target, nature, interpretability and reference. These dimensions allow one to characterize to what degree a requirement is automatically verifiable. We applied this classifier on 18.000 TRVInfra requirements. Third, we developed an automated verification process, based on the analysis of verifiable requirements. The first step in in this process is to make the requirements machine readable so that their information can be queried for further processing. This information can then be used to automatically generate Information Delivery Specifications (IDS), which in turn are the basis for the verification. The verification can then be performed with tools that can check IDS compliance of IFC files.