Reproduce “Automated Repair of Requirements for Cyber-Physical Systems in Simulink Requirements Tables” on OpenResearch
Turn your favorite coding agents into research agents that review literature, develop hypotheses, and run experiments.
Universal app for Apple silicon and Intel. Requires macOS 11 or later.
About this paper
Aren A. Babikian, Alessio Di Sandro, Federico Formica, Claudio Menghi, Marsha Chechik
The authors present a framework for revising cyber-physical system requirements using recorded executions. It searches MATLAB Simulink Requirements Tables for candidates that pass supplied trace suites and ranks them by semantic integrity, syntactic similarity, and satisfaction extent. Across six models and 12 requirements, V7 produced 267 filtered candidates, versus 189 for V1. These are cumulative, not unique repairs; correctness applies only to observed traces.
Summary by alphaXiv.
Tip: change arxiv.org to autoarxiv.org in any arXiv abstract link to open the paper here.