admin

BTC EmbeddedValidator

BTC EmbeddedValidator More than testing The power of proof for safety-critical systems. The power of proof for safety-critical systems BTC EmbeddedValidator is a tool for the formal verification of safety-critical requirements. Formal verification is performed on production C-code and takes formalized requirements from BTC EmbeddedSpecifier as a starting point. More than Testing The number of …

BTC EmbeddedValidator Read More »

BTC EmbeddedSpecifier

BTC EmbeddedSpecifier Step into the formal world with ease! What if your PC could understand your requirements? Step into the formal world with ease 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 …

BTC EmbeddedSpecifier Read More »

BTC EmbeddedTester

BTC EmbeddedTester Smart test generation for an ISO 26262 certified and fully automated Back-2-Back Test Smart test generation for an ISO 26262 certified and fully automated Back-2-Back Test BTC EmbeddedTester provides an ISO 26262 certified and fully automated Back-2-Back Test between Simulink/TargetLink models and production code. In addition to functional test cases that may already …

BTC EmbeddedTester Read More »

BTC EmbeddedTester BASE

BTC EmbeddedTester BASE It’s all about integration Requirements-based Testing for Simulink, TargetLink, Embedded Coder and Handwritten Code It’s all about integration – Requirements-based Testing for Simulink, TargetLink, EmbeddedCoder and handwritten C code BTC EmbeddedTester BASE is a tool for creating, managing and executing test cases on model and code level (MIL/SIL/PIL). With features like the …

BTC EmbeddedTester BASE Read More »

BTC EmbeddedPlatform

BTC EmbeddedPlatform BTC EmbeddedPlatform is a technology platform which provides a powerful basis for the well-established tools: BTC EmbeddedTester, BTC EmbeddedSpecifier and BTC EmbeddedValidator. Motivation In modern development projects, different test methods need to be combined to ensure a sufficient level of quality. This is e.g. also reflected in the ISO 26262 standard that recommends methods …

BTC EmbeddedPlatform Read More »

AutomationDesk

AutomationDesk Powerful test authoring and automation toolWith AutomationDesk, tests can be executed 24 hours a day, seven days a week, letting engineers increase test coverage and improve ECU software quality while saving time and costs. Graphical description of test routines Advanced custom library concept Remote control of calibration, measurement and diagnostic tools, such as ControlDesk …

AutomationDesk Read More »

Automotive Simulation Models (ASM)

Automotive Simulation Models (ASM) Real-Time Models for Vehicle DevelopmentASM is a tool suite for simulating combustion engines, vehicle dynamics, electric components, and the traffic environment. The open Simulink models are used for model-based function development and in ECU tests on a hardware-in-the-loop (HIL) simulator. Open MATLAB®/Simulink® model HIL simulation with dSPACE Simulator Offline simulation with …

Automotive Simulation Models (ASM) Read More »

Platform API Package

Platform API Package Application programming interfaces for connecting to dSPACE platformsThe Platform API Package is a set of libraries to access dSPACE real-time platforms and dSPACE VEOS. It provides a convenient way to download and start/stop models and also gives high-level access to the model variables for reading, writing, stimulating, capturing, etc. Package containing automation …

Platform API Package Read More »

Bus Manager

Bus Manager Configuration tool for LIN, CAN, and CAN FD bus simulationThe dSPACE Bus Manager is a powerful tool for configuring bus communication for simulation purposes, e.g., restbus simulation, and for implementing the bus communication in real-time applications for dSPACE SCALEXIO systems. It supports different bus systems, such as LIN, CAN, and CAN FD. One …

Bus Manager Read More »

Hexapods

Hexapods Hexapods provide motion in six degrees of freedom in the most compact package. In combination with absolute measuring sensors, software and motion controllers that make the most complicated motion profiles easy to command, PI hexapods answer industrial requirements. All drive types can be matched to meet the conditions of the individual application. The broadest …

Hexapods Read More »