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.    

Rapita Systems provides on-target timing coverage and verification tools which reduce the cost of measuring, optimizing and verifying timing performance and safety levels on critical real-time embedded systems. Rapita Verification Suite (RVS) tools support engineers and designers working on 8, 16 and 32-bit microcontrollers with C, C++ and Ada. Contact us for more details of our on-target coverage and verification solutions.
preview: http://www.rapitasystems.com/ - news

MapuSoft Technologies    

MapuSoft is the global leader in software interoperability & reusability solutions that provide freedom, protection and stability to embedded applications. We provide the tools OS Changer, OS Abstractor, Ada-C/C++ Changer and Ada-PAL Compiler to help developers reuse software on different platforms. (rtos, os, porting, code reuse, abstraction, ada, vxworks, psos, nucleus, POSIX, Linux, Solaris, Windows CE, Android, LynxOS, Unix, eCOS,...
preview: http://www.mapusoft.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