Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical, and security-critical systems. Four flagship products highlight the company’s offerings:
Partners
Barcelona Supercomputing Center
BSC, established in 2005, serves as the National Supercomputing Facility in Spain. The Center hosts MareNostrum, one of the most powerful supercomputers in Europe (3rd) and in the world (13th as of June 2017). The mission of the BSC is to research, develop and manage information technologies in order to facilitate scientific progress.
ConsuNova
ConsuNova is a leading global provider of certification, compliance engineering services and solutions for safety-critical systems to the aerospace and defense industries. ConsuNova provides fast, optimized and cost-effective solutions for ARP 4761, ARP 4754A, DO-200A, DO-254, DO-178C compliance.
As Key Technology Partners, Rapita Systems and ConsuNova work together to provide practical DO-178C/ED-12C compliance workshops to the safety-critical aerospace and defense industries.
GrammaTech
GrammaTech's advanced static analysis tools are used by software developers worldwide, spanning a myriad of embedded software industries including avionics, government, medical, military, industrial control, and other applications where reliability and security are paramount.
Originally developed within Cornell University, GrammaTech is now a leading research center for software security and a commercial vendor of software-assurance tools and advanced cyber-security solutions.
Green Hills
Green Hills Software is the largest independent vendor of embedded development solutions and is the only company with an operating system certified and deployed to EAL6+ High Robustness (security), DO-178B Level A (avionics), IEC 61508 SIL3 (industrial) and FDA Class III (medical).
The company’s open architecture integrated development solutions address deeply embedded, absolute security and high-reliability applications for the military/avionics, medical, industrial, automotive, networking, consumer and other markets that demand industry-certified solutions.
HighTec
HighTec EDV Systeme is a privately owned company since establishment in 1982 and the world's largest commercial open source compiler vendor. HighTec ensures independence for the future and the most reliable and secure tools for embedded software development. The HighTec compiler is portable and always available for the latest chip revisions for our supported architectures ahead of general release.
HIPPEROS
HIPPEROS delivers solutions for Intelligent Autonomy by means of High Performance Embedded Software technology enabling affordable high performance, reliability, efficiency and security for smart embedded systems. HIPPEROS was founded in 2014 in Belgium.
The HIPPEROS RTOS Kernel family of configurable, modular and parallel Real-Time Operating Systems (RTOS) designed from basic principles for embedded multicore computing platforms addresses the complexities of modern multicore and hybrid platforms that combine CPUs, GPUs, DSPs and FPGAs.
It uses an architecture specifically designed for parallelism, state-of-the-art scheduling and resource sharing algorithms and supports low power optimization, reconfigurable hardware acceleration, time & space isolation and other features.
Infineon
Infineon is one of the few semiconductor manufacturers for automotive applications that covers the most important applications in vehicles, with a broad product portfolio of microcontrollers, intelligent sensors, transmit and receive ICs for radio-frequency applications and radar as well as both discrete and integrated power semiconductors: powertrain, chassis and comfort electronics as well as driving safety applications. Coupled with a high level of quality, this comprehensive range of products has made us a preferred partner for our customers for over 40 years.
iSYSTEM
iSYSTEM offers expert knowledge based on more than 23 years of experience with embedded systems. They are pioneers in emulation and debug technology for 8-/16-/32-bit microcontroller architectures and FPGA based emulator hardware tools. The modular system provided by iSYSTEM contains in-circuit and on-chip emulation hardware for more than 50 microcontroller families and their derivatives.
Lauterbach GmbH
Lauterbach is the leading manufacturer of complete, modular and upgradeable microprocessor development tools world wide with 30 years experience in the field of embedded designs. Lauterbach is an internationally well-established company with blue chip customers from every corner of the globe and close relationship with all semiconductor manufacturers. It is represented in all countries at the forefront of embedded design market and international sales.
Lynx Software Technologies, Inc.
Lynx Software Technologies, Inc. supports companies building the world’s safest and most secure real-time systems. Their extensive expertise in multi-core, open architecture and modular system software development enables their customers to confidently develop trustworthy open platforms for their customer and market integration, while building systems that are smaller, lighter and more power efficient.
Spundhan
Spundhan provides software development, training and consultancy services, specialising in embedded systems, RTOS, device drivers, and software timing analysis. Spundhan has partnered with Rapita Systems Ltd. to offer a range of consultancy services to address timing issues. Spundhan Softwares, a private limited company founded in 2008, is headquartered at Belgaum, Karnataka, India. Spundhan is commited to providing its customers/clients with a high quality of software development services in the form of product development, training activities and consultancy.
SYSGO
SYSGO provides operating system technology, middleware, and software services for the real-time and embedded market. A differentiating capability of SYSGO is the SSV (Safe and Secure Virtualization) platform PikeOS, a paravirtualization operating system which is built upon a small, fast, and safe microkernel. It supports the co-existence of independent operating system personalities on a single platform, including ELinOS, SYSGO’s embedded Linux distribution.
TASKING - Embedded Software Development from Altium
TASKING products are world-leading tools for embedded software development, bringing together the advanced software design technology needed to compete in the embedded communications era. The award-winning TASKING integrated development environment, compiler and debugger offerings support a wide range of DSPs and 8-, 16- and 32-bit microprocessors and microcontrollers for all areas of embedded development.
Tektronix
Tektronix is a leading supplier of test, measurement, and monitoring products, solutions and services for the communications, computer, and semiconductor industries - as well as military/aerospace, consumer electronics, education and a broad range of other industries worldwide.
With 60 years of experience, Tektronix enables its customers to design, build, deploy, and manage next-generation global communications networks, advanced and pervasive technologies. Headquartered in Beaverton, Oregon, Tektronix has operations in 19 countries worldwide.
The University of York
The Real-Time Systems Research Group at the University of York is the internationally acknowledged leader in research into hard real-time systems scheduling theory and worst-case execution time analysis.
This research group is credited with a significant body of research into fixed priority real-time scheduling theory. They have also demonstrated how to employ these theoretical results in practice, by accounting for networking and operating-system overheads.
This combination of theory and practice has resulted in important and practical applications of their work.
Wind River
Wind River®, a wholly owned subsidiary of Intel® Corporation (NASDAQ: INTC), is a global leader in delivering software for the Internet of Things. The company has been pioneering computing inside embedded devices since 1981, and its technology is found in more than 2 billion products. Wind River offers a comprehensive portfolio of solutions for addressing the system-level challenges and opportunities of IoT that is backed by world-class global professional services, award-winning customer support, and a broad partner ecosystem.