Easing the Behavior Specification for Satellite Missions

Abstract

In this work we present an approach to ease the behavioral specification of nano-satellite missions. This is achieved by employing declarative specification patterns. These patterns, although being designed for robotic missions, suit perfectly in the satellite industry domain. Our declarative framework FVS is expressive enough to model all the specification patterns and we validate our claims developing a gripping case of study consisting of a complete and thorough document describing the expected behavior of a nano-satellite mission.