University of Limerick Institutional Repository

Software verification of autonomic systems developed with ASSL

DSpace Repository

Show simple item record

dc.contributor.author Vassev, Emil
dc.contributor.author Hinchey, Mike
dc.date.accessioned 2012-01-09T13:11:51Z
dc.date.available 2012-01-09T13:11:51Z
dc.date.issued 2011
dc.identifier.uri http://hdl.handle.net/10344/1784
dc.description non-peer-reviewed en_US
dc.description.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. en_US
dc.language.iso eng en_US
dc.publisher Springer en_US
dc.relation.ispartofseries 16th Monterery Workshop on Modeling -Monterey Workshops;2010
dc.relation.uri http://dx.doi.org/10.1007/978-3-642-21292-5_1
dc.rights The original publication is available at www.springerlink.com en_US
dc.subject software verification en_US
dc.subject formal methods en_US
dc.subject ASSL en_US
dc.subject autonomic computing en_US
dc.title Software verification of autonomic systems developed with ASSL en_US
dc.type Conference item en_US
dc.type.supercollection all_ul_research en_US
dc.type.supercollection ul_published_reviewed en_US
dc.type.restriction none en
dc.contributor.sponsor SFI
dc.contributor.sponsor SFI
dc.relation.projectid 03/CE2/I303_1
dc.internal.authorcontactother emil.vassev@lero.ie
dc.internal.authorcontactother mike.hinchey@lero.ie


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Browse

My Account

Statistics