KAPTURE®
‍

Kapture® Overview

Kapture® helps a user develop software requirements that can be verified. In doing so, the requirements have all the attributes typically looked for in software requirements standards. They are atomic, clear, concise, unambiguous and self-sufficient.  With the additional healthiness checks, they are also self-consistent thus avoiding issues such as conflicting requirements. These assured attributes assist a developer in a number of ways:

• Because they are clear and concise, they are easily communicated to software designers, test case or other verification process developers as well as to certifiers.

• Verification is much more straightforward because the requirements are verifiable.

• Errors that would typically be made in requirements development are avoided thus saving significant cost which would have been incurred when errors were found later in the development life cycle.

• Changes to requirements can be quickly incorporated and checked.

Developed to be used in conjunction with the D-RisQ's Modelworks® tool as part of a formal methods based automatic verification process, Kapture® can be used as a powerful stand-alone tool providing software requirements which can still be verified by traditional (costly) manual review and test methods.

Kapture® in the work flow

Requirements can be written directly in Kapture® and configuration managed by the creation and saving of the file version or the exporting to a configuration management tool. Tracing to system requirements can be included if desired. Using Kapture® requirements, the design process can then begin. Kapture® therefore can be used in any life cycle process, traditional, agile, etc. Tracing information to the design can be inserted if required. Similarly, test cases can be developed and appropriate tracing can be included. The user may also wish to designate individual requirements as being safety or security related and can tag them with how they are to be verified; there is a specific tag for D-RisQ Modelworks® if this intended to be used.

Kapture® and Certification

As a by-product of writing requirements in Kapture®, some certification credit under various software standards may be claimed.  If using DO-178C, the Formal Methods Supplement DO-333 will apply if using a formal development process because Kapture® provides formal semantics to the requirements.

Export

Kapture® can export to different formats:

·     Publish and share with other stajeholders in HTML.

• Import into other tools such as DOORS® and Requirements Toolbox® using RegIF.

·     Analyse whether the requirements are implemented by a Simulink®/Stateflow® model using Modelworks®

·     Process as an XML document or spreadsheet.