BTC Embedded Systems AG was founded in Oldenburg in under the name OSC Embedded Systems. We started with an ambitious goal: To take complex Founded: 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. In , it opened a product development office in Timisoara (i.e., BTC Embedded Systems Romania).
Btc embedded systems timisoaraBTC EMBEDDED SYSTEMS ROMANIA SRL din Timisoara Str. Martin Luther 2, CUI
After 20 years of technological market leadership in areas like formal verification, model checking and automatic test generation, BTC Embedded Systems partners with some of the best in class research institutes such as the University of Oxford or OFFIS Germany to sustain a continuous innovation process.
With our testing and verification products we globally help driving the technology of embedded solutions mainly in the highly dynamic and challenging automotive software industry.
We offer support, extension and integration of tools used in Model Based Development of Embedded Software in the Automotive industry. We are looking for colleagues to become part of our dynamic product development team in Timisoara that builds leading edge innovative testing products.
Are you enthusiastic about embedded systems, software development, testing and innovation? 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.
In this free Webinar, we will show you how to efficiently perform an ISO compliant software test within a Model-based development process ensuring full traceability between requirements, test cases and test results. Welcome to our new Blog Sharing insights on embedded software development, model-based design, automatic code generation and ISO compliant testing.
What if your PC could understand your requirements?