EXPERTISE
Software Languages- ANSI / ISO C
- Ada 83
- Ada 95
- C++
- C#
- Assembly Languages
- Cantata and Cantata ++ from IPL, UK
- AdaTest from IPL, UK
- LDRA
- ATTOL
- Matlab / Simulink
- IDE - Multi 2000, TI Code Composer, Object Ada Raven, Keil, COSMIC, Code Warrior
- Microprocessors & Controllers - Motorola, Intel, TI C3X, Infineon
- RTRT
Certifications / Assessments
ISO 9001 : 2000 from UL Inc- AS 9100 Rev B from UL Inc
- SEI CMM Level 5 from KPMG India
Software Verification & Validation
AKS has tremendous experience in conduct of Independent Verification & Validation (IV&V) activities meeting RTCA / DO-178B Standards or Customer Standards.
- Early detection of errors by review and analysis of draft documents
- Assesment of verifiability of SW requirement to ensure robust design.
- Requirement-based Host and Target testing covering Black Box, White Box, Coverage Analysis
- Unit Testing on Host Platforms and System Specific Target Processors
- Software - Software Integration Testing
- Hardware-Software Integration Testing using Rigs
- Independent Reviews of all Deliverables obviating / reducing rework
- Systems Testing