Automatic test and verification tools to model-based systems & software development process

• BTC Embedded Tester: Automatic test case generation for full structural coverage on production code
• BTC Embedded Specifier: import of test architectures from Simulink, TargetLink, Hand-Code, dSPACE HIL systems and ASAM MDX
• BTC Embedded Validator: Formal Verification using ModelChecking Technology

MAN, Toyota, Ford, PSA Peugeot Citroen, DENSO, JTEKT, Claas, Wabco

V2X solutions - Road Side, On Board, and Radio Module hardware products, and software stacks from that Access Layer to the Applications Layer

• Hardware - MK5-OBU, MK5-RSU, NXP/Cohda Chip Set Solution
• Software - Software Development Kit (SDK)
• Services - Training, Development, Field testing

Hyundai, LG, Ford, Audi, BMW, Volkswagen, Honda, Denso, Toyota

A1/A2/A3 - Driver-In-the-Loop (DIL) simulator

BMW, Ferrari, Mercedes-Benz, Chalmers. Porsche, Audi, Bridgestone, AVL, Jaguar, Lamborghini, Michelin, Mobis, Hwa, honda, Daimler

 

Automated Machine Learning (Cloud & On-Premise)

• Banking / Insurance - NTUC Income Insurance, LendingTree, PNC Bank, Tokyo Marine, Royal Bank of Canada
• Healthcare - Symphony Healthcare
• Retail - Lenovo
  
• Airline - Virgin Australia, Vueling Airlines
• Telecommunication - KDDI/Arise

• Industrial Motherboards
• Computer-on-Modules
• Embedded SBCs
• Systems
• Industrial Chassis
• Touch Panel PCs
• Industrial Monitor

Medical, diagnostic & imaging, ATM/POS, industrial control, kiosk, security & surveillance, digital signage, gaming, and other embedded applications

Thermal imaging & Infrared Camera in automation, electrical/mechanical, building, test & measurement, research & development and marine, etc.

BMW, BAA(British Airport Authority), Istanbul Sabiha Gokcen Airport, IR HotSpot, Linkoping, etc.

• DT10 - Dynamic analysis tool to find bugs and verification
• DataCatcher3 - line monitor supporting for multiple communication protocol

Alps, Casio Olympus, Amano, AIM, Kobelco, JVC Kenwood, MKI, RICOH, RKC, Hitachi

• Consulting - ideation, system, technology, Process, Safety
• Engineering - Safety, Requirements, Systems, Software, Hardware
• Testing - Unit Testing, Integration-Test, System-Test, Code Review
• Training - Functional Safety, Keil MDK-ARM Training, Middleware for Cortex-M Training, Softwaretest-Training
• Tools - Static Code Analysis, Dynamic Module, Analyzer, Development Specification, programmer
• SW Components - Safety Libs, MCAL Drivers, RTOS, Bluetooth, TCP/IP, USB, Embedded Security
• System/Manufacturing

ABB, DAIMLER, Liebherr, BMW, Lutze, Intenta

• QTS Gateway
• Embedded Computing
• Industrial System
• Panel Computing
• Mobile Computing
• Power Solution & Peripherals

Factory automation, Computer telephony integration, Networking appliances, Security and in fields like IoT(Internet of Things), national defense, police administration, transportation, communication base stations and medical instruments.

• Boards & Standard form factors: COMe, ETX, Motherboards, AdvancedTCA/MC
• Systems: Aircraft computers, Cloud systems, Defense computers, Medical computers, Panel PC, Rack Mount systems, ransportation computers, Rugged tablets
• Software: KeAPI 3.0, DMCM
• Solutions: Security

Roboteam, CERN, Heidelberg Postpress, ABBACO, IMTMEDICAL, etc.

• Network Applications
• Embedded Box PCs & Boards
• Telecom Datacenter Appliances
• Vehicle Computers
• Industrial Communication Platforms

Network Computing, Telecommunication, Transportation, Power & Energy, Industrial Automation, etc.

Modular microprocessor development tools including debuggers, in-circuit emulators, tracers, logic analyzers for systems integration, and simulators for software applications

 

