BTC Embedded System-Product

BTC Requirement Observers

BTC Requirement Observers Professional watchdogs for safety critical applications The increasing size and complexity of embedded software combined with a growing number of safety critical applications is currently leading to some significant changes in the approach for system tests. Especially in areas like autonomous driving or car-to-X communication, we can see two important trends: A …

BTC Requirement Observers Read More »

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 »