Date: 30th of September to 2nd of October 2019
Location: Le Méridien, Stuttgart, Germany
What if your computer could understand your requirements?
The key words “autonomous driving” and “advanced driver assistant systems (ADAS)” are well known since several years now. Beside the continues technical development of parts like sensors, cameras and controllers, the size and complexity of corresponding software components increases as well.
By looking into the overall features of a component the number of safety-critical features increases at a progressive rate and can introduce errors with devasting effects. Among others, this leads to new challenges in testing. Even though classic testing gets more and more comprehensive it still suffers from giving a clear proof that especially safety-critical functionality always works reliable and correct.
To face these new challenges, BTC Embedded Systems in cooperation with customers and the academic world has developed an approach, to formally specifying and formally testing and verifying requirements. In addition to the classical testing this new approach can be applied on all stages of the development process from unit testing via component and integration testing up to HIL testing.