Published August 26, 2024 | Version v1
Dataset Open

Automotive Domain Property Specification Pattern Dataset

Authors/Creators

  • 1. ROR icon University of Sassari

Description

This dataset contains 1000 requirements written in the Property Specification Pattern (PSP) format, specifically tailored for the automotive domain. The dataset serves as a valuable resource for researchers and practitioners working on the formal verification of automotive software, providing a comprehensive set of standardized requirements that can be used for validation, testing, and benchmarking of verification tools and methodologies.

Files

dataset_PSP_NL.csv

Files (204.3 kB)

Name Size Download all
md5:be49d0d80feb31042801baf61af0b23b
204.3 kB Preview Download

Additional details

Funding

European Commission
AIDOaRt - AI-augmented automation for efficient DevOps, a model-based framework for continuous development At RunTime in cyber-physical systems 101007350

Dates

Available
2024-08-26

Software

Repository URL
https://github.com/AIMet-Lab/AIDOaRt-UNISS-ReqH