The paper examines current trends in autonomic space software systems and proposes the adoption of a hierarchical state based formalism which allows the different paradigms employed in the field to meet seamlessly. It is not clear, for example, how goal- based on-board autonomy, originally conceived for deductive-flavored systems which may not be ground controlled for indefinite portions of time, be able to combine with model based engineering, which best fits current industrial design strategies. Other aspects, such as closed loop discrete control and fault tolerance do not easily lend themselves to modularity. The paper shows that, by employing the proposed formalism, goals can be decomposed and distributed in a very natural way among different modules. Each module is, at the same time, both a controller and a controllable part of the whole system, allowing to partition the closed loop control flow at different levels of complexity. Formal verification is also possible by employing goals as state based constraint in the implementation phase.

Part-Whole Hierarchical Modularization of Fault-Tolerant and Goal-Based Autonomic Systems / Pazzi, Luca; Pradelli, Marco. - ELETTRONICO. - (2009), pp. 175-180. (Intervento presentato al convegno DCDS’09 tenutosi a Bari, Italia nel 10-12 giugno 2009).

Part-Whole Hierarchical Modularization of Fault-Tolerant and Goal-Based Autonomic Systems

PAZZI, Luca;PRADELLI, Marco
2009

Abstract

The paper examines current trends in autonomic space software systems and proposes the adoption of a hierarchical state based formalism which allows the different paradigms employed in the field to meet seamlessly. It is not clear, for example, how goal- based on-board autonomy, originally conceived for deductive-flavored systems which may not be ground controlled for indefinite portions of time, be able to combine with model based engineering, which best fits current industrial design strategies. Other aspects, such as closed loop discrete control and fault tolerance do not easily lend themselves to modularity. The paper shows that, by employing the proposed formalism, goals can be decomposed and distributed in a very natural way among different modules. Each module is, at the same time, both a controller and a controllable part of the whole system, allowing to partition the closed loop control flow at different levels of complexity. Formal verification is also possible by employing goals as state based constraint in the implementation phase.
2009
DCDS’09
Bari, Italia
10-12 giugno 2009
175
180
Pazzi, Luca; Pradelli, Marco
Part-Whole Hierarchical Modularization of Fault-Tolerant and Goal-Based Autonomic Systems / Pazzi, Luca; Pradelli, Marco. - ELETTRONICO. - (2009), pp. 175-180. (Intervento presentato al convegno DCDS’09 tenutosi a Bari, Italia nel 10-12 giugno 2009).
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

Licenza Creative Commons
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11380/620458
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
social impact