A framework repairs CPS requirements in Simulink by leveraging system execution data and is evaluated as effective on six real-world case studies covering 12 requirements.
In International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH) (EPiC Series in Computing, Vol
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
cs.SE 2verdicts
UNVERDICTED 2representative citing papers
An empirical evaluation found that HECATE generated failure-revealing test cases for 83% of 36 experiments on e-bike Simulink controllers, averaging 1 hour 17 minutes per run, with developer confirmation of the failures.
citing papers explorer
-
Automated Repair of Requirements for Cyber-Physical Systems in Simulink Requirements Tables
A framework repairs CPS requirements in Simulink by leveraging system execution data and is evaluated as effective on six real-world case studies covering 12 requirements.
-
Test Case Generation for Simulink Models: An Experience from the E-Bike Domain
An empirical evaluation found that HECATE generated failure-revealing test cases for 83% of 36 experiments on e-bike Simulink controllers, averaging 1 hour 17 minutes per run, with developer confirmation of the failures.