EXHIBITSEXHIBITS GUIDEGUIDE Sponsored by ACM SIGAda

EXHIBIT HOURS

Tuesday, November 16 10:30am – 5:00pm

Wednesday, November 17 10:30am – 2:00pm

Exhibitor List Microsoft Ada Core Technologies Green Hills Software Inc. Aonix TNI Europe I-Logix Artisan Software Praxis Critical Systems, Ltd. PolySpace Technologies LDRA Software Technology

2 EXHIBITOR DESCRIPTIONS Microsoft Contact: Richard Conn One Microsoft Way, Redmond, WA 98052 USA Web: http://www.microsoft.com Email: [email protected] Phone: 678-521-3440

Microsoft's mission: To enable people and businesses throughout the world to realize their full potential.

At Microsoft, we're motivated and inspired every day by how our customers use our software to find creative solutions to business problems, develop breakthrough ideas, and stay connected to what's most important to them.

We run our business in much the same way, and believe our seven core business units offer the greatest potential to serve our customers in the coming decade. They include:

- Windows Client, including the Microsoft(r) Windows(r) XP desktop operating system and Windows Embedded operating system. - Information Worker, including Microsoft Office, Microsoft Publisher, Microsoft Visio(r), and Microsoft Project. - Microsoft Business Solutions. - Server and Tools, including the Microsoft Windows Server System(tm), Visual Studio software developer tools, and MSDN(r). - Mobile and Embedded Devices, featuring mobile devices including the Windows Powered Pocket PC, the Mobile Explorer microbrowser, and the Windows Powered Smartphone software platform. - MSN. - Home and Entertainment, including Microsoft Xbox(r), consumer hardware and software, online games, and our TV platform.

AdaCore Technologies Contact: Karen Mason 104 Fifth Avenue, 15th Floor New York, NY 10011-6901 USA Web: http://www.gnat.com Email: [email protected] Phone: 212-620-7300 Fax: 212-807-0162

AdaCore provides GNAT Pro, the native, embedded, and safety-critical COTS software development solution for Ada and mixed-language systems. Our worldwide team of Ada experts continues to support customers in developing high-reliability applications in a wide range of domains including aerospace, defense, energy, transportation, media, banking, communications, automobile, and medical software. 3 Green Hills Software, Inc. Aonix (continued) Contact: Cambridge Tharp Our safety critical development environments are Raven 30 W. Sola St. and SmartKernel. These provide safety critical certified Santa Barbara, CA 93101 USA kernels as well as full development environments. These Web: http://www.ghs.com also provide source level and machine level test and Email: [email protected] coverage analysis tools to satisfy the FAA’s DO-178B Phone: 805-965-6044 Level A, the strictest safety critical standard. Fax: 805-965-6343 Our mission critical development environment is PERC. Green Hills Software, Inc. is the technology leader for real- This product supplies a high reliability virtual machine time operating systems and software development tools for with deterministic garbage collection. Additionally it is 32- and 64-bit embedded systems. Our royalty-free the only product to provide both ahead-of-time (AOT) as INTEGRITY®-178B is the only commercial real-time well as just-in-time (JIT) compilation for optimum operating system (RTOS) suitable for safety-critical efficiency and flexibility in a single solution. applications that require maximum reliability and security. INTEGRITY-178B is an ARINC 653, securely-partitioned RTOS that supports applications containing multiple TNI Europe Limited programs with different levels of safety criticality, all Contact: Tony Elliston executing on a single processor. INTEGRITY-178B is Triad House certified to DO-178B Level A and it is the first operating Mountbatten Court system to be certified under the IEEE and The Open Group Worrall Street POSIX® Certification Program. Congleton Cheshire CW12 1DT Green Hills Software’s AdaMULTI™ is a complete, United Kingdom integrated development environment (IDE) for embedded Web: http://www.tni-world.com applications using Ada 95, C, C++, Embedded C++ and Email: [email protected] FORTRAN. AdaMULTI runs on Windows or UNIX hosts Phone: +44 (0)1260 291449 and supports remote debugging to a variety of target environments. AdaMULTI provides a direct graphical TNI Europe Limited is a leading supplier of software interface with all Green Hills compilers, and supports tools to world wide clients requiring real-time software multi-language development and debugging. AdaMULTI solutions. Current vertical markets include Aerospace, contains all of the tools needed to complete a major Space, Defence and Transport. Its software products programming project. support standards such as DO178B and AADL through cooperation with key international organizations such as SIGADA, Ada Europe, NASA and ESA.

Aonix The company markets software tools supporting a Contact: Greg Gicca component based modeling approach to software Suite 100 development. This approach employs 'State of the art' 5040 Shoreham Place techniques including UML2.0, HRT HOOD and San Diego, Ca. 92122 USA requirements traceability. Reverse engineering tools are Web: http://www.aonix.com available to capture an initial design from source code Email: [email protected] whether or not it was previously generated by a software Phone: 603-429-3415 tool. Fax: 603-429-3404 Software tools offered in these markets include STOOD Aonix is a leading supplier of Mission and Safety Critical which is widely used in Airbus and helicopter solutions. For safety critical we provide certified Ada83 developments, and in the space satellite market; CP and Ada95 solutions supporting the largest number of HOOD which is used extensively in the development of certified applications deployed today. For mission critical Eurofighter Typhoon, Tornado, Nimrod and Hawk; and we provide a high reliability and deterministic embedded REQTIFY, a powerful, yet non-intrusive requirements Java solution that is the leading embedded Java solution traceability tool. deployed today. Our environments provide all the software development tools necessary to satisfy the full STOOD is one of the earliest tools to be able to import requirements of these demanding application areas. and export AADL text!

