Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a modern programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore’s flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology.

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.

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. iSYSTEM tools support all common trace ports such as NEXUS and ARM-ETM allowing conventional debug capabilities to be augmented with a rich trace of timed events leading up to and following key behaviours.

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.

Pebble Bay is an independent company that understands the business challenges and benefits associated with Embedded Software Optimisation (ESO) and has the skills required to diagnose, develop and deliver well crafted embedded software. The optimisation and development of high integrity, trusted platforms on which to architect, build or re-engineer OEM products regularly contribute towards: significant reductions in NRE costs, fielded maintenance operational cost, successful on-time delivery of product to market and protection and improvement of existing revenue streams.

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.

Software Integrity offer consultancy, training and software development for real-time and embedded projects. The company's particular expertise is in the robust design and programming of event-driven concurrent systems.