loader image
Close
Skip to content
  • Partners
  • References
  • Research
  • Locations
Menu
  • Partners
  • References
  • Research
  • Locations
  • linkedin (10)
  • youtube (8)
  • Products
  • Company
  • Blog
  • News & Events
  • Videos
  • Download
  • Career
Menu
  • Products
  • Company
  • Blog
  • News & Events
  • Videos
  • Download
  • Career
  • bubble-speech Support & Contact
  • English
    • Japanese

Test Solutions for Model-based Development

BTC EmbeddedPlatform - Product Packages
  • Formal Verification Package
  • Formal Test Package
  • Formal Test BASE Package
  • Back-to-back Test Package
  • Requirements-based Test Package
  • Formal Specification Package
  • Requirements Analysis Package
Use cases
  • Formal Verification
  • Formal Test
  • Formal Specification
  • Back-to-back Test
  • Regression Test
  • Migration Test
  • Requirements-based Test
  • Requirements Analysis
  • Code Coverage Analysis
  • ISO 26262
  • Continuous Integration & Cloud
Test / Verification / Analysis Targets
  • Mathworks Simulink
  • dSPACE TargetLink
  • Mathworks Embedded Coder
  • C-Code
  • dSPACE Evaluation Boards (PIL)
  • dSPACE HIL / VEOS
  • Generic Execution Records
  • Formal Requirements

Challenges of Virtual Validation for ADAS/AD

Creation of traffic scenarios

How can I create the needed millions of scenarios?

Generation of needed test scenarios

How can I avoid the test explosion problem?

Analysis of simulation results

How can I find out if my tests are passed or failed?

Products

Test Solutions for Model-based Development

BTC EmbeddedPlatform – Product Packages
  • Formal Verification Package
  • Formal Test Package
  • Formal Test BASE Package
  • Back-to-back Test Package
  • Requirements-based Test Package
  • Formal Specification Package
  • Requirements Analysis Package
Use cases
  • Formal Verification
  • Formal Test
  • Formal Specification
  • Back-to-back Test
  • Regression Test
  • Migration Test
  • Requirements-based Test
  • Requirements Analysis
  • Code Coverage Analysis
  • ISO 26262
  • Continuous Integration & Cloud
Test / Verification / Analysis Targets
  • Mathworks Simulink
  • dSPACE TargetLink
  • Mathworks Embedded Coder
  • C-Code
  • dSPACE Evaluation Boards (PIL)
  • dSPACE HIL / VEOS
  • Generic Execution Records
  • Formal Requirements

Challenges of Virtual Validation for ADAS/AD

Creation of traffic scenarios

How can I create the needed millions of scenarios?

Generation of needed test scenarios

How can I avoid the test explosion problem?

Analysis of simulation results

How can I find out if my tests are passed or failed?

  • Company
  • News & Events
  • Blog
  • Videos
  • Career
  • Support & Contact
  • Partners
  • References
  • Research
  • Locations
  • Partners
  • References
  • Research
  • Locations
  • English
    • Japanese

Product: Formal Specification Package

Connection with IBM DOORS-Video

Formal Specification-Video

Requirements Traceability with Siemens Polarion

We provide intelligent and automated test solutions which enable our customers to deal with the growing complexity of embedded software while achieving high quality in compliance with the ISO 26262 standard.

Products
  • Products
  • Use Cases
  • Test Environments
  • Evaluation License
Company
  • Company
  • Career
  • Partners
  • References
  • Research
News
  • News
  • Events
Knowledge
  • Blog
  • Videos
Contact
  • Contact & Support
  • Locations
Line Youtube Linkedin
Products
  • Products
  • Use Cases
  • Test / Verification / Analysis Targets
  • Evaluation License
Company
  • Company
  • Career
  • Partners
  • References
  • Research
News
  • News
  • Events
Knowledge
  • Blog
  • Videos
Contact
  • Contact & Support
  • Locations
Line Youtube Linkedin
  • Privacy Policy
  • Imprint
  • Privacy Settings
  • Privacy Settings History
  • Revoke Consent

Copyright © 2022 BTC Embedded Systems & BTC Japan