Aonix
Suite 100
5040 Shoreham Place
San Diego, CA 92122
Phone: +1.603.429.3415
FAX: +1.603.429.3404
Email: info at aonix.com
URL: www.aonix.com
Aonix is a leading supplier of Mission and Safety Critical solutions. For safety critical we provide certified Ada83 and Ada95 solutions supporting the largest number of certified applications deployed today. For mission critical we provide a high reliability and deterministic embedded Java solution that is the leading embedded Java solution deployed today. Our environments provide all the software development tools necessary to satisfy the full requirements of these demanding application areas.
Our safety critical development environments are Raven and SmartKernel. These provide safety critical certified kernels as well as full development environments. These also provide source level and machine level test and coverage analysis tools to satisfy the FAA's DO-178B Level A, the strictest safety critical standard.
Our mission critical development environment is PERC. This product supplies a high reliability virtual machine with deterministic garbage collection. Additionally it is the only product to provide both ahead-of-time (AOT) as well as just-in-time (JIT) compilation for optimum efficiency and flexibility in a single solution.