results ("best" results first...) > >
  filter by: adv & 5 star co's | 4 star co's | 3 star co's | 2 star co's | non-rated

DDC-I, Inc.    

Mission and safety critical design. DDC-I is a global supplier of high quality embedded software products that incorporate the highest levels of design assurance. These products include certifiable real-time operating systems (RTOS), software development tools, custom software development, and legacy software migration services. [Compilers, Debuggers, Ada, C, C++, JOVIAL, Fortran, Safety critical, mission critical, DO-178B, RTOS, Real-Time...
preview: http://www.ddci.com/ - news

GrammaTech, Inc.    

GrammaTech develops and markets static-analysis tools for C/C++ and Ada. Our flagship product is CodeSonar, a source-code analyzer that identifies serious bugs at compile time. [x86]
preview: http://www.grammatech.com/ - news

Rapita Systems Ltd.    

RapiTime combines on-target execution time profiling with static analysis to support you in ensuring your real-time application lives up to its requirements. RapiTime allows you to: monitor code coverage, determine worst-case execution times, quickly identify slow code that has a disproportionate effect on the running time of your application. RapiTime supports C and Ada on all 8, 16 and 32-bit microcontrollers and DSPs.WCET, embedded, RT
preview: http://www.rapitasystems.com/ - news

AdaCore    

AdaCore is the leading provider of commercial software solutions for Ada, a modern programming language designed for large, long-lived applications where reliability, efficiency and safety are critical. AdaCore's flagship product is GNAT Pro, the commercial-grade open-source Ada development environment which is available on more platforms than any other Ada technology. Use of Ada and GNAT Pro continues to high-integrity and safety-critical...
preview: http://www.adacore.com/ - news

Irvine Compiler Corporation    

Irvine Compiler Corporation provides quality Ada development environments, hosted on various UNIX, Microsoft Windows, and VAX/VMS systems. Traditionally, customers of ICC demand high performance on a wide range of hardware for embedded, real-time, and native applications. ICC Ada flies on several military and commercial aircraft. Incorporated in 1981, Irvine Compiler Corporation is a pioneer in Ada technology.
preview: http://www.irvine.com/ - news