AdaCore is the leading developer of Ada 95 technology, offering native, embedded, and safety-critical solutions on a large variety of systems. Founded in the mid-nineties, AdaCore is a new kind of software company providing innovation through market-leading GNAT Pro technology and an expert support system second to none. GNAT Pro is the most widely used Ada 95 development environment, and a natural solution where efficient and reliable code is critical.

ARTIST2 is a European Commission Network of Excellence, part of the IST programme. The strategic objective of the ARTIST2 Network of Excellence is to strengthen European research in Embedded Systems Design, and promote the emergence of this new multi-disciplinary area.

Rapita Systems Ltd is an affiliated partner in the ARTIST2 network, participating in the ARTIST Design activities.

Cosmic Software is a leading producer of software development tools and services for the embedded systems industry. Cosmic development tools are used in the creation of electronic systems found in a variety of products including: automobile transmissions, anti-lock brakes, air bag controllers, washing machines, pace-makers, mobile phones, fibre optic switches, heavy construction equipment, avionics, robotics and many more.

Evidence Srl is a spin-off company of the Scuola Superiore S. Anna, Italy, that produces ERIKA Enterprise, an innovative RTOS for tiny automotive and embedded systems, especially multiprocessors System-on-a-chip, and RT-Druid, an integrated set of design tools for modelling, analysing, and simulating the timing behaviour of embedded real-time systems. Evidence also provide technical support for Linux and Linux real-time solutions.

QNX Software Systems is the leading provider of superior realtime operating system (RTOS) software, development tools, and services for embedded design. For more than 25 years, QNX have been serving the complex needs of the embedded market - with millions of installations worldwide - in mission-critical and life-critical environments.

Quadros Systems, Inc. is a software company specializing in the embedded real-time operating system market. Quadros' technology is used at many of the world's leading companies involved in telecommunications, networking, consumer electronics, medical, transportation and other embedded systems applications.

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 TASKING award-winning 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. With over 100,000 licensed users of TASKING products, including the world's leading telecom, datacom, wireless and peripheral manufacturers, the TASKING product range has a long history of technology leadership and innovation.

RapiTime supports the TASKING classic C166/ST10 toolset.

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.

For information about the partnership between Rapita Systems and Tektronix, see our joint press release.

For more information, on using Tektronix TLA5000 and TLA7000 Logic Analyzers to capture the timing traces required by RapiTime, please contact us to request a copy of the white paper, "RapiTime Hybrid Tracing Solution Using a Logic Analyser: A case study using Tektronix logic analysers".

The Real-Time Systems Research Group at the University of York are the internationally acknowledged leaders 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.