Formal Specification for safety-critical requirements
BTC EmbeddedSpecifier is a tool used 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, most formal notation languages require a high level of expert knowledge to both read and write them. Instead of having to create formal requirements from scratch, BTC EmbeddedSpecifier provides you with an intuitive method to derive comprehensible formal requirements from natural language without expert knowledge.
- Intuitive semi-formal und formal requirements specification
- Direct connection to requirements-management tools like DOORS or PTC Integrity to guarantee traceability between informal and formal requirement specifications via linking.
- Continuous traceability between all artifacts via general linking mechanism