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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Asteasuain, Fernando, Acuña, Jorge, Machuca, Martín
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2024
Materias:
Ciencias Informáticas
satellite missions
behavioral specification
declarative specification
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/176487
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-176487
record_format dspace
spelling I19-R120-10915-1764872025-02-13T20:05:04Z http://sedici.unlp.edu.ar/handle/10915/176487 Easing the Behavior Specification for Satellite Missions Asteasuain, Fernando Acuña, Jorge Machuca, Martín 2024-10 2024 2025-02-13T17:16:58Z en Ciencias Informáticas satellite missions behavioral specification declarative specification 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. Red de Universidades con Carreras en Informática Objeto de conferencia Objeto de conferencia http://creativecommons.org/licenses/by-nc-sa/4.0/ Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) application/pdf 688-697
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
satellite missions
behavioral specification
declarative specification
spellingShingle Ciencias Informáticas
satellite missions
behavioral specification
declarative specification
Asteasuain, Fernando
Acuña, Jorge
Machuca, Martín
Easing the Behavior Specification for Satellite Missions
topic_facet Ciencias Informáticas
satellite missions
behavioral specification
declarative specification
description 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.
format Objeto de conferencia
Objeto de conferencia
author Asteasuain, Fernando
Acuña, Jorge
Machuca, Martín
author_facet Asteasuain, Fernando
Acuña, Jorge
Machuca, Martín
author_sort Asteasuain, Fernando
title Easing the Behavior Specification for Satellite Missions
title_short Easing the Behavior Specification for Satellite Missions
title_full Easing the Behavior Specification for Satellite Missions
title_fullStr Easing the Behavior Specification for Satellite Missions
title_full_unstemmed Easing the Behavior Specification for Satellite Missions
title_sort easing the behavior specification for satellite missions
publishDate 2024
url http://sedici.unlp.edu.ar/handle/10915/176487
work_keys_str_mv AT asteasuainfernando easingthebehaviorspecificationforsatellitemissions
AT acunajorge easingthebehaviorspecificationforsatellitemissions
AT machucamartin easingthebehaviorspecificationforsatellitemissions
_version_ 1845116788591820800

Ejemplares similares