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.     «

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 asses...     »