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
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.
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.
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 world leader in delivering software for intelligent connected systems. The company has been pioneering computing inside embedded devices since 1981, and its technology is found in nearly 2 billion products. Wind River offers the industry’s most comprehensive embedded software portfolio supported by world-class global professional services and support, and a broad partner ecosystem.