Using Formal Methods and Agent-Oriented Software Engineering for Modeling NASA Swarm-Based Systems

NASA is conducting research on advanced technologies for future exploration using intelligent swarms of robotic vehicles. One of these missions is the Autonomous Nano Technology Swarm (ANTS) mission that will explore the asteroid belt using 1,000 cooperative autonomous spacecraft. From an engineerin...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:2007 IEEE Swarm Intelligence Symposium : Honolulu, HI, 1-5 April 2007 s. 348 - 355
Hlavní autoři: Rouff, C.A., Hinchey, M.G., Pena, J., Ruiz-Cortes, A.
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: IEEE 01.04.2007
Témata:
Belts
Intelligent robots
Intelligent vehicles
NASA
Orbital robotics
Particle swarm optimization
Remotely operated vehicles
Software engineering
Space technology
Space vehicles
ISBN:9781424407088, 1424407087
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:NASA is conducting research on advanced technologies for future exploration using intelligent swarms of robotic vehicles. One of these missions is the Autonomous Nano Technology Swarm (ANTS) mission that will explore the asteroid belt using 1,000 cooperative autonomous spacecraft. From an engineering point of view, the complexity and emergent behavior of this kind of system is one of the main challenges that has to be overcome, since it makes the behavior of the swarm unpredictable. In NASA, many approaches are being explored towards this goal, mainly, a tailored software engineering approach, called agent-oriented software engineering, and formal methods. In this paper, we report on the main advances we have made towards modeling, implementing, and testing NASA swarms-based concept missions
ISBN:9781424407088
1424407087
DOI:10.1109/SIS.2007.367958