Using Simulink Design Verifier for Automatic Generation of Requirements-Based Tests.

Bruno Miranda Henrique Masini Rodrigo Reis

Published in: FM (2015)

Keyphrases

functional requirements
engineering design
case study
control system
low cost
building blocks
embedded systems
design goals
data sets
design choices
design criteria
detailed design