An Evaluation study of the effectiveness of modeling NASA swarm-based exploration missions with ASSL

Mike Hinchey; Emil Vassev

doi:10.1007/978-3-540-69295-9_26

An Evaluation study of the effectiveness of modeling NASA swarm-based exploration missions with ASSL

Mike Hinchey, Emil Vassev

Department of Computer Science & Information Systems

Concordia University

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

Abstract

We assess the effectiveness of using the Autonomic System Specification Language (ASSL) to model ANTS (Autonomous Nano-Technology Swarm), a NASA concept swarm-based exploration mission. In this study, we draw upon our preliminary results of modeling some of the autonomic features of ANTS, to discuss and evaluate the advantages and shortcomings of this approach. Moreover, this paper, which documents the results of that study, identifies challenges and aspects of ANTS that cannot be modeled with ASSL. Therefore, an important contribution of this study is a critical analysis of ASSL as a specification language designed specifically for autonomic systems.

Original language	English
Title of host publication	Autonomic and Trusted Computing - 5th International Conference, ATC 2008, Proceedings
Pages	316-330
Number of pages	15
DOIs	https://doi.org/10.1007/978-3-540-69295-9_26
Publication status	Published - 2008
Event	5th International Conference on Autonomic and Trusted Computing, ATC 2008 - Oslo, Norway Duration: 23 Jun 2008 → 25 Jun 2008

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	5060 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	5th International Conference on Autonomic and Trusted Computing, ATC 2008
Country/Territory	Norway
City	Oslo
Period	23/06/08 → 25/06/08

Keywords

Autonomic computing
Specification language
System modeling

Access to Document

10.1007/978-3-540-69295-9_26

Cite this

Hinchey, M., & Vassev, E. (2008). An Evaluation study of the effectiveness of modeling NASA swarm-based exploration missions with ASSL. In Autonomic and Trusted Computing - 5th International Conference, ATC 2008, Proceedings (pp. 316-330). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5060 LNCS). https://doi.org/10.1007/978-3-540-69295-9_26

Hinchey, Mike ; Vassev, Emil. / An Evaluation study of the effectiveness of modeling NASA swarm-based exploration missions with ASSL. Autonomic and Trusted Computing - 5th International Conference, ATC 2008, Proceedings. 2008. pp. 316-330 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{674c9e6b199e4210ab54135456ca4680,

title = "An Evaluation study of the effectiveness of modeling NASA swarm-based exploration missions with ASSL",

abstract = "We assess the effectiveness of using the Autonomic System Specification Language (ASSL) to model ANTS (Autonomous Nano-Technology Swarm), a NASA concept swarm-based exploration mission. In this study, we draw upon our preliminary results of modeling some of the autonomic features of ANTS, to discuss and evaluate the advantages and shortcomings of this approach. Moreover, this paper, which documents the results of that study, identifies challenges and aspects of ANTS that cannot be modeled with ASSL. Therefore, an important contribution of this study is a critical analysis of ASSL as a specification language designed specifically for autonomic systems.",

keywords = "Autonomic computing, Specification language, System modeling",

author = "Mike Hinchey and Emil Vassev",

year = "2008",

doi = "10.1007/978-3-540-69295-9_26",

language = "English",

isbn = "3540692940",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "316--330",

booktitle = "Autonomic and Trusted Computing - 5th International Conference, ATC 2008, Proceedings",

note = "5th International Conference on Autonomic and Trusted Computing, ATC 2008 ; Conference date: 23-06-2008 Through 25-06-2008",

}

Hinchey, M & Vassev, E 2008, An Evaluation study of the effectiveness of modeling NASA swarm-based exploration missions with ASSL. in Autonomic and Trusted Computing - 5th International Conference, ATC 2008, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5060 LNCS, pp. 316-330, 5th International Conference on Autonomic and Trusted Computing, ATC 2008, Oslo, Norway, 23/06/08. https://doi.org/10.1007/978-3-540-69295-9_26

An Evaluation study of the effectiveness of modeling NASA swarm-based exploration missions with ASSL. / Hinchey, Mike; Vassev, Emil.
Autonomic and Trusted Computing - 5th International Conference, ATC 2008, Proceedings. 2008. p. 316-330 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5060 LNCS).

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

TY - GEN

T1 - An Evaluation study of the effectiveness of modeling NASA swarm-based exploration missions with ASSL

AU - Hinchey, Mike

AU - Vassev, Emil

PY - 2008

Y1 - 2008

N2 - We assess the effectiveness of using the Autonomic System Specification Language (ASSL) to model ANTS (Autonomous Nano-Technology Swarm), a NASA concept swarm-based exploration mission. In this study, we draw upon our preliminary results of modeling some of the autonomic features of ANTS, to discuss and evaluate the advantages and shortcomings of this approach. Moreover, this paper, which documents the results of that study, identifies challenges and aspects of ANTS that cannot be modeled with ASSL. Therefore, an important contribution of this study is a critical analysis of ASSL as a specification language designed specifically for autonomic systems.

AB - We assess the effectiveness of using the Autonomic System Specification Language (ASSL) to model ANTS (Autonomous Nano-Technology Swarm), a NASA concept swarm-based exploration mission. In this study, we draw upon our preliminary results of modeling some of the autonomic features of ANTS, to discuss and evaluate the advantages and shortcomings of this approach. Moreover, this paper, which documents the results of that study, identifies challenges and aspects of ANTS that cannot be modeled with ASSL. Therefore, an important contribution of this study is a critical analysis of ASSL as a specification language designed specifically for autonomic systems.

KW - Autonomic computing

KW - Specification language

KW - System modeling

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

U2 - 10.1007/978-3-540-69295-9_26

DO - 10.1007/978-3-540-69295-9_26

M3 - Conference contribution

AN - SCOPUS:48249127190

SN - 3540692940

SN - 9783540692942

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 316

EP - 330

BT - Autonomic and Trusted Computing - 5th International Conference, ATC 2008, Proceedings

T2 - 5th International Conference on Autonomic and Trusted Computing, ATC 2008

Y2 - 23 June 2008 through 25 June 2008

ER -

Hinchey M, Vassev E. An Evaluation study of the effectiveness of modeling NASA swarm-based exploration missions with ASSL. In Autonomic and Trusted Computing - 5th International Conference, ATC 2008, Proceedings. 2008. p. 316-330. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-69295-9_26

An Evaluation study of the effectiveness of modeling NASA swarm-based exploration missions with ASSL

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this