Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 TASK Quarterly : scientific bulletin of Academic Computer Centre in Gdansk

1 2021

Powiadomienia systemowe

Sesja wygasła!

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Prototyping Self-healing Behavior for NASA Swarm-based Systems with ASSL

Vassev Emil, Hinchey Mike

TASK Quarterly : scientific bulletin of Academic Computer Centre in Gdansk

2021

Vol. 25, No 2

203--231

Autonomic computing promises computer systems capable of self-management, which augurs great promise for unmanned spacecraft. Such spacecraft are extremely appropriate for deep space exploration missions because the former bring onboard intelligence and less reliance on control links. The Autonomic System Specification Language (ASSL) is a framework for developing autonomic systems. As part of our research on ASSL, we have successfully specified autonomic properties, verified their consistency, and generated implementation for both the NASA ANTS (Autonomous Nano-Technology Swarm) concept mission and the NASA Voyager mission. This paper presents concrete results on the use of ASSL to develop a self-healing behavior model for NASA ANTS swarm-based exploration missions. Here, we present specification and implementation results. Moreover, we experiment with the ASSL-generated code to demonstrate that the implemented ANTS system is capable of self-management in respect of the specified self-healing model.