We specialize in...

• Safety-critical Software Development
• Commercial Software Development
• Independent Verification and Validation (IV&V)
  • Avionic Testing to FAA Standards (DO-178A, DO-178B, DO-178C)
  • Medical Device Testing and Development to FDA and MDR/CE Standards (IEC 62304, ISO 13485)
  • 510(k) Premarket Notifications

We have extensive experience with...

• Requirements management systems
• Many technologies including:
  • C/C++, C#, Assembly
  • Ada, LabVIEW, Perl, Python
  • SQL, Ruby, Qt
  • Freescale/NXP, ARM, Renesas 
  • WCF, WPF
  • Xamarin, Mono, XAML
  • Proprietary RTOS, Embedded Linux
  • Android, IOS
  • TCP-based protocols, CAN, Bluetooth
  • Many more
• Testing to strict FAA Guidelines and more
• Bare Metal Embedded Development
• Requirements-Based Testing and Development
• Black Box and White Box Testing
• Test Planning and Execution
• Discrepancy Resolution
• Project Coordination
• Tool Qualification
• Result Reporting

We are proficient with a wide variety of development and verification tools, including:

• CASTLES Automated Test Case Generator
• TCG/FORGER Automated Test Case Generator
• VectorCAST
• LDRA
• AdaTEST
• Rational Test RealTime
• Microtec XRAY Debugger
• Tartan Adascope Debugger
• XDADA 68000 Family Debugger
• Green Hills Multi Compiler/Debugger
• GDB Debugger
• Wind River SingleStep
• TRACE32 Simulator/Debugger
• MATLAB/Simulink
• Visual Studio
• Eclipse/Netbeans/Qt
• Many more