BTC EmbeddedSpecifier

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

Related products: BTC EmbeddedSpecifier

  • BTC EmbeddedTester

    BTC EmbeddedTester® is a tool for fully automated back-to-back testing between Simlink®/TargetLink-models and production code. The tool has support for ISO 26262. BTC EmbeddedTester® is based on model checking-technology. This guarantees that the least number of tests needed to satisfy the… Read more

    Ask a question Read more

  • AutomationDesk

    AutomationDesk is a graphical tool which offers a powerful and user-friendly test automation environment. It is used to implement test cases and automate tests for around the clock testing. No deep knowledge about programming is required from the user and automated… Read more

    Ask a question Read more

  • SCALEXIO

    SACLEXIO is the latest generation of Hardware-in-the-loop (HIL) simulators from dSPACE, and comes in variations from small off-the-shelf systems to large customer tailored systems. A HIL-simulator, like SCALEXIO, can be used for a broad range of testing, but is mainly… Read more

    Ask a question Read more

  • VEOS, PC based simulation platform

    VEOS is a PC based simulation platform that enables verification and validation of software early in development. VEOS can, for example, run models from Simulink®, virtual ECUs, Functional Mock-up Units (FMU), communication busses and environment models. Integrate Models  VEOS supports… Read more

    Ask a question Read more
  • BTC EmbeddedTester
  • AutomationDesk
  • SCALEXIO
  • VEOS, PC based simulation platform

Ask a product question about:

    Your Subject

    Your Message

    Your Name

    Your Email (*)

    Menu