What if your computer could understand your requirements?

BTC EmbeddedSpecifier allows you to create and manage semi-formal and formal requirements for safety-critical projects.

While a semi-formal and formal notation of requirements is recommended in standards like ISO 26262 and IEC 61508, reading and writing most formal notation languages require a high level of expert knowledge. BTC EmbeddedSpecifier provides you with an intuitive graphical method to derive comprehensive formal requirements from natural language without expert knowledge.