MonkeyProof Requirements Manager

… for use with Simulink®, Stateflow®, and code generation tools

Introduction MonkeyProof Requirements Manager provides single-environment, full back-and-forth, multi-stage/hierarchical traceability between requirements and decisions of different types, and Simulink/Stateflow implementation. An intuitive interface allows for easy, hierarchical browsing, status inspection, and hyperlinked navigation from requirement to Simulink/Stateflow implementation. Vice versa in Simulink/Stateflow requirements are visualized and hyperlinked on model objects for easy navigation from implementation to requirement. It supports user roles and permissions for usage in a collaborative and/or hierarchical design environment including formal review and approval. A variety of automated and customizable checks and reports are available such as verification if requirements are of the correct type, are linked to existing Simulink components, and if the implementation has been tested.
Key features Full traceability from customer requirement to design (decisions), implementation, and test Automated consistency and plausibility checking built on Simulink Model Advisor Single environment solution for end user: 100% accessible from your Mathworks environment Automatically assigned, unique requirement numbering (customizable) Convenient, selection-based bi-directional navigation and requirements link creation Tags Simulink and Stateflow components for requirement visibility in model(-prints) Role and user based permissions Version control support Facilitates/enforces customizable workflows including review/test/approval Snapshot capabilities with diff support for e.g. milestone status freeze and backup Data export to a.o. MS Word and Excel Separate training mode available
Hierarchy and traceability The Requirements Manager is designed to manage and provide control over a structured design flow. Multiple hierarchical levels in the design process such as e.g. system-architect, function-owner, and implementation-engineer are supported. Each layer translates its requirements via design decisions and constraints into design statements. The latter make up the requirements for the next layer, eventually resulting into the actual implementation. The Requirements manager provides full traceability from high level requirement to implementation by centrally keeping track of the relations and status of the requirements, decisions, and the link to implementation.
Workflow support MonkeyProof Requirements Manager is fully scalable to your organization size as well as to the level of hierarchy in, and formalization of, the workflow in your organization or supply chain. Depending on the need of your organization, more or less hierarchical levels may be used and role based permissions allow greater or lesser flexibility in what engineers may or may not add and/or modify in the (higher level) design. Depending on the organizational needs, the review process may be set to be more or less formal (enforced). Role or user based permissions on changing the status of requirements help to manage this.
Usability – one design environment MonkeyProof Requirements Manager is built to operate in a seamless manner with and within the trusted MATLAB/Simulink model based design environment of the engineer. No switching between different environments and manual inspection or checking on data integrity is required any longer. Navigation between requirement and Simulink/Stateflow implementation is fully hyperlinked. Integrity checking of the links is automated and where data or links may be incomplete the tool will provide rule based fix suggestions that can be applied with a push of a button.
Reporting and data export formats Export to Microsoft Word and Excel is supported out-of the box. Please contact MonkeyProof Solutions for other (custom) formats/standards.
System & platform requirements MonkeyProof Requirements Manager is supported (cross platform) on MathWorks’ release 2007b and up. MATLAB, Simulink, and Simulinkk Verification and Validation are required.
* Out of the box the central database backend is implemented in Microsoft SQL (Express) 2005. ** MATLAB Report Generator is required for reporting

Introduction

Key features

Hierarchy and traceability

Workflow support

Usability – one design environment

Reporting and data export formats

System & platform requirements