New Release of BTC EmbeddedPlatform 2.5
Release of BTC EmbeddedPlatform 2.5
The new release BTC EmbeddedPlatform 2.5 is now available. Highlights of this release include:
1. Calibration variants
This brand new feature allows to run one test case multiple times with different sets of calibrations. Calibration variants can be manually created or imported and are centrally managed within the test project. It is then possible to assign a certain number of calibration sets to a test case and run them all at the same time on MIL, SIL and PIL.
2. New Use Case: Requirements Analysis (CCC)
The new "Requirements Analysis Package" provides different methods to verify the consistency, correctness and completeness (CCC) of your safety requirements. The consistency checks allow to automatically verify that a set of requirements doesn't contain any contradictions.
Correctness means, that the requirement represents the intended functionality. This can be analyzed by creating test data and executing it on the requirement, we could also call it "Requirements-in-the-Loop Simulation". Completeness means, that a given set of requirements always leads to a defined output behavior for any kind of input data.
These three methods will enable you to significantly increase the requirements quality in a very early project stage. This additional effort can significantly reduce the misunderstandings and functional issues during development and testing, leading to a more efficient process.
3. Support for Simulink Embedded Coder®
In addition to Simulink models, dSPACE TargetLink models and handwritten C-Code, now also Embedded Coder models are supported. This allows to create a test project which can address the Simulink model level (MIL) as well as the production code generated from Embedded Coder (SIL). A special wizard allows to check and configure the mapping between model blocks and code elements. All use cases supported by BTC EmbeddedPlatform are also available for Embedded Coder, incl. code coverage analysis, automatic test generation and formal verification.
4. Improved Enumerations handling
For an even more intuitive test authoring, BTC TestComposer now provides drop down menus to assign enumeration values. The list of available enumeration values per signal is automatically extracted from the Simulink model and is also taken into account during automatic test generation and formal verification.
5. User-Defined Architecture
It is now possible to create a profile independently from a concrete system-under-test (e.g. Simulink/TargetLink model). With a user-defined architecture, many use cases can be performed in a very early project phase where no implementation is available. This includes for example formal specification of safety requirements and requirements analysis (see above).
6. Interactive Testing
For fast iterations and test driven development, this new feature allows to open a test case in BTC TestComposer and the corresponding Simulink model in parallel. Small changes in either one can be experienced almost immediately.
7. Model Coverage Reporting during MIL Simulation
While in previous releases the Model Coverage measurement triggered an independent execution of the model, it is now also possible to generate a Model Coverage report during the execution of a MIL simulation. Model Coverage metrics are based on the toolbox "Simulink Coverage" which requires a dedicated license from TheMathworks.
8. Merge Multiple reports into combined report
It is now possible to generate one high-level summary report by merging different independent reports (e.g. code coverage, model coverage, test execution, back-to-back report, interface report etc.)