loader image

Test Solutions for Model-based Development

BTC EmbeddedPlatform

Formal Test BASE Package

Advanced requirements-based testing enhanced by formal methods

INTRODUCTION

Formal Test BASE​ Package

Formal Test BASE Package provides feature set which enables requirement coverage measurement and automatic verdict computation based on Formal Requirements. 

You do not need to spend tremendous amount of time and effort for writing expected output values to test cases anymore. Formal Test automates verdict computation in a requirement-based testing use case. As formal requirement is machine-readabile repsesentation, BTC EmbeddedPlatform understands the requirement and tells you if a execution record fulfills or violates a formal requirement.

Formal Test is applicable not only to SL-MIL, TL-MIL, SIL and PIL executed on BTC EmbeddedPlatform, but also to externally execution records exported from thild party tools.

SUPPORTED FEATURES

  • Formal Test
    incl. Formal Requirement Coverage Measurement
    incl. Automatic verdict computation
    incl. Offline Formal Test for execution records
  • Testcase Editor
  • MIL, SIL, PIL Simulation
  • MIL/SIL Debug Environment Export
  • Model/Code Coverage Measurement
  • Formal Specification with Universal Pattern
  • MATLAB-APIs, REST-APIs

FORMAL TEST BASE PACKAGE

Use Cases

Formal Test

Simulation based Formal Verification

Formal Specification​

Intuitive formal specification of safety requirements

Requirements-based Test​

Requirements-based Test for Simulink, TargetLink, Hand-written C-Code, and dSPACE evaluation board(PIL).

FORMAL TEST BASE PACKAGE​

Test Targets

Mathworks Simulink

Model-in-the-Loop Simulation

dSPACE TargetLink

Model-in-the-Loop Simulation
Software-in-the-Loop Simulation

Mathworks Emedded Coder

Model-in-the-Loop Simulation
Software-in-the-Loop Simulation

dSPACE Evaluation Boards

Processor-in-the-Loop Simulation

C-Code

Software-in-the-Loop Simulation

dSPACE HIL / VEOS

Hardware-in-the-Loop Simulation

Generic Execution Records​

Execution Records imported from external simulation environment (CSV, MDF)

certified

ISO 26262

BTC EmbeddedPlatform has been certified by German TÜV SÜD as fit for usage in safety critical software development projects.

The certificate addresses different standards including ISO 26262, IEC 61508-3:2010, ISO 25119, IEC 62304 as well as EN 50716.

For the automotive standard ISO 26262, we have been certified with the highest tool confidence level TCL and the certificate is valid for all ASIL levels including ASIL D.

We provide the certificate and the corresponding report to our customers free of charge upon request, which almost eliminates any effort for tool qualification measures on the customer side.

ISO 26262 Certificate

Request an Evaluation License

If you would like to try out our tools, we will gladly provide an evaluation license free of chargeEvaluations include a free launch workshop and also provide an opportunity for you to meet one-on-one with our support and engineering teams.

Schedule a Meeting with our Engineering Team

Do you have any questions or want to see our tools in action? If so, please use the link below to schedule a meeting, where a member of our engineering team will be happy to show you the features and use cases and directly answer any questions you might have.

Request an Evaluation License​

If you would like to try out our tools, we will gladly provide an evaluation license free of chargeEvaluations include a free launch workshop and also provide an opportunity for you to meet one-on-one with our support and engineering teams.

Schedule a Meeting with our Engineering Team

Do you have any questions or want to see our tools in action? If so, please use the link below to schedule a meeting, where a member of our engineering team will be happy to show you the features and use cases and directly answer any questions you might have.

BTC EMBEDDED SYSTEMS BLOG

From our Blog​

Sharing insights on embedded software development, model-based design, automatic code generation and ISO 26262 compliant testing.

PRODUCT VIDEOS

Videos

Discover some of the main features of our products in these short videos.

Formal Test Package

Formal Test BASE Package + Automatic Test Generation.