University of Limerick Institutional Repository

Towards model checking with Java PathFinder for autonomic systems specified and generated with ASSL.

DSpace Repository

Show simple item record Vassev, Emil Hinchey, Mike Quigley, Aaron 2012-01-11T16:02:36Z 2012-01-11T16:02:36Z 2009
dc.description non-peer-reviewed en_US
dc.description.abstract Autonomic computing has been recognized as a valid approach to the development of large-scale self-managing complex systems. The Autonomic System Specification Language (ASSL) is an initiative for the development of autonomic systems where we approach the problem of formal specification, validation, and code generation of such systems within a framework. As part of our research on ASSL, we have developed and investigated different approaches to software verification. Currently, the latter is possible via built-in consistency checking and functional testing where handling logical errors is a daunting task. In this paper, we discuss our work on model checking with NASA’s Java PathFinder tool, which is an explicit-state model checker that works directly on the generated Java code. We propose optional automatic generation of test drivers in the form of PathFinder API calls seeded in the ASSL-generated code. en_US
dc.language.iso eng en_US
dc.relation.ispartofseries Proceedings of the 4th International Conference on Software and Data Technologies;2009
dc.subject autonomic computing en_US
dc.subject model checking en_US
dc.subject ASSL en_US
dc.subject Java PathFinder en_US
dc.title Towards model checking with Java PathFinder for autonomic systems specified and generated 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

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search ULIR


My Account