BTC Embedded Specifier® is a software tool used to create and manage semi-formal and formal requirements of all kinds. Informal text-based requirements can in an intuitive way be converted into a formal specification in a machine-readable format through an intuitive step-by-step process. This specification can then be used to fully automate the verification process, which is recommended by the automotive standard ISO 26262. The tool can automatically generate test cases based on user-defined demands.
BTC Embedded Specifier® can be connected directly to demands management software such as DOORS or PTC Integrity, which guarantees tracability between informal and formal specifications.
It also enables the generation and exporting of independent observers for a variety of testing environments, such as VEOS- or HIL-systems from dSPACE.
Ask a question Read more at BTC