Our partners provide innovative solutions around Keil MDK to increase your productivity. For the best software development strategy, a seamless workflow is required that can be achieved using our technology together with the one from these leading technology companies.
Testing and Analysis
Gimpel Software's PC-lint is a powerful static analysis tool that will check your C/C++ source code and find bugs, glitches, inconsistencies, non-portable constructs, redundant code, and much more. It looks across multiple modules, and so, enjoys a perspective your compiler does not have. A C compiler cannot always detect each and every potential problem in your source files. This is where PC-Lint comes in.
The LDRA tool suite provides Static Analysis, Unit Testing and Dynamic Analysis capabilities for functional safety. This allows the user to check the compliance to a number of coding standards (for example MISRA C:2012 and company specific standards). At the same time the user can view a wide number of metrics such as the McCabe Cyclomatic Complexity. It also allows both Dynamic Analysis and Unit Testing to be performed, which is essential to developing systems that must be compliant with safety standards such as DO-178C, ISO 26262, IEC 62304, IEC 61508 and EN 50128.
Parasoft C++test provides a complete quality testing solution which improves software development team productivity and software quality for C and C++ applications. C++test uses the high-speed streaming trace capabilities of the ULINKpro adapter to capture performance and code coverage information which can then be analyzed using the MDK-ARM development kit. C++test provides in-built wizards which enable you to quickly begin working with µVision projects.
Being smoothly integrated with each other, the Keil uVision IDE and the redBlocks Simulator provide a perfect toolset for target virtualization during embedded application development. By emulating both the target processor and the target’s peripherals in a graphical Software-in-the-Loop Simulation Environment, embedded developers can integrate, operate and automatically test their software independently from the real target hardware. The redBlocks Simulator is part of the redBlocks Rapid Embedded Development Toolkit, developed and supported by redlogix.
Vector Software's VectorCAST test automation platform is TÜV certified and designed for Unit, Integration and System testing both for quality and for critical environments. It is scalable for single to massively parallel testing with simulators or final hardware in homogeneous or heterogeneous farms. Options for a range of development methodologies including: Waterfall; Test Driven Development; Agile and DevOps through Continuous Integration with Change Based Testing (automated Change Impact Analysis with testing). The key avionic, space, medical, automotive, rail and industrial standards are supported.
Middleware and RTOS
Clarinox Technologies offers Wi-Fi, Bluetooth and Bluetooth Low Energy stack software on a wide range of ARM based MCUs. The stacks cover a full range of profiles and roles with extensive support for many RTOS and numerous MCU choices. To complement the wireless software Clarinox provides Koala EVM - a complete wireless development platform for Wi-Fi, Bluetooth and Bluetooth Low Energy. Clarinox high level debugger and protocol analyzer solutions together with the hardware and software products can take you from concept to end product in reduced development time.
HCC's mission is to ensure that data stored or communicated by an embedded IoT application is secure, safe and reliable. HCC supplies reliable, fail-safe storage solutions for NAND, NOR, eMMC & SSD flash. Network solutions include TCP/IPv4, IPv6, TLS, IPSec/IKE, all developed with test and verification as part of a formal process. All software is portable and target independent and can be dropped onto any RTOS, MCU or tool-chain with all drivers and abstractions provided meaning virtually no integration is required. This means any embedded system can be upgraded to be safer, more reliable, and more secure.
Micrium is a global RTOS leader for microprocessor-, microcontroller- and DSP-based devices. µC/OS is the leading commercial RTOS for embedded systems, and features a wide array of connectivity options. Micrium® Spectrum™ is a pre-integrated end-to-end portfolio of embedded software, protocol stacks and cloud services to facilitate development of the IoT from device to the cloud. Micrium's RTOS kernel and software components are recognized for unparalleled reliability, performance, dependability, impeccable source code and extensive documentation. They are certified to meet rigorous safety-critical standards for industries such as medical electronics, avionics and industrial control.
Oryx Embedded is an IT company specialized in middleware solutions, located in Grenoble, France. Oryx Embedded offers a complete range of networking solutions for embedded systems, making the Internet of Things a reality. The Oryx portfolio includes professional-grade TCP/IP components as well as SSL/TLS encryption. All the software products are available either as open source (GPLv2) or under a commercial license