Galois Releases New Version of FRIGATE
Galois this week announced the release of FRIGATE version 0.3.0.
Galois’s FRIGATE program automates and formalizes safety assessments developed at NASA for the Space Launch System (SLS). This latest update provides formal single and redundant sensor coverage analysis.
Why is this an exciting change? In short, the process of evaluating a system design for sensor coverage used to be an arduous, manual task. FRIGATE 0.3.0 automates this task, and exhaustively searches for gaps in sensor coverage, literally checking every single possible system condition for sensor detection.
You can watch installation and demonstration videos on our YouTube channel by following the links below:
CAMET subscribers can download FRIGATE 0.3.0 HERE.