TOWARDS MODEL CHECKING WITH JAVA PATHFINDER FOR AUTONOMIC SYSTEMS SPECIFIED AND GENERATED WITH ASSL
Emil Vassev, Mike Hinchey, Aaron Quigley
2009
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.
DownloadPaper Citation
in Harvard Style
Vassev E., Hinchey M. and Quigley A. (2009). TOWARDS MODEL CHECKING WITH JAVA PATHFINDER FOR AUTONOMIC SYSTEMS SPECIFIED AND GENERATED WITH ASSL . In Proceedings of the 4th International Conference on Software and Data Technologies - Volume 1: ICSOFT, ISBN 978-989-674-009-2, pages 251-256. DOI: 10.5220/0002279902510256
in Bibtex Style
@conference{icsoft09,
author={Emil Vassev and Mike Hinchey and Aaron Quigley},
title={TOWARDS MODEL CHECKING WITH JAVA PATHFINDER FOR AUTONOMIC SYSTEMS SPECIFIED AND GENERATED WITH ASSL},
booktitle={Proceedings of the 4th International Conference on Software and Data Technologies - Volume 1: ICSOFT,},
year={2009},
pages={251-256},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002279902510256},
isbn={978-989-674-009-2},
}
in EndNote Style
TY - CONF
JO - Proceedings of the 4th International Conference on Software and Data Technologies - Volume 1: ICSOFT,
TI - TOWARDS MODEL CHECKING WITH JAVA PATHFINDER FOR AUTONOMIC SYSTEMS SPECIFIED AND GENERATED WITH ASSL
SN - 978-989-674-009-2
AU - Vassev E.
AU - Hinchey M.
AU - Quigley A.
PY - 2009
SP - 251
EP - 256
DO - 10.5220/0002279902510256