• TRACE32 tools which consist of:
  - PowerView, a universal GUI
  - PowerDebug tools for debugging
  - PowerTrace tools for program/data flow trace
  - PowerIntegrator tools for logic analysis
  - Software-only tools for debugging and tracing

• Software & Services: Windows, Office, Internet Explorer, Skype, OneDrive, MSN, Bing
• Devices & Xbox: Microsoft Surface, Windows PC & Tablets, Xbox & games, Windows Phones
• For Business: Microsoft Azure, Microsoft Dynamics, Windows for business, Enterprise Solutions
• For Developers & IT Pros: MSDN, TechNet, Visual Studio

IDC, GE Healthcare, 3M, Xerox, BMW, Heineken, Coca-Cola Hellenic Bottling Company, PANDORA, TGI Fridays, Regions Financial Corporation, Sanoma, Pearson etc.

• MES Model Examiner: Automated checking and administration of modeling guidelines
• MES Test Manager: automating all test activities for module and integration testing
• MES M-XRAY: Structure and complexity analysis of Simulink, Stateflow, and TargetLink models
• MES Quality Commander: Automated collation of all relevant parameters for determining software quality

Audi, Daimler, BOSCH, Continental, SIEMENS, Denso, Hyundai

Visual computing technology in gaming, professional visualization, datacenter and automotive markets

• NVIDIA Tegra mobile processor, NVIDIA GeForce GPU, NVIDIA Quadro GPU, NVIDIA tesla GPU

• Automotive: AUDI, Tesla, Mercedes-Benz, Volvo, Honda, BMW
• Healthcare: Vital, Heartworks, Siemens
• Manufacture & Design: Zodiac aerospace, Blue marble 3D, Celebrity custom home

Development of specialized software tools for testing and verification of embedded control systems

• TPT - a test automation tool for all integration levels for different environments such as MATLAB/Simulink, ASCET, dSPACE, LABCAR to test and verify embedded control systems and dataflow programs
• TASMO - a tool for the automated test case generation for Simulink models, TargetLink models, and for C-Code
• Signal Viewer - a software to graphically analyze the behavior of signals and parameters
• Dashboard - a configurable graphical interface for manual testing and test recording
• Training - TPT-trainings at the customer’s or at the German headquarter
• Engineering - module tests, integration tests, system tests, test management
• Consulting - test project analysis and inspection of test processes and test methods

 Daimler, VW, AUDI, Porsche, Renault/Nissan, BMW, McLaren, PSA, MAN, Claas, Bosch, Continental, Hella

Tools and services for embedded-software testing and validation

• Reactis Tester - automatic test generation from Simulink models
• Reactis Simulator - visualizing model execution and debuging Simulink models
• Reactis Validator - automated searches of models for violations of user-specified requirements

Airbus, BAE Systems, Continental, Eaton, GE, Hanwha, Hitachi, Isuzu, Mazda, Navistar, Renault, Tata, TRW

• Thermography
• Complete solutions including software for acquisition and documentation
• Software for measuring data and temperature profiles
• Spectral pyrometer
• Two color pyrometer
• Scanner
• Program controller

• Pyrometers for Laser Process Control and Temperature Control
• Induction Heating
• Pouring Stream Monitoring
• Rolling mills, continuous casting plants
• Flames Measurement

• Core products (The platform for operational intelligence)
  : Splunk Enterprise/ Splunk Cloud/ Splunk Light
• Premium solutions (Extend the Splunk platform with purpose-built solutions)>
  : Splunk Enterprise Security/ Splunk IT Service Intelligence/ Splunk User Behavior Analytics
• Apps and Add-ons (Extend the power of Splunk software with App and Add-ons)
  : Splunbase

• Communications: Comcast, Cricket wireless, HGC, Integra, IDT, Orion LABS, Vodafone
• Financial services: Edenred, ING, First data, PostFinance, UniCredit, Orrstown bank
• Healthcare: iRhythm, Bosch Invented for life, NHS choices, AdvancedMD
• Retail: CJ O Shopping, Cocacola, Domino’s pizza, Groupon, Seven eleven, Tesco
• Technology: Atlassian, Autodesk, Pacific Northwest, Symantec, Vantrix, Tivo