Easing the Behavior Specification for Satellite Missions
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 framew...
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Inglés |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/176487 |
| Aporte de: |
| Sumario: | 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. |
|---|