4 I-Logix Inc. 3 Riverside Drive Andover, MA 01810 USA Web: http://www.ilogix.com Phone: +1 978 682-2100 or: +1 888-8ILOGIX Fax: +1 978 682-5995

I-Logix is a leading provider of model-driven development (MDD) solutions for embedded systems design through software development focused on real- time UML 2.0 embedded applications. I-Logix is headquartered in Andover, Massachusetts and can be found on the Internet at http://www.ilogix.com.

Rhapsody® in Ada, offers a full UML™ 2.0 design environment for Systems and Software Engineering for Ada 83/95 applications. In addition to generating production quality Ada code, Rhapsody in Ada's Rule- Based Code Generator provides users with the ability to modify off-the-shelf UML to Ada mapping rules or create new rules on their own. This high level of flexibility and control over the generated code allows users to tune the code generation process to match the specific and unique style that is often found with high-reliability and safety- critical Ada applications.

With Rhapsody in Ada, you will also be able to import legacy Ada with a proven, powerful, rules based Reverse Engineering process.

ARTiSAN Software Tools, Inc. 16055 SW Walker Rd, #422 Beaverton, OR 97006 US Toll Free: +1-888-511-7975 Web: http://www.artisansw.com Email: [email protected] Phone: +1-503-296-2281 Fax: +1-503-244-1443

ARTiSAN Software Tools provides electronic product development teams with the "fastest path to the right product." The company offers products, services and a process for systems and software modeling to accelerate the development of next-generation real-time systems while ensuring that they meet requirements. ARTiSAN enables engineering teams to visualize, design and validate systems before building them, and simplifies implementation with code generation and software reuse. ARTiSAN is a practical partner offering easy-to-adopt, down-to-earth solutions.

ARTiSAN's Ada Synchronizer supports code generation, reverse engineering and structural comparison between UML class models developed with Real-time Studio Professional and Ada source code. The Ada Synchronizer, which supports Ada 95, SPARK 95, Ada 83 and SPARK 83, is an additional component in Real- time Studio, ARTiSAN's suite of development tools. 5 Praxis High Integrity Systems, LDRA Technology, Inc. 20 Manvers Street, 2625 Judah Street Bath, San Francisco, CA 94122 BA1 1PX, USA UK Web: http://www.ldra.com Web: http://www.praxis-his.com or Email: [email protected] http://www.sparkada.com Phone: 415-681-5372 Email: [email protected] Phone: +44 (0)1225 466991 LDRA Technology Inc. provides a unique environment FAX: +44 (0)1225 469006 that helps teams accelerate testing of embedded systems and deliver a safety critical and business critical software Praxis High Integrity Systems specializes in the on time. LDRA Technology completely removes the time- development of highly-critical, software intensive systems pressure of testing embedded systems and achieving code and related consultancy, including independent coverage, it does it all for you verification and validation. We make use of the most Be liberated and Let us simplify your test advanced tools and techniques available including formal methods and software proof. Although mainly a services LDRA Testbed, Static Code Analysis company, we also produce and support tools where these - Code Visualization: For better understanding of what have a proven value in the development of critical happing in your system systems. Our SPARK language provides unparalleled - Programming Standard reinforcement: Automatic support for formal reasoning about software systems. It detection of coding rules violations including MISRA/C has exact, unambiguous semantics while remaining standards compatible with mainstream Ada development tools. Its - Complexity Metrics: maintainability, clarity and support tool, the SPARK Examiner, provides a range of testability quality metrics to identify modules requiring analysis options including a rigorous demonstration that the most attention code is "exception free" under all circumstances. SPARK has a proven track record in facilitating high quality at LDRA Testbed, Embedded Code Coverage Analysis low cost to the most exacting standards such as DO-178B, - Code Coverage Analysis: Automatic detection of areas Def Stan 00-55 and Common Criteria. SPARK is a good of code that have been covered and not tested yet. Several example of the "pragmatic formalism" that characterizes coverage levels available including MC/DC level of DO- the company. 178B - Regression Testing: Automatic detection of code changes/regressed code PolySpace Technologies - Availability on any Cross-Target environment Contact: Steve Barriault, Marketing Manager - Availability for Ada, C/C++/C#, Assemblers... 400 W Cummings Park Suite 5200 Woburn MA 01801 LDRA TBrun, Automatic Embedded Web: http://www.polyspace.com Unit/Module/Integration Testing Phone: 781-569-0521 - Automatic test harnesses generation, Automatic test Fax: 781-569-0526 stubs generation and test report documentation - Automatic test vectors generation PolySpace Technologies empowers companies building - Automatic Host/Target deployment on any embedded embedded software applications with the world's first and target boards only solution for the automatic detection of run-time errors at compile time.

Whether it is in C, C++ or Ada, our products streamline conventional software testing, delivering unparalleled cost and time savings while improving the reliability of software applications.

6