Search Results for "requirement traceability matrix"

autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures the desired behavior of a controller where the environment takes the first move (i.e., sense/input then react/output), so the synthesized controller can be viewed as a Mealy machine. ...

THE tool for monitoring traceability between requirements and Java code. Create a traceability matrix using annotations. Report format: HTML.

UProm Requirement Management System (traceability and requirement coverage). Includes : - An admin module to manage SCRUM Project and tree of requirements - A multi-user Web-based client - Tools for databases management (HSQLDB, PostGreSQL,...) UProm

RTMGenerator is a Java 5 (and Java 6) based Annotation Processor to generate a traceability matrix from Java source to requirements. The RTM is generated in Excel and XML formats. An eclipse plugin is provided to merge the XMLs into an Excel file.

This project aims at implementing a tool to provide traceability for variable and common features in Software Product Lines (SPLs) to other requirement artifacts.