Improving Aerospace Software Assurance (IMPASA)
Lead Participant:
RAPITA SYSTEMS LIMITED
Abstract
IMPASA will reduce the cost of _development and testing_ of new safety critical aerospace software through the two new technologies for verification and automatic review of software source code.
IMPASA supports the continued safety of air travel as airborne software continues to grow in complexity and importance.
IMPASA supports the continued safety of air travel as airborne software continues to grow in complexity and importance.
Lead Participant | Project Cost | Grant Offer |
---|---|---|
RAPITA SYSTEMS LIMITED | £210,000 | £ 147,000 |
  | ||
Participant |
||
CAPGEMINI UK PLC | £90,000 | £ 45,000 |
People |
ORCID iD |
Ran Bi (Project Manager) |