SAAB and the Stores Management Unit (SMU) for the JAS39 Gripen Fighter Case Study
Saab Aerosystems re-implemented the Stores Management Unit (SMU) for the JAS39 Gripen fighter aircraft. They used AdaTEST 95 for testing, following the RTCA/DO-178B standard at criticality level A. The Ravenscar profile of Ada95 was adopted for safety. Testing was done on both the development platform and the target, with low-level testing on the target and integration testing using intelligent stubs. AdaTEST 95’s automation capabilities and test-on-demand feature increased productivity. The automated test system proved valuable during a compiler upgrade, completing regression testing in three hours. Overall, AdaTEST 95 facilitated efficient and reliable testing of the SMU.