Sponsors - Ada Resource Association

Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art 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.

North American Office

104 Fifth Avenue, 15th floor New York, NY 10011 USA

Tel. +1 212 620 7300
Fax +1 212 807 0162

European Office

46 rue d'Amsterdam 75009 Paris FRANCE

Tel. +33 1 49 70 67 16
Fax +33 1 49 70 05 52

web
www.adacore.com

email
sales@adacore.com

Altran Praxis is a specialist systems and software house, focused on the engineering of systems with demanding safety, security or innovation requirements. Altran Praxis leads the world in specific areas of advanced systems engineering and innovation such as: ultra low defect software engineering, Human Machine Interface (HMI), safety engineering for complex or novel systems and tools (such as SPARK) /methods for systems engineering. Altran Praxis, in partnership with AdaCore, provides SPARK Pro – the foremost language, toolset and design discipline for the engineering of high-assurance software.

Bath Office

20 Manvers Street Bath BA1 1PX United Kingdom

Tel. +44 (0)1225 466991
Fax +44 (0)1225 469006

London Office

2nd Floor Shackleton House 4 Battle Bridge Lane London SE1 2HP United Kingdom

Tel. +44 (0)203 117 0880
Fax +44 (0)203 117 0881

web
www.sparkada.com

email
info@altran-praxis.com

Founded by a team of internationally recognized leaders in the development of programming languages and compiler technology, SofCheck, Inc. is a premier automated software quality (ASQ) solutions company. SofCheck enables software development organizations to build the highest quality software systems efficiently and in the shortest time possible by providing solutions for automated, advanced static error detection without unit testing or style checking.

Headquarters

11 Cypress Drive Burlington, MA 01803-4907 USA

Tel. +1 (781) 750-8068
Fax +1 (781) 750-8064

web
www.sofcheck.com

email
info@sofcheck.com

Ellidiss Software markets software tools supporting AADL, UML and HRT-HOOD modeling methods. AADL is the new systems development language being mandated on many new projects and Ellidiss’ toolset STOOD is the leading commercially available tool supporting this. HRT-HOOD is a real-time embedded software development method covering architectural and detailed design. Ellidiss software’s tools offer full documentation and code generation, are particularly suitable for the development of mission critical systems in Ada, C, or C++, and operate on UNIX, Linux and Windows. Data bridging tools are available to port data between platforms, and reverse engineering tools are available to capture an initial design from source code whether or not it was previously generated by a software tool.

Our software tools are widely used in Aeronautics, including AIRBUS and Eurofighter Typhoon, and Space including ESA and CNES.

TNI Europe Ltd

Triad House Mountbatten Court Worrall Street Congleton Cheshire UK CW12 1DT

Tel. +44(0)1260 291449

web
www.ellidiss.com

email
pam.flood@ellidiss.com

For more than thirty years, LDRA has developed and driven the market for software that automates code analysis and software testing for safety-, mission-, security- and business- critical markets. Working with clients to achieve early error identification and full compliance with industry standards, LDRA traces requirements through static and dynamic analysis to unit testing and verification for a wide variety of hardware and software platforms. Boasting a worldwide presence, LDRA is headquartered in the UK with subsidiaries in the United States and India and an extensive distributor network.

LDRA Technology, Inc

Lake Amir Office Park 1250 Bayhill Drive, Suite # 360 San Bruno, CA 94066

Tel. (650) 583 8880
Fax (650) 583 8881

LDRA

Portside Monks Ferry,Wirral CH41 5LH

Tel. +44 (0) 151 649 9300
Fax +44 (0) 151 649 9666

web
www.ldra.com

email
info@ldra.com