Please use this identifier to cite or link to this item:
https://doi.org/10.1007/s11334-009-0096-1
DC Field | Value | |
---|---|---|
dc.title | Software monitoring through formal specification animation | |
dc.contributor.author | Liang, H. | |
dc.contributor.author | Dong, J.S. | |
dc.contributor.author | Sun, J. | |
dc.contributor.author | Wong, W.E. | |
dc.date.accessioned | 2013-07-04T07:30:28Z | |
dc.date.available | 2013-07-04T07:30:28Z | |
dc.date.issued | 2009 | |
dc.identifier.citation | Liang, H., Dong, J.S., Sun, J., Wong, W.E. (2009). Software monitoring through formal specification animation. Innovations in Systems and Software Engineering 5 (4) : 231-241. ScholarBank@NUS Repository. https://doi.org/10.1007/s11334-009-0096-1 | |
dc.identifier.issn | 16145046 | |
dc.identifier.uri | http://scholarbank.nus.edu.sg/handle/10635/38946 | |
dc.description.abstract | This paper presents a formal specification-based software monitoring approach that can dynamically and continuously monitor the behaviors of a target system and explicitly recognize undesirable behaviors in the implementation with respect to its formal specification. The key idea of our approach is in building a monitoring module that connects a specification animator with a program debugger. The requirements information about expected dynamic behaviors of the target system are gathered from the formal specification animator, while the actual behaviors of concrete implementations of the target system are obtained through the program debugger. Based on the information obtained from both sides, the judgement on the conformance of the concrete implementation with respect to the formal specification is made timely while the target system is running. Furthermore, the proposed formal specification-based software monitoring technique does not embed any instrumentation codes to the target system nor does it annotate the target system with any formal specifications. It can detect implementation errors in a real-time manner, and help the developers and users of the system to react to the problems before critical failure occurs. © 2009 Springer-Verlag London Limited. | |
dc.description.uri | http://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.1007/s11334-009-0096-1 | |
dc.source | Scopus | |
dc.type | Article | |
dc.contributor.department | COMPUTER SCIENCE | |
dc.description.doi | 10.1007/s11334-009-0096-1 | |
dc.description.sourcetitle | Innovations in Systems and Software Engineering | |
dc.description.volume | 5 | |
dc.description.issue | 4 | |
dc.description.page | 231-241 | |
dc.identifier.isiut | 000217403200001 | |
Appears in Collections: | Staff Publications |
Show simple item record
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.