TY - GEN
T1 - Traceable and model-based requirements derivation, simulation, and validation using matlab simulink and polarion requirements
AU - Schmiechen, Kevin
AU - Hochstrasser, Markus
AU - Rhein, Julian
AU - Schropp, Christopher
AU - Holzapfel, Florian
N1 - Publisher Copyright:
© 2019 by German Aerospace Center (DLR). Published by the American Institute of Aeronautics and Astronautics, Inc.
PY - 2019
Y1 - 2019
N2 - In contrast to classical manual requirement derivation and validation, this paper presents a cross-platform traceable model-based requirement development process. The goal is to improve the quality of requirements and thus reduce development costs and time to market of the product. The requirements management platform Polarion Requirements is used to record the requirements in natural language and in a textual, formalized form. With MATLAB Simulink and Stateflow, system, specification, and assessment models are created. Furthermore, Simulink Design Verifier is used for formal validation of the requirements. Full traceability between Polarion and Simulink is provided by the tool SimPol, which has been developed at the Institute of Flight System Dynamics at the Technical University of Munich. This process is illustrated using requirements for a signal source selection function. The process showed to be effective for the exemplary requirements.
AB - In contrast to classical manual requirement derivation and validation, this paper presents a cross-platform traceable model-based requirement development process. The goal is to improve the quality of requirements and thus reduce development costs and time to market of the product. The requirements management platform Polarion Requirements is used to record the requirements in natural language and in a textual, formalized form. With MATLAB Simulink and Stateflow, system, specification, and assessment models are created. Furthermore, Simulink Design Verifier is used for formal validation of the requirements. Full traceability between Polarion and Simulink is provided by the tool SimPol, which has been developed at the Institute of Flight System Dynamics at the Technical University of Munich. This process is illustrated using requirements for a signal source selection function. The process showed to be effective for the exemplary requirements.
UR - http://www.scopus.com/inward/record.url?scp=85083942238&partnerID=8YFLogxK
U2 - 10.2514/6.2019-0500
DO - 10.2514/6.2019-0500
M3 - Conference contribution
AN - SCOPUS:85083942238
SN - 9781624105784
T3 - AIAA Scitech 2019 Forum
BT - AIAA Scitech 2019 Forum
PB - American Institute of Aeronautics and Astronautics Inc, AIAA
T2 - AIAA Scitech Forum, 2019
Y2 - 7 January 2019 through 11 January 2019
ER -