Please use this identifier to cite or link to this item: http://scholarbank.nus.edu.sg/handle/10635/40062
Title: Formal specification-based online monitoring
Authors: Liang, H.
Sun, J.
Dong, J.S. 
Duke, R.
Seviora, R.E.
Issue Date: 2006
Source: Liang, H.,Sun, J.,Dong, J.S.,Duke, R.,Seviora, R.E. (2006). Formal specification-based online monitoring. Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS : 152-160. ScholarBank@NUS Repository.
Abstract: With current trends towards more complex software system and use of higher level languages, a monitoring technique is of increasing importance for the areas such as performance enhancement, dependability, correctness checking and so on. In this paper, we present a formal specification-based online monitoring technique. The key idea of our technique is to build a linking system, which connects a specification animator and a program debugger. The required information about dynamic behaviors of the formal specification and concrete implementation of a target system is obtained from the animator and the debugger. Based on those information, the judgement on the consistency of the concrete implementation with the formal specification will be provided. Not embedding any instrumentation code into the target system, our monitoring technique will not alter the dynamic behavior of the target system. Animating the formal specification, rather than annotating the target system with extra formal specifications, our monitoring technique separates the implementation-dependent description of the monitored objects and the formal requirement specification of them. © 2006 IEEE.
Source Title: Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
URI: http://scholarbank.nus.edu.sg/handle/10635/40062
ISBN: 9780769525303
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

Page view(s)

35
checked on Dec 9, 2017

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.