dc.creator | Rouff, Christopher A. | es |
dc.creator | Hinchey, Michael G. | es |
dc.creator | Peña Siles, Joaquín | es |
dc.creator | Ruiz Cortés, Antonio | es |
dc.date.accessioned | 2023-04-20T10:39:05Z | |
dc.date.available | 2023-04-20T10:39:05Z | |
dc.date.issued | 2007-04 | |
dc.identifier.citation | Rouff, C.A., Hinchey, M.G., Peña Siles, J. y Ruiz Cortés, A. (2007). Using Formal Methods and Agent-Oriented Software Engineering for Modeling NASA Swarm-Based Systems. En SIS 2007: IEEE Swarm Intelligence Symposium Honolulu, USA: IEEE. | |
dc.identifier.isbn | 1-4244-0708-7 (impreso) | es |
dc.identifier.uri | https://hdl.handle.net/11441/144696 | |
dc.description.abstract | NASA is conducting research on advanced technologies for future exploration using intelligent swarms of robotic vehicles. One of these missions is the Autonomous NanoTechnology 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, andformal methods. In this paper; we report on the main advances we have made towards modeling, implementing, and testing NASA swarmsbased concept missions. | es |
dc.description.sponsorship | Ministerio de Ciencia y Tecnología TIC2003-02737-C02-01 | es |
dc.description.sponsorship | Ministerio de Ciencia y Tecnología TIN2006-00472 | es |
dc.format | application/pdf | es |
dc.format.extent | 8 | es |
dc.language.iso | eng | es |
dc.publisher | IEEE | es |
dc.relation.ispartof | SIS 2007: IEEE Swarm Intelligence Symposium (2007). | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.title | Using Formal Methods and Agent-Oriented Software Engineering for Modeling NASA Swarm-Based Systems | es |
dc.type | info:eu-repo/semantics/conferenceObject | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/publishedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos | es |
dc.relation.projectID | TIC2003-02737-C02-01 | es |
dc.relation.projectID | TIN2006-00472 | es |
dc.relation.publisherversion | https://ieeexplore.ieee.org/document/4223195 | es |
dc.identifier.doi | 10.1109/SIS.2007.367958 | es |
dc.eventtitle | SIS 2007: IEEE Swarm Intelligence Symposium | es |
dc.eventinstitution | Honolulu, USA | es |
dc.contributor.funder | Ministerio de Ciencia Y Tecnología (MCYT). España | es |