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:
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.
As key technology partners BSC and Rapita Systems work together in our Multicore Timing Analysis Solution.
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.
DDC-I provides DO-178C certifiable software and tools for safety critical avionics. Deos™ is a time and space-partitioned RTOS, which has been certified to DO-178 Design Assurance Level A (DAL A) since 1998. Developed from day one using DAL A plans and procedures, Deos features hard real-time response, superior multicore technology, industry standard ARINC653 and FACE Safety Base APIs, and shared resource partitioning to deliver the highest CPU utilization and performance possible in the industry.
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 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 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 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.
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 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. 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.
NXP Semiconductors is a world leader in secure connectivity solutions for embedded applications. The company drives innovation in the secure connect vehicle, end-to-end security and privacy, and smart connected solutions markets. NXP is a pioneer in bringing multicore solutions to the aviation industry and has a rich history in helping customers navigate certification requirements.
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 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.
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 is a global leader in delivering software for the Internet of Things (IoT). The company’s technology has been powering the safest, most secure devices in the world since 1981 and today is found in more than 2 billion products. Wind River offers a comprehensive edge-to-cloud product portfolio that is backed by world-class global professional services, award-winning customer support, and a broad partner ecosystem.