25th MBMV Workshop
BTC Embedded Systems will join the 25th MBMV Workshop and give a talk about „Detection and Elimination of Constants to Strengthen k-Induction“
Webinar: 4 Strategies to Upgrade to a New MATLAB/Simulink Version
In this free Webinar we will discuss four different approaches regarding their effectiveness and potential degree of automation
Webinar: New Features in BTC EmbeddedPlatform 2.11
Please join us for this free webinar to discover the brand new major release BTC EmbeddedPlatform 2.11 (incl. BTC EmbeddedTester 4.11).
Webinar: When and How to Generate Test Cases Automatically
In this Webinar we will discuss when (and when not) it makes sense to generate test cases automatically and how to do it.
Webinar: What Every Function Developer and Tester Should Know About AUTOSAR
In this free Webinar, we’ll start from a blank page and walk you through all the steps to develop and test an ISO 26262 compliant software unit.
Webinar: How to Manage Requirements-Traceability for an ISO 26262 Compliant Test Process
In this free Webinar, we will show you how to efficiently perform an ISO 26262 compliant software test within a Model-based development process, ensuring full traceability between requirements, test cases and test results.
Webinar: How to develop and test an ISO 26262 compliant software unit in 1 hour
In this free Webinar, we’ll start from a blank page and walk you through all the steps to develop and test an ISO 26262 compliant software unit.
Embedded World 2021 digital
BTC Embedded System joins the virutual embedded world conference 2021. On Tuesday, 2nd of March, Mr. Wolfgang Meincke (Senior Pilot Engineer at BTC Embedded Systems) will give a talk on „Applying Automated Formal CCC Checks for Complex Systems Development“.
Webinar: Processor-in-the-Loop Test with BTC EmbeddedTester and iSYSTEM Debug Tools
In this free Webinar, BTC Embedded Systems and iSYSTEM will demonstrate how to easily set up a seamless toolchain for running your tests on the host PC as well as on the target for an ISO 26262 compliant software unit and integration test.
Webinar: Why and How to Improve Requirements – with ITK Engineering
In this free Webinar we will talk with Mr. Bernd Holzmüller from ITK Engineering about the importance of requirements quality. We will also look at the results of a common project in which BTC and ITK worked together to apply formal methods on a set of requirements to uncover weaknesses and ensure completeness and consistency.