Semios Requirements Verification

An intelligent requirements proof-reader and semantic analyzer

Semios for Requirements automatically analyzes your technical requirements documents, going further than simple keyword analysis, by offering a contextual and semantic analysis.

How Semios helps:

Semios verifies completeness, testability and no ambiguity


Gain time in your certification process by removing ambiguities, improving completeness and ensuring testability of your requirements at the earliest stage of the project development.

Fully compliant to the industrial standards (ARP4754A, DO-178B, DO-178C, IEC 61508, Automotive SPICE, ISO 26262, …).

All the warnings are sorted by severity to focus on the most important problems.

There are more than 80 pre-defined rules and the opportunity to adapt them to your own standards. Built-in rules are provided for the following common requirements defects:

  • Fuzzy terms
  • Too many co-ordinating conjunctions
  • Too many negatives
  • Passive voice
  • Expressions to avoid
  • Requirements without ‘shall’
  • Multiple requirements per statement
  • Control of the rational
  • Conformity of the structure of sentences
  • Too long requirements
  • Use of unspecified terms

How Semios works:

Integrated into your tool-chain | Semios is provided as an add-in for common requirements documentation tools, including IBM Rational DOORS, Microsoft Word and Microsoft Excel, so that it is immediately comfortable and familiar to use.

Easy to use | Semios is as easy to use as your spellchecker. The add-on is integrated into your tools and customised by your team. It requires only a single click to use.

Self improvement | Using Semios for Requirements Verification day after day, your teams will learn what makes a good requirement. The more they use it, the more they will improve their skills at writing well-structured, complete, precise and, above all, testable requirements.

For more information, get in touch via the form below:

Full Name (required)


Work Email (required)


Contact number

KlocworkUnderstandPerforceLattixFlexNet Code InsightSemiosVerum Dezyne


Other information

More information is also available from the SemiosApp website, here