SiriusCon 2018: How NASA is using Sirius to develop Safety Cases

The Robust Software Engineering group , based in the Intelligent Systems Division at NASA's Ames Research Center at Moffett Field, California, is working to increase the reliability and robustness of NASA's mission related software, and the productivity of its software engineering. The technology developed by this group is applied to NASA projects involved with Space and Aeronautics. At SiriusCon ...