Dataset for FDIR Requirements Generation via Environment-System Deviation Analysis

This repository provides a high-quality dataset for research on the automated generation and traceability of Fault Detection, Isolation, and Recovery (FDIR) requirements. The dataset contains six typical embedded system case studies from three major domains: aerospace, aviation, and automotive. It covers functional requirements, manually annotated FDIR requirements, and the traceability links between them. Among these, the Sun Search Control System, Airborne Reconnaissance Subsystem, and Automotive Battery Management System originate from real-world engineering projects and are subject to confidentiality requirements; therefore, they are not publicly available at this time.