Paper Info
Title
Developing model-checking mechanisms for ASSL: an experience report
Abstract
The Autonomic System Specification Language (ASSL) is a formal method dedicated to autonomic computing, and as such, assists developers with formal specification, validation and code generation of autonomic systems. Due to the synthesis approach of automatic code generation, ASSL guarantees consistency between a specification and the corresponding implementation. Moreover, one of the major objectives of the framework is to assure the correctness of autonomic systems via the inclusion of tools targeting model checking. In this paper, we report our experience in developing model-checking mechanisms for ASSL.
Year
DOI
Venue
2011
10.1007/978-3-642-24690-6_3
SEFM
Keywords
Field
DocType
corresponding implementation,formal method,automatic code generation,model checking,autonomic system specification language,formal specification,major objective,experience report,code generation,model-checking mechanism,autonomic system
Autonomic computing,Model checking,Programming language,Software engineering,Computer science,Correctness,Code generation,Formal specification,Real-time computing,Formal methods,System requirements specification
Conference
Volume
ISSN
Citations 
7041
0302-9743
0
PageRank 
References 
Authors
0.34
5
2
Name
Order
Citations
PageRank
Emil Vassev126341.81
Mike Hinchey249451.89