Consulting and Services
BTC Embedded Systems AG is a world-wide successful tool vendor and consulting company in the area of automatic test- and validation techniques in the embedded software domain.
BTC Embedded Systems AG provides support in all development and test phases of embedded software. This range is defined from the very beginning of the development process (requirements engineering) to the very end (acceptance tests).
Our company now has more than 7 year experience in the embedded market concerning consulting and service projects together with most well known OEMs and suppliers of the automotive- and transportation industry world-wide.
BTC Embedded Systems AG provides support in all development and test phases of embedded software. This range is defined from the very beginning of the development process (requirements engineering) to the very end (acceptance tests).
Our company now has more than 7 year experience in the embedded market concerning consulting and service projects together with most well known OEMs and suppliers of the automotive- and transportation industry world-wide.
The core competences of BTC Embedded Systems AG are:
- Model-Based Development Process
- Formal Specification of Requirements
- Formal Verification of Models and AutoCode
- Automatic Test Case Generation based on Models/Requirements
- Automatic Test Vector Generation based on code
- Automatic Test Case / Trace / Vector Execution
- Automatic Model-based Safety Analysis
- AutoCode Generation and Validation
- Industrial standards like IEC 61508 and DO-178B