Speaker
Mr
Marcin Darmetko
(Centrum Badan Kosmicznych PAN (Space Research Centre))
Description
Verification of a space project is a complex and time-consuming task due to requirements for high reliability and extensive documentation. Unexpected changes to design are likely to happen in scientific projects, often forcing the whole process to be repeated. Because of these reasons, automation is highly desirable in space FPGA development.
The aim of the presentation is to show that automation of verification process can be worthwhile and cost-effective to implement even for small teams. It will include examples of solutions created and successfully used by the Space Research Centre team during development of STIX instrument for Solar Orbiter mission. Presentation describes the flow from requirements definition, through simulation and tests, up to documentation of results. The talk goes into the details of used software, including those created in-house. Lessons learned from the verification process will also be shown. The presented approach was created to be in compliance with ECSS-Q-ST-60-02C, although it can be adapted to other standards.
Summary
Presentation describes an ECSS-Q-ST-60-02C compliant space FPGA verification flow including details on automation solutions and lessons learned from application in a scientific project.
Primary author
Mr
Marcin Darmetko
(Centrum Badan Kosmicznych PAN (Space Research Centre))
