kirancodes.me
To Proof Maintenance & Beyond!

2,847 papers · page 66 of 143

Evaluating model testing and model checking for finding requirements violations in Simulink models

Shiva Nejati, Khouloud Gaaloul, Claudio Menghi, Lionel C. Briand, Stephen Foster, David Wolfe

Matlab/Simulink is a development and simulation language that is widely used by the Cyber-Physical System (CPS) industry to model dynamical systems. There are two mainstream approaches to verify CPS Simulink models: model testing that attempts to identify failures in models by ex…