BTC Embedded Systems and its subsidiary BTC Embedded Systems Romania completely reequipped the Software Design Laboratory (Ba) with 20 brand-new state-of-the-art computers (Intel i7 - , 16 GB RAM, GB SSD, ’' Monitor). BTC Embedded Systems AG is a provider of software tools founded in With around employees BTC Embedded Systems AG is present in Oldenburg, Berlin, Tokyo, Detroit, Paris, Timisoara, Shanghai and Nagoya. Oct 29, · BTC Embedded Systems Romania is specialised in providing Software Development and Engineering Services in the area of Java/ Eclipse and Model Based Development of Embedded Software. BTC ES Romania main types of activities are related to: Development and QA of Java / Eclipse tools used in Embedded Software Development and Testing.
Btc embedded systems romaniaBTC Embedded Systems - Homepage English · BTC ES
With Universal Pattern, both issues are efficiently addressed. A typical formalization workflow starts with the import of existing natural language requirements. In the first step, individual expressions or events within the requirement have to be identified as so-called macros.
In a second step, these macros need to be structured to define their relationship and timing behavior — delivering a semi-formal representation as an intermediate result. You will start with a very simple structure and then refine it where needed — keeping the formal requirement as simple as possible while remaining as complex as needed. A graphical representation of the Universal Pattern serves as an editor and at the same time as documentation, making the formal requirement easy to understand and review.
In the last workflow step, the macros are mapped to real interface objects of the system-under-test — making the requirement formal and machine-readable. With natural language requirements, definition of requirement coverage is always a tricky question.
As long as a requirement is not machine-readable, the decision if it has been covered and if the coverage is complete is typically based on a manual review of the related test cases. Based on the Universal Pattern specification method, a new definition of requirement coverage has been identified and mathematically defined in order to allow the measurement of requirement coverage in a completely automated way.
Partnerships with leading research institutes contribute to a continuous innovation process while partnerships with companies such as dSPACE and IBM ensure a perfect integration into our customers toolchains. We provide intelligent, automated and ISO certified test solutions with a focus on Simulink, TargetLink, Embedded Coder and handwritten production code.
Within a highly integrated platform concept, standard use cases like Requirements-based Testing or Back-to-Back Testing are combined with innovative and powerful technologies like model checking, automatic test generation or formal methods. Requirements-based Testing for models and production code inside a highly integrated environment. A certified and highly automated test environment including automatic and complete test case generation. Highlights of this release include a redesigned user interface, a powerful REST API and "Universal Pattern" - an even more flexible language for the formalization of safety requirements.
In this free Webinar we will talk with Mr. 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.