GitHub repository: panorama-research/mobstr-dataset
Primary language: Java
Description: The MobSTr dataset provides artifacts that demonstrate Model-based Safety Assurance and Traceability for a safety-critical automotive system.