Partners

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.

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.

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.

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.

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.

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.

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.