Software verification of autonomic systems developed with ASSL

Emil Vassev; Mike Hinchey

doi:10.1007/978-3-642-21292-5_1

Software verification of autonomic systems developed with ASSL

Emil Vassev, Mike Hinchey

University of Limerick

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

Abstract

We discuss our experiences in building tools for software verification of autonomic systems developed with the Autonomic System Specification Language (ASSL). ASSL is a software framework that aims to assist developers of autonomic systems by providing a powerful combination of both notation and tools. One of the major objectives of the framework is to assure the correctness of the autonomic systems via inclusion of tools targeting consistency checking, model checking, and automatic test case generation. In this paper, we review our recent work on these tools.

Original language	English
Title of host publication	Foundations of Computer Software
Subtitle of host publication	Modeling, Development, and Verification of Adaptive Systems - 16th Monterey Workshop 2010, Revised Selected Papers
Pages	1-16
Number of pages	16
DOIs	https://doi.org/10.1007/978-3-642-21292-5_1
Publication status	Published - 2011
Event	16th Monterey Workshop 2010 on Foundations of Computer Software: Modeling, Development, and Verification of Adaptive Systems - Redmond, WA, United States Duration: 31 Mar 2010 → 2 Apr 2010

Publication series

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

Conference

Conference	16th Monterey Workshop 2010 on Foundations of Computer Software: Modeling, Development, and Verification of Adaptive Systems
Country/Territory	United States
City	Redmond, WA
Period	31/03/10 → 2/04/10

Keywords

ASSL
autonomic computing
formal methods
software verification

Access to Document

10.1007/978-3-642-21292-5_1

Cite this

Vassev, E., & Hinchey, M. (2011). Software verification of autonomic systems developed with ASSL. In Foundations of Computer Software: Modeling, Development, and Verification of Adaptive Systems - 16th Monterey Workshop 2010, Revised Selected Papers (pp. 1-16). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6662 LNCS). https://doi.org/10.1007/978-3-642-21292-5_1

Vassev, Emil ; Hinchey, Mike. / Software verification of autonomic systems developed with ASSL. Foundations of Computer Software: Modeling, Development, and Verification of Adaptive Systems - 16th Monterey Workshop 2010, Revised Selected Papers. 2011. pp. 1-16 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{93056d43435b4d2eb66c1aed8648d84f,

title = "Software verification of autonomic systems developed with ASSL",

abstract = "We discuss our experiences in building tools for software verification of autonomic systems developed with the Autonomic System Specification Language (ASSL). ASSL is a software framework that aims to assist developers of autonomic systems by providing a powerful combination of both notation and tools. One of the major objectives of the framework is to assure the correctness of the autonomic systems via inclusion of tools targeting consistency checking, model checking, and automatic test case generation. In this paper, we review our recent work on these tools.",

keywords = "ASSL, autonomic computing, formal methods, software verification",

author = "Emil Vassev and Mike Hinchey",

year = "2011",

doi = "10.1007/978-3-642-21292-5_1",

language = "English",

isbn = "9783642212918",

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

pages = "1--16",

booktitle = "Foundations of Computer Software",

note = "16th Monterey Workshop 2010 on Foundations of Computer Software: Modeling, Development, and Verification of Adaptive Systems ; Conference date: 31-03-2010 Through 02-04-2010",

}

Vassev, E & Hinchey, M 2011, Software verification of autonomic systems developed with ASSL. in Foundations of Computer Software: Modeling, Development, and Verification of Adaptive Systems - 16th Monterey Workshop 2010, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6662 LNCS, pp. 1-16, 16th Monterey Workshop 2010 on Foundations of Computer Software: Modeling, Development, and Verification of Adaptive Systems, Redmond, WA, United States, 31/03/10. https://doi.org/10.1007/978-3-642-21292-5_1

Software verification of autonomic systems developed with ASSL. / Vassev, Emil; Hinchey, Mike.
Foundations of Computer Software: Modeling, Development, and Verification of Adaptive Systems - 16th Monterey Workshop 2010, Revised Selected Papers. 2011. p. 1-16 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6662 LNCS).

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

TY - GEN

T1 - Software verification of autonomic systems developed with ASSL

AU - Vassev, Emil

AU - Hinchey, Mike

PY - 2011

Y1 - 2011

N2 - We discuss our experiences in building tools for software verification of autonomic systems developed with the Autonomic System Specification Language (ASSL). ASSL is a software framework that aims to assist developers of autonomic systems by providing a powerful combination of both notation and tools. One of the major objectives of the framework is to assure the correctness of the autonomic systems via inclusion of tools targeting consistency checking, model checking, and automatic test case generation. In this paper, we review our recent work on these tools.

AB - We discuss our experiences in building tools for software verification of autonomic systems developed with the Autonomic System Specification Language (ASSL). ASSL is a software framework that aims to assist developers of autonomic systems by providing a powerful combination of both notation and tools. One of the major objectives of the framework is to assure the correctness of the autonomic systems via inclusion of tools targeting consistency checking, model checking, and automatic test case generation. In this paper, we review our recent work on these tools.

KW - ASSL

KW - autonomic computing

KW - formal methods

KW - software verification

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

U2 - 10.1007/978-3-642-21292-5_1

DO - 10.1007/978-3-642-21292-5_1

M3 - Conference contribution

AN - SCOPUS:79960026359

SN - 9783642212918

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

SP - 1

EP - 16

BT - Foundations of Computer Software

T2 - 16th Monterey Workshop 2010 on Foundations of Computer Software: Modeling, Development, and Verification of Adaptive Systems

Y2 - 31 March 2010 through 2 April 2010

ER -

Vassev E, Hinchey M. Software verification of autonomic systems developed with ASSL. In Foundations of Computer Software: Modeling, Development, and Verification of Adaptive Systems - 16th Monterey Workshop 2010, Revised Selected Papers. 2011. p. 1-16. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-21292-5_1

Software verification of autonomic systems developed with ASSL

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this