Case Study SAAB

2 Pages

The project at Saab Aerosystems involved re‑implementing the Stores Management Unit (SMU) for the JAS39 Gripen fighter aircraft, which controls the safe loading, release, and unloading of weapons. The software was rebuilt to the RTCA/DO‑178B Level A standard using Ada95, alongside a hardware upgrade. Due to the system’s safety‑critical nature, the Ravenscar profile was adopted to ensure reliable, restricted tasking. To satisfy strict testing demands, AdaTEST 95 was evaluated and chosen as the primary tool for verification activities.

Join for free to read

Case Study CAMERON GRAIN CASE STUDY

Case Study GPC Case Study

Case Study CPM Case Study

Case Study Granular Case Study

More from QA-Systems

Case Study Case Study ASTRIUM 1

Case Study Case Study Fast Focus

Case Study Case Study Lockheed Martin

Case Study Case Study AdaCore

Case Study

Case Study SAAB

Case Study SAAB

You Might Also Like

More from QA-Systems