Our talented hardware engineering professionals have provided technical complex electro-optical systems (based on canned GPS/INS (EGI)) playback via the aircraft MIL-STD-1553B Bus emulator) expertise in developing verification strategies, interpreting and verifying requirements to support formal qualification and acceptance testing of systems by Government Witnesses. Multi-core application with C/Ada programming interfaces.

Embedded Military/Avionics-Ada, Military Std’s: DO-254, DO-229D, DO-160E, MSO-C145b (Military Standard Order), MIL-STD-498, MIL-STD-1553B Bus emulator, IEC61508, and MISRA C/C++ 2008.


Embedded systems integration for military systems to meet the specific needs and demands of the customer’s application – testing and verification/validation – white box, black box, subsystem, and system integration.


Embedded real-time locomotive-centric software for the National Positive Train Control (PTC) System hosted on Linux platform – testing and verification/validation.


Real-time embedded locomotive-centric Incremental Train Control System (ITCS) software in C/C++ for 68K and/or Coldfire microprocessors using the Green Hills GHS) Multi-2000 IDE targeting Integrity and uC/OS RTOS locomotives – testing and verification/validation conducted for active systems.


Embedded hardware integration effort focus was C++ object-oriented programming for an embedded Beijer HMI (Human Machine Interface) device associated with autonomous TTI Truck Platooning Project. Integration efforts were performed as black box functionality testing.


Embedded hardware detailed test hardware/software verification with pre-production hardware-in-the-loop (HWIL) for Missile and Fire Control – testing and verification/validation.


Embedded Military/Avionics software life cycle development and hardware/software verification for mission critical and functional safety systems - conducted with hardware in the loop (HWIL).