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