In general, creating requirements-based tests that comply with standards is a time-consuming activity, especially in safety critical systems, where standards can be very strict. In this paper we present a methodology for generating requirements-based tests using Simulink Design Verifier, by representing requirements as models. With this methodology we estimate a considerable reduction of effort for creating requirements based tests that satisfy the DO-178C standard.
CITATION STYLE
Miranda, B., Masini, H., & Reis, R. (2015). Using simulink design verifier for automatic generation of requirements-based tests. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9109, pp. 601–604). Springer Verlag. https://doi.org/10.1007/978-3-319-19249-9_42
Mendeley helps you to discover research relevant for your work.