BTC EmbeddedSpecifier an Kunden ausgeliefert

BTC Embedded Systems AG hat nun eine erste Version des BTC Embed­dedSpecifiers entwickelt und in einem Beta-Programm an namhafte deutsche und japanische Hersteller und Zulieferer im Automobilbereich ausgeliefert.  Teile der formalen Spezifikationsmethode des  BTC Embed­dedSpecifiers wurden innerhalb des CESAR-Projektes, welches vom europäischen Förderinstrument ARTEMIS unterstützt wird, entwickelt. In dem nun gestarteten Beta-Programm werden wichtige Erkenntnisse aus der Produktionspraxis in Bezug auf die formale Spezifikation und deren Effizienz und Benutzbarkeit gesammelt und fließen direkt in die Weiterentwicklung des BTC Embed­dedSpecifiers ein. Es ist geplant, eine erste praxistaugliche Version in der zweiten Jahreshälfte auf den Markt zu bringen. Zielkunden sind zunächst die Bestandskunden des BTC Embed­dedTesters, die bereits den automatischen Back-to-Back-Test in die Produktion erfolgreich eingeführt haben, um auch der neuen ISO 26262 Rechnung zu tragen. Diese Kunden streben nun den automatisierten anforderungsbasierten Test mit BTC EmbeddedSpecifier im Zusammenspiel mit BTC Embed­dedTester an. Hierbei erlaubt die nun in die Praxis gegebene computerunterstützte Spezifikationsmethode die Lücke zwischen informeller textueller Anforderung hin zu einer formalen maschinenlesbaren Anforderungsspezifikation zu schließen.
www.btc-es.de