Using formal methods and agent-oriented software engineering for modeling NASA swarm-based systems

Christopher A. Rouff; Michael G. Hinchey; Joaquin Peña; Antonio Ruiz-Cortés

doi:10.1109/SIS.2007.367958

Using formal methods and agent-oriented software engineering for modeling NASA swarm-based systems

Christopher A. Rouff, Michael G. Hinchey, Joaquin Peña, Antonio Ruiz-Cortés

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

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 swarmsbased concept missions.

Original language	English
Title of host publication	Proceedings of the 2007 IEEE Swarm Intelligence Symposium, SIS 2007
Pages	348-355
Number of pages	8
DOIs	https://doi.org/10.1109/SIS.2007.367958
Publication status	Published - 2007
Externally published	Yes
Event	2007 IEEE Swarm Intelligence Symposium, SIS 2007 - Honolulu, HI, United States Duration: 1 Apr 2007 → 5 Apr 2007

Publication series

Name	Proceedings of the 2007 IEEE Swarm Intelligence Symposium, SIS 2007

Conference

Conference	2007 IEEE Swarm Intelligence Symposium, SIS 2007
Country/Territory	United States
City	Honolulu, HI
Period	1/04/07 → 5/04/07

Access to Document

10.1109/SIS.2007.367958

Cite this

Rouff, C. A., Hinchey, M. G., Peña, J., & Ruiz-Cortés, A. (2007). Using formal methods and agent-oriented software engineering for modeling NASA swarm-based systems. In Proceedings of the 2007 IEEE Swarm Intelligence Symposium, SIS 2007 (pp. 348-355). Article 4223195 (Proceedings of the 2007 IEEE Swarm Intelligence Symposium, SIS 2007). https://doi.org/10.1109/SIS.2007.367958

@inproceedings{105a8873cea14c9c8d2d2867e3350892,

title = "Using formal methods and agent-oriented software engineering for modeling NASA swarm-based systems",

abstract = "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 swarmsbased concept missions.",

author = "Rouff, {Christopher A.} and Hinchey, {Michael G.} and Joaquin Pe{\~n}a and Antonio Ruiz-Cort{\'e}s",

year = "2007",

doi = "10.1109/SIS.2007.367958",

language = "English",

isbn = "1424407087",

series = "Proceedings of the 2007 IEEE Swarm Intelligence Symposium, SIS 2007",

pages = "348--355",

booktitle = "Proceedings of the 2007 IEEE Swarm Intelligence Symposium, SIS 2007",

note = "2007 IEEE Swarm Intelligence Symposium, SIS 2007 ; Conference date: 01-04-2007 Through 05-04-2007",

}

Rouff, CA, Hinchey, MG, Peña, J & Ruiz-Cortés, A 2007, Using formal methods and agent-oriented software engineering for modeling NASA swarm-based systems. in Proceedings of the 2007 IEEE Swarm Intelligence Symposium, SIS 2007., 4223195, Proceedings of the 2007 IEEE Swarm Intelligence Symposium, SIS 2007, pp. 348-355, 2007 IEEE Swarm Intelligence Symposium, SIS 2007, Honolulu, HI, United States, 1/04/07. https://doi.org/10.1109/SIS.2007.367958

Using formal methods and agent-oriented software engineering for modeling NASA swarm-based systems. / Rouff, Christopher A.; Hinchey, Michael G.; Peña, Joaquin et al.
Proceedings of the 2007 IEEE Swarm Intelligence Symposium, SIS 2007. 2007. p. 348-355 4223195 (Proceedings of the 2007 IEEE Swarm Intelligence Symposium, SIS 2007).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Using formal methods and agent-oriented software engineering for modeling NASA swarm-based systems

AU - Rouff, Christopher A.

AU - Hinchey, Michael G.

AU - Peña, Joaquin

AU - Ruiz-Cortés, Antonio

PY - 2007

Y1 - 2007

N2 - 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 swarmsbased concept missions.

AB - 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 swarmsbased concept missions.

UR - http://www.scopus.com/inward/record.url?scp=34548741799&partnerID=8YFLogxK

U2 - 10.1109/SIS.2007.367958

DO - 10.1109/SIS.2007.367958

M3 - Conference contribution

AN - SCOPUS:34548741799

SN - 1424407087

SN - 9781424407088

T3 - Proceedings of the 2007 IEEE Swarm Intelligence Symposium, SIS 2007

SP - 348

EP - 355

BT - Proceedings of the 2007 IEEE Swarm Intelligence Symposium, SIS 2007

T2 - 2007 IEEE Swarm Intelligence Symposium, SIS 2007

Y2 - 1 April 2007 through 5 April 2007

ER -

Using formal methods and agent-oriented software engineering for modeling NASA swarm-based systems

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this