Tag Archives: Mars
Demonstrating SPARK with a Mars Rover (Part 2): The Safety Property
Now, SPARK says that the first Loop Invariant, where “Cmd = Last_Cmd”, fails on the first iteration. Therefore, the if s...
Demonstrating SPARK with a Mars Rover (Part 1): Cyber-Physical Systems
Using Cyber-Physical SystemsCyber-physical systems are integrated solutions that combine computatio...
Artemis II: Building confidence in travel to Mars: Hamblen
NASA’s Artemis II mission is about amazing science and exploration around the Moon, but it is really ...