1. BTC EmbeddedPlatform® – Tool Demo
Tino Teige, BTC Embedded Systems AG
Dagstuhl Seminar 16491, December 8, 2016

2. BTC Embedded Systems AG
♦ Stuttgart
♦ Oldenburg
Berlin ♦
Tokyo ♦
Company established in 1999
BTC-ES Headquarter in Oldenburg
Offices in Stuttgart, Berlin, and Paris
BTC Japan Co., Ltd.
BTC Embedded Systems Romania SRL
Distributors in India and South Korea
♦ Paris
♦ Timisoara
Mission Statement
Our mission is to enable customers to increase product quality in a shortened design phase by introducing automatic test and verification technology to the model-based systems & software development process.
Main Customer Domains
Automotive, Aerospace

3. Model-Based Development
Development Workflow
Informal Requirement
Modeling
Model
Automatic Code Generation
Production Code
dSPACE TargetLink
Test-Vector Editor
Requirements-Based
Testing
Functional Test Case
MIL Simulation
SIL Simulation
Simulation
Simulation
Back-to-Back
Testing
Generated Test
Vectors
Test Case Generation
Requirement-based
MIL Simulation
SIL Simulation
Formal Specification
Simulation
Formal Test &
Verification
Formal Specification
Formal Test
Model
Formal Verification
Production Code
Real-Time Test
HIL

4. Demo
BTC Embedded Systems AG proprietary · all rights reserved

5. Topics of Interest stronger methods for proving unreachability
main focus on software verification where floating-point becomes more and more important
performance
support of complex floating-point functions like sin(), exp() (math.h)
stronger methods for proving unreachability
proof certificates for unreachability on code level
BTC Embedded Systems AG proprietary · all rights reserved

6. Thank you!
BTC Embedded Systems AG proprietary · all rights reserved