Thumbnail Image
Publication

Software verification of autonomic systems developed with ASSL

Date
2011
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.
Supervisor
Description
non-peer-reviewed
Publisher
Springer
Citation
16th Monterery Workshop on Modeling -Monterey Workshops;2010
Collections
Lero - The Science Foundation Ireland Research Centre for Software
Show all metadata
Files
Thumbnail Image
2011_Vassev%2C%204.pdf
Adobe PDF, 397.23 KB
Keywords
software verification, formal methods, ASSL, autonomic computing
ULRR Identifiers
https://hdl.handle.net/10344/1784
 https://doi.org/10.34961/9682
Funding code
Funding Information
Science Foundation Ireland (SFI), Science Foundation Ireland (SFI)
Sustainable Development Goals
External Link
License
Embedded videos