|
Aviya is a leader in solutions for performance critical applications. Whether your application moves tactical weapons or financial transactions, or
anything in between, their technical capabilities will make sure your system performs
when it counts. Aviya's Services cover all levels of application development, onsite or
offsite, with a specific expertise in the software verification process using VectorCAST.
|
|
HighRely is a leader in providing highly reliable embedded solutions. HighRely provides engineering services for critical embedded products including application design, development, testing, project management, and certification. HighRely solutions are in many medical devices, jets, satellites, defense, nuclear, and transportation based embedded devices.
|
|
Verocel provides services for software verification. This includes development and review of plans and standards, development of tests, software structural coverage analyses, traceability, and outsource support for software verification activities.
|
