Search
Now showing items 1-2 of 2
Automated Testing of a Commercial Cyber-Physical System Development Tool Chain
(2019-11-14)
Rigorous validation of commercial cyber-physical system (CPS) tool chains (e.g., MATLAB/Simulink) through automated testing is of utmost importance since tool-chain generated artifacts are often deployed in safety-critical ...
SLNET: a redistributable corpus of 3rd-party simulink models
(ACM, 2022-10-17)
MATLAB/Simulink is widely used for model-based design. Engineers create Simulink models and compile them to embedded code, often to control safety-critical cyber-physical systems in automotive, aerospace, and healthcare ...