Uploadable Executable Specification Concept for Spacecraft Autonomy Systems

Cancro, George J.; Innanen, W.; Turner, Russell James; Monaco, Christopher C.; Trela, Michael D.

doi:10.1109/aero.2007.352802

Cited by 8 publications

(2 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It has been improved step by step, with MTG/OCL providing the most evolved language features so far. Besides providing robustness against spacecraft environment changes (and therefore a high level of reliability) and flexibility in implementing autonomous functional & operational procedures, OCL features and the OBCP interpreter can pave the way for uploadable executable specification techniques [10], which can reduce the gap between concepts that reside in the mind of system engineers and what is actually implemented in the SW.…”

Section: Ocl and Obcp Interpretermentioning

confidence: 99%

Spacecraft autonomy and reliability in MTG satellite via On-board Control Procedures

Tipaldi¹,

Ferraguto

Ogando

et al. 2015

2015 IEEE Metrology for Aerospace (MetroAeroSpace)

View full text Add to dashboard Cite

On-board Control Procedures (OBCPs) provide a useful mean to implement functional as well as operational flight procedures (e.g. payload switch-on/switch-off and spacecraft mode management) which can be modified, if necessary, even during the mission itself. This paper addresses the OBCP implementation in Meteosat Third Generation (MTG) satellite, where OBCPs are written in a specific language called On-board Command Language (OCL) and executed by a virtual machine installed into the spacecraft on-board SW. Before being uploaded, OBCPs are implemented and tested on ground by means of a dedicated OBCP development environment. Thanks to the OCL features and OBCP operational approach, OBCP usage can help in raising spacecraft robustness against environmental changes, reliability and autonomy capabilities.Keywords-On-board control procedure (OBCP); spacecraft autonomy; spacecraft reliability; on-board virtual machine.

show abstract

Section: Ocl and Obcp Interpretermentioning

confidence: 99%

Spacecraft autonomy and reliability in MTG satellite via On-board Control Procedures

Tipaldi¹,

Ferraguto

Ogando

et al. 2015

2015 IEEE Metrology for Aerospace (MetroAeroSpace)

View full text Add to dashboard Cite

show abstract

“…Thus an executable specification concept was introduced and becomes more and more popular in different applications and forms f.e. [12], [13]. The whole Alvis project is a part of that conception.…”

Section: Avm Design and Operationmentioning

confidence: 99%

Alvis Virtual Machine

Matyasik

2014

Annals of Computer Science and Information Systems

View full text Add to dashboard Cite

Alvis is a formal modelling language. It combines graphical modelling of communication schema and a high level programming language to describe behaviour of individual system entities. An Alvis model can be verified formally by using methods based on a system state space. The paper presents the design and the command list of the Alvis Virtual Machine. The aim of the project is to provide an execution environment for Alvis language. Moreover, one of the goals is to allow different hardware units to run Alvis models. Thus, a virtual machine was chosen as a solution.

show abstract

Hardware autonomy and space systems

Steiner

Athanas

2009

2009 IEEE Aerospace Conference

View full text Add to dashboard Cite

Uploadable Executable Specification Concept for Spacecraft Autonomy Systems

Cited by 8 publications

References 13 publications

Spacecraft autonomy and reliability in MTG satellite via On-board Control Procedures

Spacecraft autonomy and reliability in MTG satellite via On-board Control Procedures

Alvis Virtual Machine

Hardware autonomy and space systems

Contact Info

Product

Resources

About