Properties of a formal method for prediction of emergent behaviors in swarm-based systems
Autonomous intelligent swarms of satellites are being proposed for NASA missions that have complex behaviors and interactions. The emergent properties of swarms make these missions powerful, but at the same time more difficult to design and assure that proper behaviors will emerge. This paper gives...
Saved in:
Published in | Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004 pp. 24 - 33 |
---|---|
Main Authors | , , , , |
Format | Conference Proceeding |
Language | English |
Published |
IEEE
2004
|
Subjects | |
Online Access | Get full text |
Cover
Loading…
Abstract | Autonomous intelligent swarms of satellites are being proposed for NASA missions that have complex behaviors and interactions. The emergent properties of swarms make these missions powerful, but at the same time more difficult to design and assure that proper behaviors will emerge. This paper gives the results of research into formal methods techniques for verification and validation of NASA swarm-based missions. Multiple formal methods were evaluated to determine their effectiveness in modeling and assuring the behavior of swarms of spacecraft. The NASA ANTS mission was used as an example of swarm intelligence for which to apply the formal methods. This paper will give the evaluation of these formal methods and give partial specifications of the ANTS mission using four selected methods. We then give an evaluation of the methods and the needed properties of a formal method for effective specification and prediction of emergent behavior in swarm-based systems. |
---|---|
AbstractList | Autonomous intelligent swarms of satellites are being proposed for NASA missions that have complex behaviors and interactions. The emergent properties of swarms make these missions powerful, but at the same time more difficult to design and assure that proper behaviors will emerge. This paper gives the results of research into formal methods techniques for verification and validation of NASA swarm-based missions. Multiple formal methods were evaluated to determine their effectiveness in modeling and assuring the behavior of swarms of spacecraft. The NASA ANTS mission was used as an example of swarm intelligence for which to apply the formal methods. This paper will give the evaluation of these formal methods and give partial specifications of the ANTS mission using four selected methods. We then give an evaluation of the methods and the needed properties of a formal method for effective specification and prediction of emergent behavior in swarm-based systems. |
Author | Rouff, C. Rash, J. Vanderbilt, A. Hinchey, M. Truszkowski, W. |
Author_xml | – sequence: 1 givenname: C. surname: Rouff fullname: Rouff, C. – sequence: 2 givenname: A. surname: Vanderbilt fullname: Vanderbilt, A. – sequence: 3 givenname: M. surname: Hinchey fullname: Hinchey, M. – sequence: 4 givenname: W. surname: Truszkowski fullname: Truszkowski, W. – sequence: 5 givenname: J. surname: Rash fullname: Rash, J. |
BookMark | eNotkM1KAzEYRQMqqHUeQNzkBWbMz2SSLKW0VqgoqAtXJZn5YiPNZEiC0re3xZ7N5cLhLu41Oh_jCAjdUtJQSvT922L53DBC2obyVgpCzlClpSKy04IdkJeoyvmbHBBCKSqu0OdrihOk4iHj6LDBLqZgdjhA2cbh2PCUYPB98XE8GhAgfcFYsIWt-fExZexHnH9NCrU1GQac97lAyDfowpldhuqUM_SxXLzPV_X65fFp_rCuPaOq1NZR3glptRi0UQPtgbUt404yzoXixkqqCThq2p4ZB3wA1Trb9WA5E470fIbu_nc9AGym5INJ-83pAP4HkfpUGA |
ContentType | Conference Proceeding |
DBID | 6IE 6IL CBEJK RIE RIL |
DOI | 10.1109/SEFM.2004.1347500 |
DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume IEEE Xplore All Conference Proceedings IEEE Xplore IEEE Proceedings Order Plans (POP All) 1998-Present |
DatabaseTitleList | |
Database_xml | – sequence: 1 dbid: RIE name: IEEE Xplore url: https://proxy.k.utb.cz/login?url=https://ieeexplore.ieee.org/ sourceTypes: Publisher |
DeliveryMethod | fulltext_linktorsrc |
EndPage | 33 |
ExternalDocumentID | 1347500 |
Genre | orig-research |
GroupedDBID | 6IE 6IK 6IL AAJGR AAVQY ALMA_UNASSIGNED_HOLDINGS BEFXN BFFAM BGNUA BKEBE BPEOZ CBEJK IERZE OCL RIB RIC RIE RIL |
ID | FETCH-LOGICAL-i218t-bf13657b95d9a8d1ce24423f7233583ab7190ef1a4c2afe3de84fb6ceb325f0c3 |
IEDL.DBID | RIE |
ISBN | 9780769522227 076952222X |
IngestDate | Wed Jun 26 19:26:19 EDT 2024 |
IsDoiOpenAccess | false |
IsOpenAccess | true |
IsPeerReviewed | false |
IsScholarly | false |
Language | English |
LinkModel | DirectLink |
MergedId | FETCHMERGED-LOGICAL-i218t-bf13657b95d9a8d1ce24423f7233583ab7190ef1a4c2afe3de84fb6ceb325f0c3 |
OpenAccessLink | https://ntrs.nasa.gov/api/citations/20040171399/downloads/20040171399.pdf |
PageCount | 10 |
ParticipantIDs | ieee_primary_1347500 |
PublicationCentury | 2000 |
PublicationDate | 20040000 |
PublicationDateYYYYMMDD | 2004-01-01 |
PublicationDate_xml | – year: 2004 text: 20040000 |
PublicationDecade | 2000 |
PublicationTitle | Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004 |
PublicationTitleAbbrev | SEFM |
PublicationYear | 2004 |
Publisher | IEEE |
Publisher_xml | – name: IEEE |
SSID | ssj0000558815 |
Score | 1.4444816 |
Snippet | Autonomous intelligent swarms of satellites are being proposed for NASA missions that have complex behaviors and interactions. The emergent properties of... |
SourceID | ieee |
SourceType | Publisher |
StartPage | 24 |
SubjectTerms | Bandwidth Earth Error correction Formal specifications Intelligent agent NASA Particle swarm optimization Satellites Space technology Space vehicles |
Title | Properties of a formal method for prediction of emergent behaviors in swarm-based systems |
URI | https://ieeexplore.ieee.org/document/1347500 |
hasFullText | 1 |
inHoldings | 1 |
isFullTextHit | |
isPrint | |
link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1NS8MwGA5zJ08qm_hNDh5t13yt6Vk2hjAZ6GCeRpImMNRudB2Cv968TTtRPHhLQikhgTzv1_O8CN3y1Nv8XIHGvkoizh2PJOcsSjTzAKMNMRrYyNPH4WTOHxZi0UF3ey6MtbYuPrMxDOtcfr42OwiVDYD2KBLvoB_IhAau1j6ekgghJRHBM8-8VUFpK7DTztMmq0mSbPA0Gk9r7zBufvqju0oNLuMjNG23FWpKXuNdpWPz-Uux8b_7Pkb9bxofnu0B6gR1bNFDLzMIv5ego4rXDitcW61vOLSShhnelJC9gRuDL2wgaFa4ZfRv8arA2w9VvkeAgTkOatDbPpqPR8_3k6jprxCtPLBXkXZQ45bqTOSZkjkx1mM9ZS6ljAnJlE69tWAdUdxQ5SzLreROD433v6lwiWGnqFusC3uGcMoFM2AqsYxw7R8Fm5mcWWeEHGqi6DnqwbEsN0FCY9mcyMXfy5foMBTIQKTjCnWrcmevPfZX-qa-9C-QbKrU |
link.rule.ids | 310,311,786,790,795,796,802,4069,4070,27958,55109 |
linkProvider | IEEE |
linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV3NT4MwHG2WedCTms34bQ8ehQFtB5zNlqljWeKWzNPSljZZVFgYi4l_vf1RmNF48EYJkKYQ3vt9vFeEbmloOD_l4LHPPYdSTZ2IUuJ4ghiAEdKXAtTIyaQ_mtPHBVu00N1OC6OUqprPlAuHVS0_zeUWUmU9kD0yzwToewbnvdiqtXYZFY-xKPKZjc1jwyuCoLHYacZhXdc0N_eeB8Okig_d-rE_9lep4GV4iJJmYrar5NXdlsKVn788G_878yPU_Rby4ekOoo5RS2Ud9DKFBHwBTqo415jjire-YbuZNIzwuoD6DbwzuEJZiWaJG03_Bq8yvPngxbsDKJhi6we96aL5cDC7Hzn1DgvOykB76QgNXW6hiFka8yj1pTJoHxAdBoSwiHARGr6gtM-pDLhWJFUR1aIvTQQeMO1JcoLaWZ6pU4RDyogEskRinwrzW1CxTInSkkV94fPgDHVgWZZra6KxrFfk_O_TN2h_NEvGy_HD5OkCHdh2Gch7XKJ2WWzVlWECpbiuPoAvx3CuKg |
openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Proceedings+of+the+Second+International+Conference+on+Software+Engineering+and+Formal+Methods%2C+2004.+SEFM+2004&rft.atitle=Properties+of+a+formal+method+for+prediction+of+emergent+behaviors+in+swarm-based+systems&rft.au=Rouff%2C+C.&rft.au=Vanderbilt%2C+A.&rft.au=Hinchey%2C+M.&rft.au=Truszkowski%2C+W.&rft.date=2004-01-01&rft.pub=IEEE&rft.isbn=9780769522227&rft.spage=24&rft.epage=33&rft_id=info:doi/10.1109%2FSEFM.2004.1347500&rft.externalDocID=1347500 |
thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780769522227/lc.gif&client=summon&freeimage=true |
thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780769522227/mc.gif&client=summon&freeimage=true |
thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780769522227/sc.gif&client=summon&freeimage=true |